Sciweavers

789 search results - page 18 / 158
» A Language Approach to Modeling Human Behaviors
Sort
View
ICIP
2004
IEEE
16 years 1 months ago
Performance assessment of a visual attention system entirely based on a human vision modeling
It is now commonly assumed that the human visual attention, which is a selecting process of the most relevant locations in a scene according to a particular behavior, is driven by...
Olivier Le Meur, Patrick Le Callet, Dominique Barb...
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 3 days ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
RTCSA
1997
IEEE
15 years 4 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
GI
2009
Springer
14 years 9 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 3 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg