6020 search results - page 346 / 1204 » A New Approach to Model Counting |
193
click to vote
CDB
2004
Springer
16 years 5 days ago
2004
Springer
Moving objects are currently represented in databases by means of an explicit representation of their trajectory. However from a physical point of view, or more specifically accor...
186
click to vote
MOBIS
2008
15 years 8 months ago
2008
: 3D technologies open up new possibilities for modeling business processes. They provide higher plasticity and eliminate some deficits of conventional 2D process modeling such as ...
174
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
162
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...
161
click to vote
WSC
2008
15 years 9 months ago
2008
We introduce a new approach, called Relative Start and Idle Time (RSIT), to solve probabilistic scheduling problems of construction repetitive projects. RSIT is a process of deter...