11328 search results - page 41 / 2266 » Timed Branching Processes |
112
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Over the last decade, a number of methods for geometric matching based on a branch-and-bound approach have been proposed. Such algorithms work by recursively subdividing transforma...
107
click to vote
LOGCOM
1998
15 years 1 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
111
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
159
click to vote
ASPLOS
1996
ACM
15 years 6 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...
120
click to vote
COR
2007
15 years 1 months ago
2007
This paper presents several Arcs-States models that can be applied to numerous vehicle routing problems, one of which is the well-known vehicle routing problem with capacities and...