1981 search results - page 43 / 397 » Model-Checking Hierarchical Structures |
MMM
2007
Springer
14 years 3 months ago
2007
Springer
Content-based retrieval of 3D human motion capture data has significant impact in different fields such as physical medicine, rehabilitation, and animation. This paper develops ...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper, we propose a new control method to cover “holes” in wireless sensor networks. Many applications often face the problem of holes when some sensor nodes are dis...
CLUSTER
2006
IEEE
14 years 2 months ago
2006
IEEE
In this article we introduce a grid runtime system called TGrid which is designed to run hierarchically structured task-parallel programs on heterogenous environments and can also...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
Tangible user interfaces provide access to virtual information through intuitive physical manipulation. However, feedback is mostly provided by displays in the environment instead...
ASAP
1996
IEEE
14 years 28 days ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...