Sciweavers

5326 search results - page 271 / 1066
» On what we can ensure
Sort
View
218
Voted
ISMAR
2005
IEEE
16 years 1 months ago
Augmenting Deformable Objects in Real-Time
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
Julien Pilet, Vincent Lepetit, Pascal Fua
167
Voted
AUSAI
2004
Springer
16 years 27 days ago
A Time and Energy Optimal Controller for Mobile Robots
We present a time and energy optimal controller for a two-wheeled differentially driven robot. We call a mission the task of bringing the robot from an initial state to a desired f...
Sebastien Ancenay, Frédéric Maire
213
Voted
HICSS
2003
IEEE
159views Biometrics» more  HICSS 2003»
16 years 23 days ago
Application Service Providing as Part of Intelligent Decision Support for Supply Chain Management
A prominent trend in the software industry in the late 1990s was the development of the application service providing business model. Application service providers (ASP)1 offer th...
Tanja Falkowski, Stefan Voß
SBCCI
2003
ACM
115views VLSI» more  SBCCI 2003»
16 years 22 days ago
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
191
Voted
MKM
2009
Springer
16 years 1 days ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller