Sciweavers

504 search results - page 1 / 101
» Modular System Development with Pullbacks
Sort
View
APN
2003
Springer
14 years 2 months ago
Modular System Development with Pullbacks
Marek A. Bednarczyk, Luca Bernardinello, Beno&icir...
FOSSACS
2006
Springer
14 years 2 months ago
Distributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
Paolo Baldan, Stefan Haar, Barbara König
MOC
2011
13 years 5 months ago
Computing systems of Hecke eigenvalues associated to Hilbert modular forms
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
Matthew Greenberg, John Voight
ICRA
2005
IEEE
148views Robotics» more  ICRA 2005»
14 years 4 months ago
Developing a Modular Active Spherical Vision System
- This paper introduces a modular, real-time, omnidirectional, active vision system, as well as a constructed prototype. By combining omnidirectional and active pan-tilt cameras, a...
Nicholas D. Jankovic, Michael D. Naish
ROBIO
2006
IEEE
110views Robotics» more  ROBIO 2006»
14 years 4 months ago
Demand-Driven Development of Parallel Robots with Adaptronic Components by a Modular System
Abstract - Parallel robots provide high stiffness, accelerations and accuracy. They are relatively complex products that are specialized to a specific problem. Normally a new robot...
Carsten Stechert, Nenad Pavlovic, Hans-Joachim Fra...