192 search results - page 16 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
129
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...
PAM
2012
Springer
13 years 7 months ago
2012
Springer
Smartphones connected to cellular networks are increasingly being used to access Internet-based services. Using data collected from smartphones running a popular location-based app...
105
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
121
click to vote
JAPLL
2010
14 years 10 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel method for the discovery and detection of visual object categories based on decompositions using topic models. The approach is capable of learning a compact and...