4488 search results - page 675 / 898 » Focusing Search by Using Problem Solving Experience |
158
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
141
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper proposes wave-shape pattern control method for whole-body deformable robots containing electroactive polymers. Mechanisms consisting of a typical electroactive...
171
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
148
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present an approach based on 2D slices for measuring similarity between 3D models. The key idea is to represent the 3D model by a series of slices along certain ...
212
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...