2500 search results - page 377 / 500 » Logical Semantics of Modularisation |
103
click to vote
COGSCI
2006
15 years 3 months ago
2006
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...
154
click to vote
JLP
2007
15 years 2 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
153
click to vote
SPE
2002
15 years 2 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
115
click to vote
TCS
2010
15 years 1 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
155
click to vote
AAMAS
2011
Springer
14 years 10 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...