13603 search results - page 2647 / 2721 » On the Computational Complexity of Cut-Reduction |
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Within nature, the success of many organisms, including certain species of insects, mammals, slime molds, and bacteria, is attributed to their performance of division of labor, wh...
101
click to vote
MHCI
2009
Springer
15 years 2 months ago
2009
Springer
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
CP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...