3082 search results - page 504 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
WSC
1997
15 years 7 months ago
1997
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
184
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
215
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: In communication systems that guarantee seamless mobility of users across service areas, repeated attempts occur as a result of user behavior but also as automatic retries of blo...
168
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
A surrogate is an object that stands for a document and enables navigation to that document. Hypermedia is often represented with textual surrogates, even though studies have show...