Sciweavers

438 search results - page 16 / 88
» Projective Coordinates Leak
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 22 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ICAISC
2010
Springer
13 years 10 months ago
Sequential Coordinate-Wise DNMF for Face Recognition
Abstract. This paper proposes the Sequential Coordinate-Wise Algorithm (SCWA) to Discriminant Nonnegative Matrix Factorization (DNMF) for improving face recognition. DNMF incorpora...
Rafal Zdunek, Andrzej Cichocki
IASTEDSE
2004
13 years 9 months ago
A coordination architecture for time-dependent components
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
Michael N. Barth, Alexander Knapp
AIME
1995
Springer
14 years 1 days ago
Coordinating Taxonomies: Key to Re-Usable Concept Representations
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
Alan L. Rector
ACMSE
2006
ACM
13 years 10 months ago
Tic-Tac-LEGO: an investigation into coordinated robotic control
The Lego Mindstorms Robot Command eXplorer (RCX) is a popular robotics kit that provides an immediate "out-of-the-box" opportunity to explore software controlled robot i...
Ruben Vuittonet, Jeff Gray