Sciweavers

1948 search results - page 97 / 390
» Formalizing Mirror Theory
Sort
View
HYBRID
2007
Springer
15 years 11 months ago
Metrics and Topology for Nonlinear and Hybrid Systems
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
Mihály Petreczky, René Vidal
FM
2005
Springer
132views Formal Methods» more  FM 2005»
15 years 11 months ago
Decoupling in Object Orientation
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
Ioannis T. Kassios
CHI
2006
ACM
16 years 5 months ago
Tableau machine: an alien presence in the home
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...
Mario Romero, Zachary Pousman, Michael Mateas
CVPR
2010
IEEE
16 years 1 months ago
Specular Surface Reconstruction from Sparse Reflection Correspondences
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
Aswin Sankaranarayanan, Ashok Veeraraghavan, Oncel...
SBCCI
2005
ACM
80views VLSI» more  SBCCI 2005»
15 years 11 months ago
On the design of very small transconductance OTAs with reduced input offset
In this paper it will be demonstrated, from the theory and measurements, that series-parallel (SP) mirrors allow building current copiers with copy factors of thousands, without d...
Alfredo Arnaud, Rafaella Fiorelli, Carlos Galup-Mo...