1616 search results - page 126 / 324 » A Framework for Hybrid Planning |
173
click to vote
CRYPTO
2007
Springer
16 years 18 days 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...
162
click to vote
CDES
2006
15 years 7 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...
243
click to vote
KRDB
2003
15 years 7 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
172
click to vote
AUTOMATICA
2008
15 years 6 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 ...
189
click to vote
TMI
2008
15 years 6 months ago
2008
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...