Sciweavers

3233 search results - page 315 / 647
» Validation Method for Intelligent Systems
Sort
View
ICDM
2010
IEEE
101views Data Mining» more  ICDM 2010»
15 years 2 months ago
Tru-Alarm: Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems
A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system that re...
Lu An Tang, Xiao Yu, Sangkyum Kim, Jiawei Han, Chi...
121
Voted
LPNMR
2009
Springer
15 years 11 months ago
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
Ping Hou, Marc Denecker
ICRA
2009
IEEE
108views Robotics» more  ICRA 2009»
15 years 11 months ago
Local decomposition and observability properties for automatic calibration in mobile robotics
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
Agostino Martinelli
SOFSEM
2007
Springer
15 years 10 months ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
IDEAL
2007
Springer
15 years 11 months ago
Influence of Wavelet Frequency and Orientation in an SVM-Based Parallel Gabor PCA Face Verification System
We present a face verification system using Parallel Gabor Principal Component Analysis (PGPCA) and fusion of Support Vector Machines (SVM) scores. The algorithm has been tested on...
Ángel Serrano, Isaac Martín de Diego...