Sciweavers

2370 search results - page 162 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
DAGSTUHL
2003
14 years 11 months ago
Query Answering in Inconsistent Databases
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
Leopoldo E. Bertossi, Jan Chomicki
FORTE
2003
14 years 11 months ago
Progressive Solutions to a Parallel Automata Equation
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko...
SPLST
2003
14 years 11 months ago
Secure SMS messaging using Quasigroup encryption and Java SMS API
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
Marko Hassinen, Smile Markovski
NIPS
1996
14 years 11 months ago
A Micropower Analog VLSI HMM State Decoder for Wordspotting
We describe the implementation of a hidden Markov model state decoding system, a component for a wordspotting speech recognition system. The key specification for this state decod...
John Lazzaro, John Wawrzynek, Richard Lippmann
IJCAI
1989
14 years 11 months ago
Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements
The converse problem of measurement interpretation is event recognition. In situations which are characterized by a specific order of events, a single snapshot is not sufficient t...
Klaus Nökel