5015 search results - page 842 / 1003 » Model Checking a Path |
ASSETS
2000
ACM
14 years 2 months ago
2000
ACM
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...
SIGGRAPH
2000
ACM
14 years 2 months ago
2000
ACM
Environment matting is a generalization of traditional bluescreen matting. By photographing an object in front of a sequence of structured light backdrops, a set of approximate li...
DATE
1998
IEEE
14 years 2 months ago
1998
IEEE
Most memory test algorithms are optimized tests for a particular memory technology and a particular set of fault models, under the assumption that the memory is bit-oriented; i.e....
PKDD
1999
Springer
14 years 2 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...