2766 search results - page 150 / 554 » Hybridizing a Logical Framework |
123
click to vote
INFOVIS
2003
IEEE
15 years 9 months ago
2003
IEEE
In visualising multidimensional data, it is well known that different types of data require different types of algorithms to process them. Data sets might be distinguished accordi...
142
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an approach for a multi-cue based two-dimensional gesture recognition that combines two different forms of cues, namely shape cues and motion cues, in a suppor...
139
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
130
click to vote
CDES
2006
15 years 5 months ago
2006
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
135
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...