Sciweavers

550 search results - page 31 / 110
» Gaze-augmented manual interaction
Sort
View
HT
2007
ACM
13 years 11 months ago
Adaptive incremental browsing of ontology structure
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
Mária Bieliková, Michal Jemala
FDL
2004
IEEE
13 years 11 months ago
The Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. M&uu...
ASPDAC
1995
ACM
116views Hardware» more  ASPDAC 1995»
13 years 11 months ago
A datapath synthesis system for the reconfigurable datapath architecture
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...
Reiner W. Hartenstein, Rainer Kress
ATAL
2008
Springer
13 years 9 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
DICTA
2008
13 years 8 months ago
Application of the Particle Filter to Tracking of Fish in Aquaculture Research
The analysis of fish movement as an indicator of fish behaviour plays an important role in aquaculture research. Currently observations are carried out manually using video record...
Tomasz Pinkiewicz, Ray Williams, John Purser