3510 search results - page 216 / 702 » Searching with numbers |
146
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents a method for finding a specification page on the web for a given object (e.g., "Titanic") and its class label (e.g., "film"). A specificati...
145
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Motivated by the importance of retrieving comprehensive healthcare information, we analyzed how information about 12 concepts related to a widely available healthcare topic is dis...
170
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
159
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Several Web sites deliver a large number of pages, each publishing data about one instance of some real world entity, such as an athlete, a stock quote, a book. Even though it is ...
148
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— To coordinate a team of robots for exploration is a challenging problem, particularly in large areas as for example the devastated area after a disaster. This problem c...