Sciweavers

2646 search results - page 465 / 530
» Local Type Inference
Sort
View
CSL
2008
Springer
14 years 12 months ago
Pure Pointer Programs with Iteration
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
Martin Hofmann, Ulrich Schöpp
BCSHCI
2008
14 years 11 months ago
SMART: a SysteM of Augmented Reality for Teaching 2nd grade students
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
Rubina Freitas, Pedro Campos
LREC
2010
117views Education» more  LREC 2010»
14 years 11 months ago
Top-Performing Robust Constituency Parsing of Portuguese: Freely Available in as Many Ways as you Can Get it
In this paper we present LX-Parser, a probabilistic, robust constituency parser for Portuguese. This parser achieves ca. 88% f-score in the labeled bracketing task, thus reaching ...
João Silva, António Branco, Patricia...
SEBD
2007
121views Database» more  SEBD 2007»
14 years 11 months ago
Query Answering in Expressive Variants of DL-Lite
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
ACL
2006
14 years 11 months ago
Modeling Human Sentence Processing Data with a Statistical Parts-of-Speech Tagger
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
Jihyun Park