Sciweavers

3885 search results - page 363 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
DBPL
2001
Springer
133views Database» more  DBPL 2001»
15 years 11 months ago
A Theory of Spatio-Temporal Database Queries
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
Floris Geerts, Sofie Haesevoets, Bart Kuijpers
PACT
1997
Springer
15 years 11 months ago
Estimating the Parallel Start-Up Overhead for Parallelizing Compilers
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
Rizos Sakellariou
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 10 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