Sciweavers

2050 search results - page 210 / 410
» A formal foundation for process modeling
Sort
View
ICDE
2007
IEEE
156views Database» more  ICDE 2007»
16 years 8 months ago
Using Control Theory for Load Shedding in Data Stream Management
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
Yi-Cheng Tu, Song Liu, Sunil Prabhakar, Bin Yao, W...
WACV
2007
IEEE
16 years 26 days ago
Motion Estimation Using a General Purpose Neural Network Simulator for Visual Attention
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
Florentin Dorian Vintila, John K. Tsotsos
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 11 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
UAIS
2002
100views more  UAIS 2002»
15 years 6 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
DGO
2003
121views Education» more  DGO 2003»
15 years 8 months ago
Extending Metadata Definitions by Automatically Extracting and Organizing Glossary Definitions
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
Eduard H. Hovy, Andrew Philpot, Judith Klavans, Ul...