6020 search results - page 854 / 1204 » A New Approach to Model Counting |
140
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
194
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes a novel SOM-Wavelet Networks method for face recognition. We employed a SOM algorithm, which is based on the structure of a biological model, to extract shape...
169
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
— We present a new approach to path planning for flexible wires. We introduce a method for computing stable configurations of a wire subject to manipulation constraints. These ...
173
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
152
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
A knowledge management perspective is rarely used to model a process. Using the cognitive perspective on knowledge management in which we start our analysis with events and knowled...