4987 search results - page 30 / 998 » Support Ordered Resolution |
91
Voted
PADS
1997
ACM
15 years 6 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...
117
Voted
COCOON
2005
Springer
15 years 7 months ago
2005
Springer
Genomic maps often do not specify the order within some groups of two or more markers. The synthesis of a master map from several sources introduces additional order ambiguity due ...
136
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
106
Voted
ICCV
1999
IEEE
16 years 3 months ago
1999
IEEE
Existing sequential feature-based registration algorithms involving search typically either select features randomly (eg. the RANSAC[8] approach) or assume a predefined, intuitive...
161
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...