Sciweavers

3510 search results - page 216 / 702
» Searching with numbers
Sort
View
WWW
2006
ACM
16 years 7 months ago
Finding specification pages according to attributes
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...
Naoki Yoshinaga, Kentaro Torisawa
CHI
2003
ACM
16 years 7 months ago
Exploring the distribution of online healthcare information
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...
Suresh K. Bhavnani, Renju T. Jacob, Jennifer Nardi...
CADE
2006
Springer
16 years 7 months ago
Inferring Network Invariants Automatically
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...
Olga Grinchtein, Martin Leucker, Nir Piterman
EDBT
2008
ACM
120views Database» more  EDBT 2008»
16 years 6 months ago
Flint: Google-basing the Web
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 ...
Lorenzo Blanco, Valter Crescenzi, Paolo Merialdo, ...
ICRA
2007
IEEE
99views Robotics» more  ICRA 2007»
16 years 29 days ago
RFID-Based Exploration for Large Robot Teams
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...
Vittorio A. Ziparo, Alexander Kleiner, Bernhard Ne...