Sciweavers

5756 search results - page 771 / 1152
» Describing Objects by their Attributes
Sort
View
KES
2004
Springer
16 years 6 days ago
Content-Based Image Retrieval Using Multiple Representations
Many different approaches for content-based image retrieval have been proposed in the literature. Successful approaches consider not only simple features like color, but also take ...
Karin Kailing, Hans-Peter Kriegel, Stefan Schö...
KR
2004
Springer
16 years 6 days ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
16 years 6 days ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
PADL
2004
Springer
16 years 6 days ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
PRICAI
2004
Springer
16 years 6 days ago
K2: Animated Agents that Understand Speech Commands and Perform Actions
This paper presents a prototype dialogue system, K2, in which a user can instruct agents through speech input to manipulate various objects in a 3-D virtual world. The agents’ ac...
Takenobu Tokugana, Kotaro Funakoshi, Hozumi Tanaka