Sciweavers

1689 search results - page 109 / 338
» On Natural Non-dcpo Domains
Sort
View
TVCG
2012
195views Hardware» more  TVCG 2012»
13 years 8 months ago
Restricted Trivariate Polycube Splines for Volumetric Data Modeling
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...
Kexiang Wang, Xin Li, Bo Li 0014, Huanhuan Xu, Hon...
DAC
1999
ACM
16 years 7 months ago
Representation of Function Variants for Embedded System Optimization and Synthesis
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
Dirk Ziegenbein, Jürgen Teich, Kai Richter, L...
WWW
2008
ACM
16 years 7 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
KI
2009
Springer
16 years 26 days ago
A Manifold Representation as Common Basis for Action Production and Recognition
In this paper, we first review our work in the domain of dextrous manipulation, where we introduced Manipulation Manifolds – a highly structured manifold representation of hand ...
Jan Steffen, Michael Pardowitz, Helge Ritter
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
16 years 24 days ago
Stability of a second order consensus algorithm with time delay
—In this paper, we investigate a second order consensus problem in a directed graph with non-uniform time delay. This problem arises naturally in real multi-agent systems such as...
Wen Yang, Andrea L. Bertozzi, Xiaofan Wang