Sciweavers

2229 search results - page 8 / 446
» The Case for Grounding Databases
Sort
View
ICLP
2009
Springer
14 years 7 months ago
One More Decidable Class of Finitely Ground Programs
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
Yuliya Lierler, Vladimir Lifschitz
LREC
2008
112views Education» more  LREC 2008»
13 years 8 months ago
A Ground Truth Dataset for Matching Culturally Diverse Romanized Person Names
This paper describes the development of a ground truth dataset of culturally diverse Romanized names in which approximately 70,000 names are matched against a subset of 700. We ra...
Mark Arehart, Keith J. Miller
ICDCSW
2002
IEEE
13 years 11 months ago
A Physically Grounded Approach to Coordinate Movements in a Team
This paper focuses on the problems of coordinating the movements of a cooperative team in an environment, and proposes an approach that takes inspiration from the laws of physics....
Letizia Leonardi, Marco Mamei, Franco Zambonelli
SWAP
2008
13 years 8 months ago
Grounding Semantic Web Services with Rules
Semantic web services achieve effects in the world through web services, so the connection to those services--the grounding--is of paramount importance. The established technique i...
David Lambert, John Domingue
JNS
2010
107views more  JNS 2010»
13 years 1 months ago
Ground States and Critical Points for Aubry-Mather Theory in Statistical Mechanics
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
Rafael de La Llave, Enrico Valdinoci