Sciweavers

1218 search results - page 95 / 244
» The many facets of natural computing
Sort
View
132
Voted
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
15 years 11 months ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka
156
Voted
ESA
2003
Springer
90views Algorithms» more  ESA 2003»
15 years 11 months ago
Packing a Trunk
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
Friedrich Eisenbrand, Stefan Funke, Joachim Reiche...
152
Voted
FOSSACS
2003
Springer
15 years 11 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
143
Voted
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 11 months ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell
180
Voted
AISC
2010
Springer
15 years 11 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...