Sciweavers

1636 search results - page 298 / 328
» Type-Theoretic Functional Semantics
Sort
View
ICASSP
2010
IEEE
14 years 9 months ago
On the use of machine translation for spoken language understanding portability
Across language portability of a spoken language understanding system (SLU) deals with the possibility of reusing with moderate effort in a new language knowledge and data acquire...
Christophe Servan, Nathalie Camelin, Christian Ray...
CVPR
2006
IEEE
16 years 1 months ago
Applying Ensembles of Multilinear Classifiers in the Frequency Domain
Ensemble methods such as bootstrap, bagging or boosting have had a considerable impact on recent developments in machine learning, pattern recognition and computer vision. Theoret...
Christian Bauckhage, Thomas Käster, John K. T...
WWW
2004
ACM
16 years 15 days ago
Staging transformations for multimodal web interaction management
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
Michael Narayan, Christopher Williams, Saverio Per...
PLDI
2009
ACM
16 years 14 days ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
POPL
2009
ACM
16 years 14 days ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv