661 search results - page 127 / 133 » What Can We Expect from Program Verification |
CIVR
2010
Springer
14 years 8 days ago
2010
Springer
Content-based video retrieval is maturing to the point where it can be used in real-world retrieval practices. One such practice is the audiovisual archive, whose users increasing...
CACM
2000
13 years 7 months ago
2000
ost abstract sense, we build web pages so that computers can read them. The software that people use to access web pages is what "reads" the document. How the page is ren...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
ANOR
2002
13 years 7 months ago
2002
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
ISAAC
2005
Springer
14 years 29 days ago
2005
Springer
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...