Sciweavers

15614 search results - page 415 / 3123
» The State of State
Sort
View
TAMODIA
2007
15 years 8 months ago
From Task to Dialog Model in the UML
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
Jan Van den Bergh, Karin Coninx
ICIP
2004
IEEE
16 years 8 months ago
Data hiding using trellis coded quantization
Information theoretic tools lead to the design and analysis of new blind data hiding methods. A novel quantizationbased blind method, which uses trellis coded quantization, is pro...
Ersin Esen, A. Aydin Alatan
ICFEM
2010
Springer
15 years 5 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
ICRA
2009
IEEE
207views Robotics» more  ICRA 2009»
15 years 4 months ago
Bayesian network-based behavior control for skilligent robots
A Skilligent robot must be able to learn skills autonomously to accomplish a task. "Skilligence" is the capacity of the robot to control behaviors reasonably, based on th...
Sang Hyoung Lee, Il Hong Suh
IAT
2008
IEEE
16 years 1 months ago
Relating Cognitive Process Models to Behavioural Models of Agents
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
Alexei Sharpanskykh, Jan Treur