747 search results - page 66 / 150 » An Alternative Representation for QBF |
108
click to vote
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces the concept of fitness cloud as an alternative way to visualize and analyze search spaces than given by the geographic notion of fitness landscape. It is ar...
103
click to vote
IEAAIE
2004
Springer
15 years 5 months ago
2004
Springer
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...
119
click to vote
ISMS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
WDAG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Version vectors play a central role in update tracking under optimistic distributed systems, allowing the detection of obsolete or inconsistent versions of replicated dat...