This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
Lire la suite
This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Rough Sets and Current Trends in Computing, ...
Lire la suite
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Lire la suite
This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...
Lire la suite
Constitutes proceedings of the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, held in ...
Lire la suite
This volume contains the papers selected for presentation at the First Int- national Conference on Rough Sets and Knowledge ...
Lire la suite
This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Lire la suite
This volume contains the papers selected for presentation at the 11th Int- national Conference on Rough Sets, Fuzzy Sets, ...
Lire la suite
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...
Lire la suite
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...
Lire la suite
The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...
Lire la suite
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suite
RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...
Lire la suite
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lire la suite
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suite
This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...
Lire la suite
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
Lire la suiteThis is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...
Lire la suite
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suite