6020 search results - page 849 / 1204 » A New Approach to Model Counting |
175
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
365
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
136
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a threshold-based local algorithm for image binarization. The main idea is to compute a transition energy using pixel value differences taken from a neighborhood aroun...
177
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a new method to find and cluster recurrent keyplaces in a movie. It consists of an unsupervised classification of shots that are taking place in the same physical loca...
146
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...