Sciweavers

3987 search results - page 387 / 798
» Ontology-Based Model Transformation
Sort
View
COMPASS
1994
15 years 11 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
ACCV
2007
Springer
15 years 11 months ago
Sports Classification Using Cross-Ratio Histograms
The paper proposes a novel approach for classification of sports images based on the geometric information encoded in the image of a sport's field. The proposed approach uses ...
Balamanohar Paluri, S. Nalin Pradeep, Hitesh Shah,...
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 10 months ago
Finite-time tracking controller design for a general class of nonholonomic systems
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
Yuqiang Wu, Ruiying Yuan, Xiuyun Zheng
ASPDAC
2005
ACM
132views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Automatic synthesis and scheduling of multirate DSP algorithms
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
Ying Yi, Mark Milward, Sami Khawam, Ioannis Nousia...
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 8 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner