Nastavení ochrany vašich osobních údajů

Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.

Machine Learning for Text

elektronická kniha

Charu C. Aggarwal

Computer Science (R0)

Nacházíte se v obchodě v USA

Není v USA? Vyberte si obchod ve vaší zemi a zobrazte si knihy, které si můžete koupit.

Vyberte obchod

Synopse

Kategorie

O knize

Jazyk:English
ISBN:9783319735313
Datum vydání:1. 8. 2018
Vydavatel:Springer International Publishing

Tiráž:Springer
Formát souboru:EPUB2
Velikost souboru:5.32 MB
Možnosti stahování:EPUB2 (Adobe DRM)

In this series

Neural Networks and Deep Learning

Charu C. Aggarwal

Machine Learning for Text

Charu C. Aggarwal

Frequent Pattern Mining

Charu C. Aggarwal,Jiawei Han

Recommender Systems

Charu C. Aggarwal

Linear Algebra and Optimization for Machine Learning

Charu C. Aggarwal

Data Mining

Charu C. Aggarwal

Outlier Ensembles

Charu C. Aggarwal,Saket Sathe

Linear Algebra and Optimization for Machine Learning

Charu C. Aggarwal

Artificial Intelligence

Charu C. Aggarwal

Související čtení

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

1 339,39 Kč

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

2 315,19 Kč

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

587,89 Kč

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Zdarma

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Zdarma

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Zdarma

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Zdarma

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Zdarma

Semantic Computing

Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu

2 630,69 Kč

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Zdarma

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Zdarma

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Zdarma

Computer Aided Verification

Constantin Enea, Akash Lal

Zdarma

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

735,09 Kč

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Zdarma

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

4 041,99 Kč

Fundamentals of Predictive Text Mining

Sholom M. Weiss, Nitin Indurkhya, Tong Zhang

958,99 Kč

Fundamentals of Predictive Text Mining

Sholom M. Weiss, Nitin Indurkhya, Tong Zhang

1 091,49 Kč

Multimedia Data Mining

Zhongfei Zhang, Ruofei Zhang

1 476,78 Kč

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

1 091,49 Kč

Robust Representation for Data Analytics

Sheng Li, Yun Fu

2 401,59 Kč

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

1 091,49 Kč

Formal Methods and Software Engineering

Yi Li, Sofiène Tahar

1 418,99 Kč

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

1 637,39 Kč

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

1 091,49 Kč

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

1 091,49 Kč

Formal Methods and Software Engineering

Étienne André, Jingyi Wang, Naijun Zhan

1 593,69 Kč

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

1 964,89 Kč

Safety Assurance under Uncertainties

Ichiro Hasuo, Fuyuki Ishikawa

1 560,39 Kč

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

1 746,59 Kč

Scalable Techniques for Formal Verification

Sandip Ray

1 964,89 Kč

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

1 091,49 Kč

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

2 996,89 Kč

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

1 091,49 Kč

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

1 091,49 Kč

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

1 091,49 Kč

Constrained Clustering

Sugato Basu, Ian Davidson, Kiri Wagstaff

1 560,39 Kč

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

1 091,49 Kč

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

1 637,39 Kč

Computational Business Analytics

Subrata Das

4 041,01 Kč

Static Analysis

Manuel V. Hermenegildo, José F. Morales

1 746,59 Kč

Software Engineering Foundations

Yingxu Wang

4 737,73 Kč

A Journey from Process Algebra via Timed Automata to Model Learning

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

1 091,49 Kč

The Practice of Formal Methods

Ana Cavalcanti, James Baxter

2 838,29 Kč

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Andreas Rauh, Bernd Finkbeiner, Paul Kröger

1 746,59 Kč

Network Role Mining and Analysis

Derek Doran

1 091,49 Kč

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

1 091,49 Kč

Principles of Formal Quantitative Analysis

Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz

1 593,69 Kč

Static Analysis

Gagandeep Singh, Caterina Urban

1 528,19 Kč

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

1 091,49 Kč

Models, Algorithms, Logics and Tools

Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto

1 091,49 Kč

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

1 964,89 Kč

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

1 964,89 Kč

Automated Technology for Verification and Analysis

Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan

1 746,59 Kč

Principles of Systems Design

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

1 964,89 Kč

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

1 091,49 Kč

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

1 091,49 Kč

Transfer Learning through Embedding Spaces

Mohammad Rostami

1 393,17 Kč

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

1 091,49 Kč

Probabilistic Search for Tracking Targets

Irad Ben-Gal, Eugene Kagan

1 616,39 Kč

Inductive Logic Programming

Jesse Davis, Jan Ramon

1 025,99 Kč

Link Mining: Models, Algorithms, and Applications

Christos Faloutsos, Philip S. Yu, Jiawei Han

4 366,69 Kč

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

1 637,39 Kč

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

1 964,89 Kč

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

1 637,39 Kč

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

1 964,89 Kč

Pattern Recognition

Brett Anderson

4 514,79 Kč

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

1 091,49 Kč

Static Analysis

Hakjoo Oh, Yulei Sui

1 593,69 Kč

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

1 091,49 Kč

Text Data Mining

Chengqing Zong, Rui Xia, Jiajun Zhang

1 309,89 Kč

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

1 091,49 Kč

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

1 418,99 Kč

Open Semantic Technologies for Intelligent Systems

Vladimir Golenkov, Viktor Krasnoproshin, Vladimir Golovko, Daniil Shunkevich

1 091,49 Kč

Inductive Logic Programming

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese

1 091,49 Kč

Rebeca for Actor Analysis in Action

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

1 637,39 Kč

Scalable Uncertainty Management

Steven Schockaert, Pierre Senellart

1 091,49 Kč

Static Analysis

Francesco Ranzato

1 091,49 Kč

Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk

1 528,19 Kč

Machine Learning and Knowledge Discovery in Databases

Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken

1 964,89 Kč

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

1 091,49 Kč

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

1 091,49 Kč

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

1 418,99 Kč

Software Engineering and Formal Methods

Carla Ferreira, Tim A. C. Willemse

1 418,99 Kč

The Semantic Web

Edward Curry, Maribel Acosta, Maria Poveda-Villalón, Marieke van Erp, Adegboyega Ojo, Katja Hose, Cogan Shimizu, Pasquale Lisena

1 637,39 Kč

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

2 718,89 Kč

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

873,19 Kč

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

2 619,89 Kč

Verification, Model Checking, and Abstract Interpretation

Fritz Henglein, Sharon Shoham, Yakir Vizel

1 964,89 Kč

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

1 637,39 Kč

Více knih podle autora

Líbila se vám kniha?

Buďte první, kdo knihu ohodnotí a napíše na ni recenzi.

Nastavení ochrany vašich osobních údajů

Machine Learning for Text

Synopse

O knize

Podrobnosti o knize

Jak číst

In this series

Neural Networks and Deep Learning

Machine Learning for Text

Frequent Pattern Mining

Recommender Systems

Linear Algebra and Optimization for Machine Learning

Data Mining

Outlier Ensembles

Linear Algebra and Optimization for Machine Learning

Artificial Intelligence

Související čtení

Introduction to Information Retrieval

Multilingual Natural Language Processing Applications

Markov Logic

Computer Aided Verification

Computer Aided Verification

Formal Methods

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Semantic Computing

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Data Analysis For Network Cyber-security

Computer Aided Verification

Modeling and Verification of Real-time Systems

Fundamentals of Predictive Text Mining

Fundamentals of Predictive Text Mining

Multimedia Data Mining

Engineering Trustworthy Software Systems

Robust Representation for Data Analytics

Dependable Software Engineering: Theories, Tools, and Applications

Formal Methods and Software Engineering

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Semantics, Logics, and Calculi

Formal Methods and Software Engineering

NASA Formal Methods

Safety Assurance under Uncertainties

Automated Technology for Verification and Analysis

Scalable Techniques for Formal Verification

Dependable Software Engineering. Theories, Tools, and Applications

Tractability

Computer Aided Verification

FM 2016: Formal Methods

Formal Aspects of Component Software

Constrained Clustering

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

Computational Business Analytics

Static Analysis

Software Engineering Foundations

A Journey from Process Algebra via Timed Automata to Model Learning

The Practice of Formal Methods

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Network Role Mining and Analysis

Formal Aspects of Component Software

Principles of Formal Quantitative Analysis

Static Analysis

Verification, Model Checking, and Abstract Interpretation

Models, Algorithms, Logics and Tools

Meta-Programming and Model-Driven Meta-Program Development

Provably Correct Systems

Automated Technology for Verification and Analysis

Principles of Systems Design

ModelEd, TestEd, TrustEd

Formal Aspects of Component Software

Transfer Learning through Embedding Spaces

Tools and Algorithms for the Construction and Analysis of Systems

Probabilistic Search for Tracking Targets

Inductive Logic Programming

Link Mining: Models, Algorithms, and Applications

Theoretical Aspects of Software Engineering