Sciweavers

12194 search results - page 136 / 2439
» cans 2010
Sort
View
CSL
2010
Springer
14 years 9 days ago
Formal Theories for Linear Algebra
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
Stephen Cook, Lila Fontes
LREC
2010
172views Education» more  LREC 2010»
14 years 19 days ago
Speech Grammars for Textual Entailment Patterns in Multimodal Question Answering
Over the last several years, speech-based question answering (QA) has become very popular in contrast to pure search engine based approaches on a desktop. Open-domain QA systems a...
Daniel Sonntag, Bogdan Sacaleanu
SIGSOFT
2010
ACM
13 years 9 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
FUIN
2010
102views more  FUIN 2010»
13 years 8 months ago
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fast plan adaptation is important in many AI-applications. From a theoretical point of view, in the worst case adapting an existing plan to solve a new problem is no more efficien...
Alfonso Gerevini, Ivan Serina
ICPR
2010
IEEE
14 years 3 months ago
Learning Affordances for Categorizing Objects and Their Properties
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...
Nilgun Dag, Ilkay Atil, Sinan Kalkan, Erol Sahin