1209 search results - page 182 / 242 » Using Prosodic Features in Language Models for Meetings |
123
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
117
click to vote
LFP
1990
15 years 1 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
103
click to vote
IFIP13
2004
15 years 1 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
102
click to vote
SBBD
2004
15 years 1 months ago
2004
Flexible and dynamic environments are characterized by high independence from connection participants, low control over available services and high tolerance to communication fail...
210
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...