12981 search results - page 2056 / 2597 » Model Checking (Abstract) |
214
click to vote
GMP
2010
IEEE
16 years 8 days ago
2010
IEEE
Abstract. Semi-algebraic sets occur naturally when dealing with implicit models and boolean operations between them. In this work we present an algorithm to efficiently and in a ce...
173
click to vote
ECOOP
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
225
click to vote
KESAMSTA
2010
Springer
16 years 6 days ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...
213
click to vote
PAKDD
2010
ACM
16 years 6 days ago
2010
ACM
Abstract. Mining of data streams must balance three evaluation dimensions: accuracy, time and memory. Excellent accuracy on data streams has been obtained with Naive Bayes Hoeffdi...
226
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...