Sciweavers

1328 search results - page 168 / 266
» Cut-free common knowledge
Sort
View
IROS
2007
IEEE
128views Robotics» more  IROS 2007»
15 years 10 months ago
Exploiting similarities for robot perception
— A cognitive robot system has to acquire and efficiently store vast knowledge about the world it operates in. To cope with every day tasks, a robot needs to learn, classify and...
Kai Welke, Erhan Oztop, Gordon Cheng, Rüdiger...
SMI
2007
IEEE
164views Image Analysis» more  SMI 2007»
15 years 10 months ago
Automatic multiview quadruple alignment of unordered range scans
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
Frank B. ter Haar, Remco C. Veltkamp
AB
2007
Springer
15 years 10 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
AISADM
2007
Springer
15 years 10 months ago
Robust Agent Communities
We believe that intelligent information agents will represent their users interest in electronic marketplaces and other forums to trade, exchange, share, identify, and locate goods...
Sandip Sen, Sabyasachi Saha, Stéphane Airia...
138
Voted
CCS
2007
ACM
15 years 10 months ago
Ordered multisignatures and identity-based sequential aggregate signatures, with applications to secure routing
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...
Alexandra Boldyreva, Craig Gentry, Adam O'Neill, D...