2631 search results - page 243 / 527 » A Practical Method for the Sparse Resultant |
156
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
This study proposes a combination of electrical and mechanical stimulation as a foundational method to realize a tactile display with a high temporal and spatial resolution. We fu...
207
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Increasing the field of view of camera is an important issue practical in robot vision. One solution is to consider catadioptric camera that allows a 360o field of view. In t...
200
click to vote
CAV
2004
Springer
16 years 20 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
194
click to vote
ISSAC
2004
Springer
16 years 19 days ago
2004
Springer
This paper presents an algorithm and its implementation for computing the approximate GCD (greatest common divisor) of multivariate polynomials whose coefficients may be inexact. ...
194
click to vote
ICDAR
2003
IEEE
16 years 16 days ago
2003
IEEE
A model based approach for rectifying the camera image of the bound document has been developed, i.e., the surface of the document is represented by a general cylindrical surface....