585 search results - page 50 / 117 » Better Abstractions for Timed Automata |
127
click to vote
SLS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
89
Voted
RT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Wavelet radiosity is, by its nature, restricted to parallelograms or triangles. This paper presents an innovative technique enabling wavelet radiosity computations on pla...
113
Voted
DBSK
2007
15 years 15 days ago
2007
Abstract. Despite recent improvements in wireless network protocols and the manufacturing of better, more performant mobile devices, developing mobile applications and services sti...
91
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
100
Voted
CEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...