Sciweavers

2066 search results - page 115 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
CVPR
2010
IEEE
15 years 6 months ago
Connecting Modalities: Semi-supervised Segmentation and Annotation of Images Using Unaligned Text Corpora
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...
Richard Socher, Li Fei-Fei
JUCS
2006
102views more  JUCS 2006»
14 years 10 months ago
Modeling Inheritance as Coercion in the Kenzo System
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
César Domínguez, Julio Rubio, Franci...
ASSETS
2009
ACM
15 years 2 months ago
Better vocabularies for assistive communication aids: connecting terms using semantic networks and untrained annotators
The difficulties of navigating vocabulary in an assistive communication device are exacerbated for individuals with lexical access disorders like those due to aphasia. We present ...
Sonya S. Nikolova, Jordan L. Boyd-Graber, Christia...
IRI
2005
IEEE
15 years 3 months ago
AnyInformationHiding: a stable design pattern
The AnyInformationHiding design pattern models the concept of information hiding and the interactions between parties associated with it in any application. Information hiding is ...
Mohamed Fayad, Haritha Kilaru
CAV
2004
Springer
152views Hardware» more  CAV 2004»
15 years 3 months ago
Abstract Regular Model Checking
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...