4151 search results - page 618 / 831 » Language Driven System Design |
172
Voted
ISSAC
2005
Springer
16 years 16 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
225
Voted
SPATIALCOGNITION
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
217
Voted
FDL
2003
IEEE
16 years 10 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
189
Voted
ICVS
2003
Springer
16 years 7 days ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
146
click to vote
ISSS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...