3686 search results - page 170 / 738 » Comprehensive comprehensions |
90
Voted
FSEN
2009
Springer
15 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
88
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints th...
101
Voted
EGICE
2006
15 years 1 months ago
2006
Situated design computing is an approach to the use of computers in design based on situated cognition. It is founded on two concepts: situatedness and constructive memory. These h...
EMO
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a comprehensive comparison between the performance of state-of-the-art genetic algorithms NSGA-II, SPEA2 and IBEA and their differential evolution based variant...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...