1883 search results - page 193 / 377 » Ordered theta graphs |
174
click to vote
IV
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper presents a novel technique for exploring and navigating large hierarchies, not restricted to trees but to directed acyclic graphs (dags). The technique combines two dif...
129
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
186
click to vote
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, a combined shape-texture approach to discriminative face authentication is studied. Facial texture information is captured through Gabor responses (jets), ...
146
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
187
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...