Sciweavers

2312 search results - page 373 / 463
» Invariance in Property Testing
Sort
View
FOCS
2005
IEEE
16 years 2 hour ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
15 years 12 months ago
Orthogonal Neighborhood Preserving Projections
— Orthogonal Neighborhood Preserving Projections (ONPP) is a linear dimensionality reduction technique which attempts to preserve both the intrinsic neighborhood geometry of the ...
Effrosini Kokiopoulou, Yousef Saad
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 12 months ago
Fast Reinforcement Learning for Vision-guided Mobile Robots
— This paper presents a new reinforcement learning algorithm for accelerating acquisition of new skills by real mobile robots, without requiring simulation. It speeds up Q-learni...
Tomás Martínez-Marín, Tom Duc...
INFOCOM
2005
IEEE
15 years 12 months ago
A study of analyzing network traffic as images in real-time
—This paper presents NetViewer, a network measurement approach that can simultaneously detect, identify and visualize attacks and anomalous traffic in real-time by passively moni...
Seong Soo Kim, A. L. Narasimha Reddy
ISMAR
2005
IEEE
15 years 12 months ago
Adaptive Line Tracking with Multiple Hypotheses for Augmented Reality
We present a real-time model-based line tracking approach with adaptive learning of image edge features that can handle partial occlusion and illumination changes. A CAD (VRML) mo...
Harald Wuest, Florent Vial, Didier Stricker