Sciweavers

6274 search results - page 466 / 1255
» Proofs, Programs, Processes
Sort
View
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
16 years 1 months ago
A Program of Study of the Use of Stories in DSS
Storytelling is an innate human characteristic. Stories are used to manage meaning, control behavior, and facilitate identification and bonding [9]. The theory of identification a...
David B. Paradice
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
16 years 1 months ago
Genetic programming for cross-task knowledge sharing
We consider multitask learning of visual concepts within genetic programming (GP) framework. The proposed method evolves a population of GP individuals, with each of them composed...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...
EGH
2005
Springer
16 years 12 days ago
Optimal automatic multi-pass shader partitioning by dynamic programming
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
Alan Heirich
ICLP
2005
Springer
16 years 11 days ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
XPU
2005
Springer
16 years 10 days ago
Introducing Extreme Programming into a Software Project at the Israeli Air Force
Introducing Extreme Programming (XP) to an industrial software development team usually involves technical and professional aspects as well as social and organizational ones. The i...
Yael Dubinsky, Orit Hazzan, Arie Keren