Sciweavers

1266 search results - page 85 / 254
» AS Relationships: Inference and Validation
Sort
View
POPL
2010
ACM
15 years 4 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh
KES
2005
Springer
15 years 3 months ago
Fuzzy Logic and Neuro-fuzzy Modelling of Diesel Spray Penetration
: The aim of this study was to demonstrate the effectiveness of an adaptive neuro-fuzzy inference system (ANFIS) for the prediction of diesel spray penetration length in the cylind...
Shaun H. Lee, Robert J. Howlett, Simon D. Walters,...
PKC
2010
Springer
148views Cryptology» more  PKC 2010»
15 years 1 months ago
On the Feasibility of Consistent Computations
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
Sven Laur, Helger Lipmaa
ECCV
2010
Springer
15 years 1 months ago
Automatic Learning of Background Semantics in Generic Surveilled Scenes
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
Carles Fernández, Jordi Gonzàlez, Xavier Roca
ICPR
2002
IEEE
15 years 11 months ago
Fusion of Range and Visual Data for the Extraction of Scene Structure Information
In this paper, a method for inferring 3D structure information based on both range and visual data is proposed. Data fusion is achieved by validating assumptions formed according ...
Haris Baltzakis, Antonis A. Argyros, Panos E. Trah...