4926 search results - page 298 / 986 » Two Graph Algorithms On an Associative Computing Model |
157
click to vote
LICS
1990
IEEE
15 years 9 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
110
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
192
click to vote
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
128
Voted
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
We present an external-memory algorithm for computing a minimum-cost edit script between two rooted, ordered, labeled trees. The I/O, RAM, and CPU costs of our algorithm are, resp...
147
click to vote
ECCV
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...