4480 search results - page 459 / 896 » Prototyping Completion with Constraints Using Computational ... |
160
click to vote
CVPR
2010
IEEE
16 years 13 days ago
2010
IEEE
We examine the shape from shading problem without boundary conditions as a polynomial system. This view allows, in generic cases, a complete solution for ideal polyhedral objects....
221
click to vote
FMCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
160
click to vote
FAST
2007
15 years 8 months ago
2007
Reducing power consumption for server computers is important, since increased energy usage causes increased heat dissipation, greater cooling requirements, reduced computational d...
173
Voted
GECON
2007
Springer
16 years 29 days ago
2007
Springer
This paper addresses necessary modification and extensions of existing Grid Computing approaches in order to meet nowadays business demand. So far, Grid Computing has been used to...
200
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...