1209 search results - page 111 / 242 » Using Prosodic Features in Language Models for Meetings |
131
click to vote
CP
2005
Springer
15 years 5 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
103
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
149
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
124
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
127
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...