Sciweavers

3370 search results - page 133 / 674
» Correlation Embedding Analysis
Sort
View
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 7 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
CIVR
2006
Springer
121views Image Analysis» more  CIVR 2006»
15 years 7 months ago
Finding Faces in Gray Scale Images Using Locally Linear Embeddings
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial exp...
Samuel Kadoury, Martin D. Levine
142
Voted
VISSYM
2004
15 years 4 months ago
Shape-Embedded-Histograms for Visual Data Mining
Scatterplots are widely used in exploratory data analysis and class visualization. The advantages of scatterplots are that they are easy to understand and allow the user to draw c...
Amihood Amir, Reuven Kashi, Daniel A. Keim, Nathan...
CASES
2005
ACM
15 years 5 months ago
Segment protection for embedded systems using run-time checks
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
Matthew Simpson, Bhuvan Middha, Rajeev Barua
CSMR
2011
IEEE
14 years 6 months ago
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica...