1650 search results - page 159 / 330 » How to Turn the Page |
232
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The Semantic Web initiative puts emphasis not primarily on putting data on the Web, but rather on creating links in a way that both humans and machines can explore the Web of data...
145
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...
193
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
175
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often domi...
151
click to vote
MLG
2007
Springer
16 years 20 days ago
2007
Springer
As a fundamental problem in pattern recognition, graph matching has found a variety of applications in the field of computer vision. In graph matching, patterns are modeled as gr...