2766 search results - page 136 / 554 » Hybridizing a Logical Framework |
157
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
103
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
129
click to vote
PREMI
2009
Springer
15 years 10 months ago
2009
Springer
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
145
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Nowadays, distributed collaborative virtual environments are used in many scenarios such as tele-surgery, gaming, and industrial training, However several challenging issues remai...
121
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes a hybrid foreground object detection method suitable for the marine surveillance applications. Our approach combines an existing foreground object detection met...