6020 search results - page 594 / 1204 » A New Approach to Model Counting |
168
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
206
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...
196
click to vote
DMIN
2009
15 years 5 months ago
2009
-- The proliferation of social networks, where individuals share private information, has caused, in the last few years, a growth in the volume of sensitive data being stored in th...
233
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
231
click to vote
CVPR
2001
IEEE
16 years 9 months ago
2001
IEEE
We present a new adaptive algorithm for automatic detection of text from a natural scene. The initial cues of text regions are first detected from the captured image/video. An ada...