Sciweavers

719 search results - page 112 / 144
» An Inference Model for Semantic Entailment in Natural Langua...
Sort
View
UML
2004
Springer
14 years 2 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
NAACL
2004
13 years 10 months ago
A Statistical Model for Multilingual Entity Detection and Tracking
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...
Radu Florian, Hany Hassan, Abraham Ittycheriah, Ho...
NIPS
2008
13 years 10 months ago
An ideal observer model of infant object perception
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
Charles Kemp, Fei Xu
CAV
2009
Springer
239views Hardware» more  CAV 2009»
14 years 1 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
UML
2000
Springer
14 years 17 days ago
Towards a UML profile for interaction design: the Wisdom approach
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
Nuno Jardim Nunes, João Falcão e Cun...