Sciweavers

7715 search results - page 592 / 1543
» Visual Rules Modeling
Sort
View
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 8 months ago
Playing With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
Olivier Bournez, Jérémie Chalopin, J...
AML
2002
69views more  AML 2002»
15 years 7 months ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner
ICWE
2010
Springer
15 years 5 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...
ASP
2005
Springer
16 years 21 days ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
EWHCI
1993
15 years 11 months ago
Model of Utterance and Its Use in Cooperative Response Generation
: A cooperative response model is proposed for interactive intelligent systems that recognizes user intentions and makes cooperative responses. Though many models developed so far ...
Koichi Yamada, Riichiro Mizoguchi, Naoki Harada, A...