1992 search results - page 125 / 399 » Model Based Testing with Labelled Transition Systems |
131
Voted
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
127
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
155
click to vote
DFT
2003
IEEE
15 years 8 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
136
click to vote
ECIR
1998
Springer
15 years 4 months ago
1998
Springer
We present in this paper a combination of Machine Learning based Information Retrieval (IR) techniques and stochastic language modelling in a hierarchical system that extracts sur...
153
click to vote
ICVS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...