Sciweavers

1992 search results - page 302 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
PR
2000
189views more  PR 2000»
15 years 3 months ago
LAFTER: a real-time face and lips tracker with facial expression recognition
This paper describes an active-camera real-time system for tracking, shape description, and classi"cation of the human face and mouth expressions using only a PC or equivalen...
Nuria Oliver, Alex Pentland, François B&eac...
FORTE
2009
15 years 1 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ENVSOFT
2007
166views more  ENVSOFT 2007»
15 years 3 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl
PADS
2000
ACM
15 years 7 months ago
Distributed, parallel simulation of multiple, deliberative agents
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
Adelinde Uhrmacher, K. Gugler
SIGKDD
2008
132views more  SIGKDD 2008»
15 years 3 months ago
Retail sales prediction and item recommendations using customer demographics at store level
This paper outlines a retail sales prediction and product recommendation system that was implemented for a chain of retail stores. The relative importance of consumer demographic ...
Michael Giering