1306 search results - page 211 / 262 » A Diagrammatic Approach to Model Completion |
175
click to vote
TACAS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
180
click to vote
UIC
2007
Springer
16 years 11 days ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
149
click to vote
FGR
2006
IEEE
16 years 10 days ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
186
click to vote
GLOBECOM
2006
IEEE
16 years 10 days ago
2006
IEEE
— We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. Our aim is to study the performance as perceived by users in a dynamic setting...
153
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...