Sciweavers

3342 search results - page 209 / 669
» Symbolic Robustness Analysis
Sort
View
AIMSA
2006
Springer
15 years 10 months ago
Property Based Coordination
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
Mahdi Zargayouna, Julien Saunier, Flavien Balbo
FDL
2011
IEEE
14 years 6 months ago
Integrating system descriptions by clocked guarded actions
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandee...
ICDAR
2011
IEEE
14 years 6 months ago
Lexicon-Free, Novel Segmentation of Online Handwritten Indic Words
—Research in the field of recognizing unlimited vocabulary, online handwritten Indic words is still in its infancy. Most of the focus so far has been in the area of isolated cha...
Suresh Sundaram, A. G. Ramakrishnan
IJCAI
2007
15 years 8 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
ECIS
2004
15 years 8 months ago
The Long Road to being an IS Professional: A Newcomer Perspective
The dot-com boom in the late 1990s attracted vast numbers of undergraduate students into the field of Information Systems (IS) with the promise of being the next "big thing&q...
Kim-Chung Leong, Michael T. K. Tan