13271 search results - page 173 / 2655 » Computers, Programming, and People |
134
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
139
click to vote
ISIPTA
2005
IEEE
15 years 10 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...
133
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
168
click to vote
SIGCSE
1994
ACM
15 years 8 months ago
1994
ACM
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...
141
click to vote
EWC
2000
15 years 4 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...