2200 search results - page 287 / 440 » Objective reduction using a feature selection technique |
124
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
136
Voted
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
161
click to vote
PKDD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
106
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
Images taken with wide-angle cameras tend to have severe distortions which pull points towards the optical center: This paper proposes a method for recovering the disrortion param...
180
click to vote
PVLDB
2008
15 years 3 months ago
2008
Uncertainty pervades many domains in our lives. Current real-life applications, e.g., location tracking using GPS devices or cell phones, multimedia feature extraction, and sensor...