1209 search results - page 107 / 242 » Using Prosodic Features in Language Models for Meetings |
146
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
165
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
166
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
139
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
111
Voted
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...