Sciweavers

3145 search results - page 132 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
140
Voted
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
15 years 10 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy
ISMIS
2005
Springer
15 years 9 months ago
Getting Computers to See Information Graphics So Users Do Not Have to
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
Daniel Chester, Stephanie Elzer
EACL
2003
ACL Anthology
15 years 5 months ago
Classifying the Hungarian Web
In this paper we present some lessons learned from building vizsla, the keyword search and topic classification system used on the largest Hungarian portal, [origo.hu]. Based on ...
András Kornai, Marc Krellenstein, Michael M...
FOAL
2007
ACM
15 years 8 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
170
Voted
ICFP
2010
ACM
15 years 5 months ago
VeriML: typed computation of logical terms inside a language with effects
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
Antonis Stampoulis, Zhong Shao