13734 search results - page 441 / 2747 » Abstractions of data types |
161
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
161
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
165
click to vote
SAMT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...
163
click to vote
ICTAC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
181
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...