4359 search results - page 787 / 872 » Automated Pipeline Design |
JBI
2002
13 years 9 months ago
2002
Document search is generally based on individual terms in the document. However, for collections within limited domains it is possible to provide more powerful access tools. This ...
RE
2002
Springer
13 years 9 months ago
2002
Springer
We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
SP
2002
IEEE
13 years 9 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
TITS
2002
13 years 9 months ago
2002
This paper describes the image processing techniques designed to localize the tracks of snowcats for the automation of transportation of goods and people during the Italian scienti...
MJ
2007
13 years 8 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...