Sciweavers

9842 search results - page 668 / 1969
» Compositional timing analysis
Sort
View
AUSAI
2006
Springer
15 years 11 months ago
User Behavior Analysis of the Open-Ended Document Classification System
Real-world document classification is an open-ended problem, rather than a close-ended problem, because the document classification domain continually evolves as the time passes. U...
Yang Sok Kim, Byeong Ho Kang, Young Ju Choi, Sung ...
190
Voted
CONCUR
2006
Springer
15 years 11 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ICCV
1995
IEEE
15 years 11 months ago
Better Optical Triangulation Through Spacetime Analysis
The standard methods for extracting range data from optical triangulation scanners are accurate only for planar objects of uniform reflectance illuminated by an incoherentsource....
Brian Curless, Marc Levoy
185
Voted
IWANN
1995
Springer
15 years 10 months ago
An Application of the Saturated Attractor Analysis to Three Typical Models
The saturated attractor analysis, an approach proposed first in [FP] for a comprehensive study of the dynamics of the Linsker model and then successfully applied to the dynamic li...
Jianfeng Feng, Brunello Tirozzi
CDC
2009
IEEE
180views Control Systems» more  CDC 2009»
15 years 10 months ago
Robustness analysis for Least Squares kernel based regression: an optimization approach
—In kernel based regression techniques (such as Support Vector Machines or Least Squares Support Vector Machines) it is hard to analyze the influence of perturbed inputs on the ...
Tillmann Falck, Johan A. K. Suykens, Bart De Moor