Sciweavers

511 search results - page 35 / 103
» Spelling Correction Using Context
Sort
View
DIMACS
1996
15 years 1 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
ICASSP
2008
IEEE
15 years 7 months ago
Improving Spoken Language Understanding with information retrieval and active learning methods
In the context of deployed spoken dialogue telecom services, we introduce a preprocessor called Fiction into the Spoken Language Understanding (SLU) component. It acts as an inter...
Isabelle Jars, Franck Panaget
SENSYS
2010
ACM
14 years 10 months ago
SensLoc: sensing everyday places and paths using less energy
Continuously understanding a user's location context in colloquial terms and the paths that connect the locations unlocks many opportunities for emerging applications. While ...
Donnie H. Kim, Younghun Kim, Deborah Estrin, Mani ...
VOSS
2004
Springer
135views Mathematics» more  VOSS 2004»
15 years 6 months ago
Analysing Randomized Distributed Algorithms
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
Gethin Norman
88
Voted
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 5 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas