6020 search results - page 1089 / 1204 » A New Approach to Model Counting |
145
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
141
click to vote
SCS
2004
15 years 6 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
129
click to vote
IJCAI
2003
15 years 6 months ago
2003
In this paper we introduce coverage maps as a new way of representing the environment of a mobile robot. Coverage maps store for each cell of a given grid a posterior about the am...
143
click to vote
VMV
2003
15 years 6 months ago
2003
We propose a new approach to collision and self– collision detection of dynamically deforming objects that consist of tetrahedrons. Tetrahedral meshes are commonly used to repre...
122
click to vote
DSL
1997
15 years 6 months ago
1997
Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) ...