2123 search results - page 203 / 425 » Composition of Cyber-Physical Systems |
158
click to vote
LWA
2008
15 years 8 months ago
2008
This article describes the Xtrieval framework - a flexible platform for testing and evaluating different aspects of retrieval systems. The background for the design of the framewo...
156
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
172
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
136
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. Psychophysiological assessment in the context of virtual environments is a promising means for benchmarking the efficacy and ecological validity of virtual reality scenar...
209
click to vote
AGI
2011
14 years 10 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...