911 search results - page 124 / 183 » Registration-Based Segmentation Using the Information Bottle... |
105
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Say you are looking for information about a particular person. A search engine returns many pages for that person's name but which pages are about the person you care about, ...
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
117
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
140
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
103
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...