Sciweavers

89 search results - page 12 / 18
» Integration and Control of Reactive Visual Processes
Sort
View
FPL
2004
Springer
110views Hardware» more  FPL 2004»
15 years 8 months 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
140
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 8 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...
128
Voted
COGCOM
2010
107views more  COGCOM 2010»
15 years 5 days 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...
116
Voted
IUI
2012
ACM
13 years 10 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...
128
Voted
ACL
2003
15 years 4 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