Sciweavers

1209 search results - page 149 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
129
Voted
ICFP
2010
ACM
15 years 4 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
160
Voted
DT
2006
180views more  DT 2006»
15 years 3 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
125
Voted
IPPS
2007
IEEE
15 years 9 months ago
Software Tools for Performance Modeling of Parallel Programs
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
Diego Rodriguez Martínez, Vicente Blanco P&...
CP
2007
Springer
15 years 9 months ago
Hierarchical Hardness Models for SAT
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
GW
2007
Springer
93views Biometrics» more  GW 2007»
15 years 9 months ago
Sequential Belief-Based Fusion of Manual and Non-manual Information for Recognizing Isolated Signs
Abstract. This work aims to recognize signs which have both manual and nonmanual components by providing a sequential belief-based fusion mechanism. We propose a methodology based ...
Oya Aran, Thomas Burger, Alice Caplier, Lale Akaru...