Sciweavers

5105 search results - page 327 / 1021
» Approximate Structural Consistency
Sort
View
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
16 years 1 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
CEC
2007
IEEE
16 years 1 months ago
An ant-based algorithm for annular sorting
— We present an ant-based algorithm for spatially sorting objects into an annular structure. The model is minimal, as it requires only stochastic ant behaviour coupled with a phe...
Martyn Amos, Oliver Don
APN
2007
Springer
16 years 26 days ago
Petri Nets, Discrete Physics, and Distributed Quantum Computation
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
Samson Abramsky
WACV
2005
IEEE
16 years 8 days ago
Realtime Road Detection by Learning from One Example
Realtime detection and localization of a road from an aerial image is an emerging research area that can be applied to vision-based navigation of unmanned air vehicles. Existing r...
Zu Whan Kim
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 1 days ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet