3818 search results - page 604 / 764 » Learning from Order Examples |
142
click to vote
EPIA
2007
Springer
16 years 18 days ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
162
click to vote
ICA
2007
Springer
16 years 17 days ago
2007
Springer
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...
149
click to vote
SSD
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
144
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
165
click to vote
SAINT
2006
IEEE
16 years 13 days ago
2006
IEEE
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...