Sciweavers

13271 search results - page 102 / 2655
» Computers, Programming, and People
Sort
View
102
Voted
ICLP
2007
Springer
15 years 10 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
ERSA
2006
186views Hardware» more  ERSA 2006»
15 years 5 months ago
The Case for High Level Programming Models for Reconfigurable Computers
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
David L. Andrews, Ron Sass, Erik Anderson, Jason A...
APBC
2003
117views Bioinformatics» more  APBC 2003»
15 years 5 months ago
A New Program to Compute the Surface Properties of Biomolecules
The interactions of large molecules with surfaces and with each other are strongly dependent upon their surface, rather than their bulk properties. In addition, the local properti...
Dan V. Nicolau Jr., Florin Fulga, Dan V. Nicolau
123
Voted
EUROCAST
2005
Springer
97views Hardware» more  EUROCAST 2005»
15 years 9 months ago
Extracting Computer Algebra Programs from Statements
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
131
Voted
AIIDE
2008
15 years 6 months ago
Explicit Knowledge Programming for Computer Games
The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else's knowledge) as an issue for computer game AI. We argue that a number ...
Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerl...