4460 search results - page 682 / 892 » Formal methods for interactive systems |
112
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces a novel method for capturing conversation scenes and editing of the obtained videos. This system aims to acquire high-quality videos and to utilize them for m...
144
click to vote
ISWC
2003
IEEE
15 years 9 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
142
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper presents a software visualization application-framework that utilizes a variety of 3D metaphors to represent large software system and related analysis data. The 3D repr...
134
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we propose a new ant-based clustering algorithm called AntClust. It is inspired from the chemical recognition system of ants. In this system, the continuou...
222
click to vote
IEEEMSP
2002
IEEE
15 years 9 months ago
2002
IEEE
—In this paper, we present a novel system which combines depth-from-stereo and visual hull reconstruction for acquiring dynamic real-world scenes at interactive rates. First, we ...