Sciweavers

3844 search results - page 230 / 769
» Modular interpreted systems
Sort
View
ENGL
2007
123views more  ENGL 2007»
15 years 3 months ago
Characterization by Regulated Grammars of Calculations in the Gentzen System G
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
Ruben Monjaraz Hernandez-Imbert, Jose de Jesus Lav...
ICASSP
2008
IEEE
15 years 10 months ago
Semantic composition process in a speech understanding system
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
Frédéric Duvert, Marie-Jean Meurs, C...
CLUSTER
2007
IEEE
15 years 10 months ago
A Comparison of robustness metrics for scheduling DAGs on heterogeneous systems
— A schedule is said robust if it is able to absorb some degree of uncertainty in tasks duration while maintaining a stable solution. This intuitive notion of robustness has led ...
Louis-Claude Canon, Emmanuel Jeannot
CHI
2003
ACM
16 years 4 months ago
Ambiguity as a resource for design
Ambiguity is usually considered anathema in Human Computer Interaction. We argue, in contrast, that it is a resource for design that can be used to encourage close personal engage...
William W. Gaver, Jacob Beaver, Steve Benford
117
Voted
AIED
2009
Springer
15 years 10 months ago
Intelligent Support for Inquiry Learning from Images: A Learning Scenario and Tool
Inquiry learning involves the learner acquiring new concepts and skills by means of carrying out an investigation. Some previous studies have looked into how these learning activit...
Paul Mulholland, Zdenek Zdráhal, Jan Abraha...