1992 search results - page 302 / 399 » Model Based Testing with Labelled Transition Systems |
111
click to vote
PR
2000
15 years 3 months ago
2000
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...
130
click to vote
FORTE
2009
15 years 1 months ago
2009
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...
120
click to vote
ENVSOFT
2007
15 years 3 months ago
2007
: 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. ...
125
click to vote
PADS
2000
ACM
15 years 7 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
128
click to vote
SIGKDD
2008
15 years 3 months ago
2008
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 ...