29143 search results - page 5503 / 5829 » A Sortation System Model |
240
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
303
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
179
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
165
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
161
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...