Sciweavers

1059 search results - page 101 / 212
» The PISAB Question Answering System
Sort
View
CVPR
2011
IEEE
13 years 5 months ago
Visual and Semantic Similarity in ImageNet
Many computer vision approaches take for granted positive answers to questions such as “Are semantic categories visually separable?” and “Is visual similarity correlated to ...
Thomas Deselaers, Vittorio Ferrari
AAAI
2008
13 years 11 months ago
A Meta-Programming Technique for Debugging Answer-Set Programs
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
Martin Gebser, Jörg Pührer, Torsten Scha...
CADE
2001
Springer
14 years 9 months ago
NP-Completeness of Refutability by Literal-Once Resolution
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...
Stefan Szeider
FOCS
2009
IEEE
14 years 3 months ago
Randomized Self-Assembly for Exact Shapes
— Working in Winfree’s abstract tile assembly model, we show that a constant-size tile assembly system can be programmed through relative tile concentrations to build an n × n...
David Doty
IJCNLP
2005
Springer
14 years 2 months ago
CTEMP: A Chinese Temporal Parser for Extracting and Normalizing Temporal Information
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
Mingli Wu, Wenjie Li, Qin Lu, Baoli Li