Sciweavers

4887 search results - page 591 / 978
» System Level Design Using C
Sort
View
158
Voted
AAI
2005
117views more  AAI 2005»
15 years 5 months ago
Machine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
Susana Fernández, Ricardo Aler, Daniel Borr...
PODC
1999
ACM
15 years 9 months ago
Liveness-Preserving Simulation Relations
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
Paul C. Attie
CHI
2006
ACM
16 years 5 months ago
Board-based collaboration in cross-cultural pairs
This work in progress reports a study of cross-cultural collaboration mediated by board-based collaborative systems. American-Chinese and American-American pairs performed collabo...
Gregorio Convertino, Brian Asti, Yang Zhang, Mary ...
132
Voted
ICCV
2005
IEEE
15 years 10 months ago
Fusing Points and Lines for High Performance Tracking
This paper addresses the problem of real-time 3D modelbased tracking by combining point-based and edge-based tracking systems. We present a careful analysis of the properties of t...
Edward Rosten, Tom Drummond
ATAL
2009
Springer
15 years 11 months ago
Towards multi-level modeling of self-assembling intelligent micro-systems
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
Grégory Mermoud, Juergen Brugger, Alcherio ...