4460 search results - page 741 / 892 » Formal methods for interactive systems |
124
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a novel formulation and approach to the minimal document set retrieval problem. Minimal Document Set Retrieval (MDSR) is a promising information retrieval task...
157
Voted
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we propose a new method to edit captured human motion data by using the data glove. The animator first wears a glove and mimics the human body motion observed in t...
135
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
149
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Within the field of computer graphics and visualization, it is often necessary to visualize polygonal models with large number of polygons. Display quality is mandatory, but it i...
135
Voted
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...