5326 search results - page 271 / 1066 » On what we can ensure |
189
click to vote
ISMAR
2005
IEEE
16 years 6 days ago
2005
IEEE
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 ...
146
click to vote
AUSAI
2004
Springer
16 years 22 hour ago
2004
Springer
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...
180
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
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...
186
click to vote
SBCCI
2003
ACM
15 years 12 months ago
2003
ACM
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...
175
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
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...