Sciweavers

89 search results - page 12 / 18
» Integration and Control of Reactive Visual Processes
Sort
View
FPL
2004
Springer
110views Hardware» more  FPL 2004»
14 years 3 days ago
Versatile Imaging Architecture Based on a System on Chip
Abstract. In this paper, a novel architecture dedicated to image processing is presented. The most original aspect of the approach is the use of a System On Chip implemented in a F...
Pierre Chalimbaud, François Berry
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
13 years 12 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
COGCOM
2010
107views more  COGCOM 2010»
13 years 4 months ago
Where to Look Next? Combining Static and Dynamic Proto-objects in a TVA-based Model of Visual Attention
To decide ``Where to look next ?'' is a central function of the attention system of humans, animals and robots. Control of attention depends on three factors, that is, lo...
Marco Wischnewski, Anna Belardinelli, Werner X. Sc...
IUI
2012
ACM
12 years 2 months ago
A visual programming language for designing interactions embedded in web-based geographic applications
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
The Nhan Luong, Patrick Etcheverry, Christophe Mar...
ACL
2003
13 years 8 months ago
iNeATS: Interactive Multi-Document Summarization
We describe iNeATS – an interactive multi-document summarization system that integrates a state-of-the-art summarization engine with an advanced user interface. Three main goals...
Anton Leuski, Chin-Yew Lin, Eduard H. Hovy