Sciweavers

7961 search results - page 195 / 1593
» Input-Output Model Programs
Sort
View
ICPPW
2002
IEEE
15 years 11 months ago
High Performance Air Pollution Simulation Using OpenMP
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
Marta Parada, María J. Martín, Ramon...
ICLP
2001
Springer
15 years 11 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
SIGCSE
2002
ACM
135views Education» more  SIGCSE 2002»
15 years 6 months ago
Introducing computer science through animation and virtual worlds
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
Susan H. Rodger
ARES
1998
Springer
15 years 10 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
LPNMR
2009
Springer
15 years 11 months ago
On Reductive Semantics of Aggregates in Answer Set Programming
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
Joohyung Lee, Yunsong Meng