631 search results - page 94 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
104
click to vote
ISEMANTICS
2010
14 years 8 months ago
2010
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
142
click to vote
ER
1995
Springer
15 years 1 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
119
click to vote
TKDE
2012
13 years 2 days ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
88
Voted
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
88
Voted
AO
2007
14 years 9 months ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...