804 search results - page 78 / 161 » On the Termination of the Chase Algorithm |
107
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
125
Voted
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
93
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
As a general framework to determine a collision-free feedback motion strategies, the Random Neighborhood Graph (RNG) approach [19] defines a global navigation function over an ap...
111
Voted
FGR
1996
IEEE
15 years 4 months ago
1996
IEEE
Many current human face detection algorithmsmake implicit assumptions about the scale, orientation or viewpoint of faces in an image and exploit these constraints to detect and lo...
107
Voted
NAACL
2007
15 years 2 months ago
2007
This paper presents two Markov chain Monte Carlo (MCMC) algorithms for Bayesian inference of probabilistic context free grammars (PCFGs) from terminal strings, providing an altern...