4460 search results - page 538 / 892 » Formal methods for interactive systems |
150
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
193
click to vote
IV
2010
IEEE
15 years 4 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
157
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract—An interactive retrieval method adapted to surveillance video is presented. The approach is formulated as an iterative SVM classification and builds upon the two major ...
152
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
As the amount of recoded TV content is increasing rapidly, people need active and interactive browsing methods. In this paper, we use both text information from closed captions an...
138
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present the digital library assistant (DiLiA). The system aims at augmenting the search in digital libraries in several dimensions. In the project advanced informa...