Sciweavers

3235 search results - page 430 / 647
» Partial Redundant Modeling
Sort
View
IFIP
2009
Springer
15 years 10 months ago
Transformations between Cryptographic Protocols
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
Joshua D. Guttman
CDC
2008
IEEE
118views Control Systems» more  CDC 2008»
15 years 10 months ago
A density projection approach to dimension reduction for continuous-state POMDPs
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
Enlu Zhou, Michael C. Fu, Steven I. Marcus
ADC
2008
Springer
135views Database» more  ADC 2008»
15 years 10 months ago
Faster Path Indexes for Search in XML Data
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
Nils Grimsmo
ICDE
2007
IEEE
229views Database» more  ICDE 2007»
15 years 10 months ago
Data-quality Guided Load Shedding for Expensive In-Network Data Processing
In situ wireless sensor networks, not only have to route sensed data from sources to destinations, but also have to filter and fuse observations to eliminate potentially irreleva...
Lina Peng, K. Selçuk Candan
ICIP
2007
IEEE
15 years 10 months ago
Shape from Shading for Hybrid Surfaces
This paper presents a new method for recovering the shape of hybrid surfaces that have both diffuse reflection and specular reflection using shape from shading (SFS). The image ...
Abdelrehim H. Ahmed, Aly A. Farag