9989 search results - page 94 / 1998 » A CLP Approach to Modelling Systems |
133
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
110
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
119
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Context modeling shall lead to better aid customers in achieving intents that evolve throughout a session. A static approach to it has been proposed. This approach is not satisfact...
133
click to vote
ITNG
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
106
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we investigate a new architecture for recognizing human group actions in meetings. These group actions provide a basis that enables effective browsing and querying i...