4350 search results - page 197 / 870 » Case studies for contract-based systems |
126
Voted
APWEB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce Socio-Sense Web analysis system. The system applies structural and temporal analysis methods to long term Web archive to obtain insight into the real society...
132
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
142
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...
128
click to vote
AAMAS
2002
Springer
15 years 4 months ago
2002
Springer
The paper surveys some of the mechanisms that have been demonstrated to be relevant for evolving communication systems in software simulations or robotic experiments. In each case,...
155
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
provide a scalable and adaptable abstraction of the system architecture. Each agent is able to cooperate with other agents and thereby provide service advertisement and discovery f...