Sciweavers

1209 search results - page 150 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
127
Voted
AAI
2006
215views more  AAI 2006»
15 years 3 months ago
Extensive Evaluation of Efficient NLP-Driven Text Classification
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
Roberto Basili, Alessandro Moschitti, Maria Teresa...
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
16 years 12 days ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
122
Voted
LCTRTS
2004
Springer
15 years 9 months ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
122
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 7 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
120
Voted
ICFP
2006
ACM
16 years 3 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...