Sciweavers

1589 search results - page 64 / 318
» Constraints with Variables' Annotations
Sort
View
CSMR
2006
IEEE
14 years 2 months ago
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
Igor Ivkovic, Kostas Kontogiannis
CSL
2005
Springer
14 years 2 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
ISVC
2005
Springer
14 years 2 months ago
Real-Time Video Annotations for Augmented Reality
Augmented reality (AR) provides an intuitive user interface to present information in the context of the real world. A common application is to overlay screen-aligned annotations f...
Edward Rosten, Gerhard Reitmayr, Tom Drummond
LREC
2010
173views Education» more  LREC 2010»
13 years 10 months ago
From Speech to Trees: Applying Treebank Annotation to Arabic Broadcast News
The Arabic Treebank (ATB) Project at the Linguistic Data Consortium (LDC) has embarked on a large corpus of Broadcast News (BN) transcriptions, and this has led to a number of new...
Mohamed Maamouri, Ann Bies, Seth Kulick, Wajdi Zag...
ICASSP
2011
IEEE
13 years 14 days ago
Exploiting active-learning strategies for annotating prosodic events with limited labeled data
Many applications of spoken-language systems can benefit from having access to annotations of prosodic events. Unfortunately, obtaining human annotations of these events, even se...
Raul Fernandez, Bhuvana Ramabhadran