15792 search results - page 196 / 3159 » Computational Abstraction Steps |
161
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a method for converting existing thesauri and related resources from their native format to RDF(S) and OWL. The method identifies four steps in the ...
131
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—This paper presents a systematic approach to generate walking primitive databases for anthropomorphic 3D–bipeds allowing step length adaptation, direction changes and ...
153
Voted
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
149
click to vote
MTPP
2010
15 years 4 months ago
2010
Abstract. The code generator in a compiler attempts to match a subject tree against a collection of tree-shaped patterns for generating instructions. Tree-pattern matching may be c...
167
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...