2629 search results - page 280 / 526 » complex 2009 |
158
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
141
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
133
click to vote
ICANNGA
2009
Springer
15 years 11 months ago
2009
Springer
We propose a generalized model with configurable discretizer actuators as a solution to the problem of the discretization of massive numerical datasets. Our solution is based on a ...
156
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
164
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: In recent years, mobile devices became more and more powerful, wireless Internet access is becoming standard. To support mobile applications adapting their User Interface to vari...