5799 search results - page 263 / 1160 » Position Paper |
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—Accurate models of the feel of physical objects are essential to improving the realism of haptic simulations. This paper presents a method for automatically obtaining experiment...
113
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents ternary counters using balanced ternary notation. The balanced ternary counters can replace binary full adders or counters in fast adder structures. The circui...
131
click to vote
ISVD
2007
IEEE
15 years 10 months ago
2007
IEEE
Many algorithms exist for computing the 3D Voronoi diagram, but in most cases they assume that the input is in general position. Because of the many degeneracies that arise in 3D ...
152
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
133
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...