7892 search results - page 154 / 1579 » Programming with Models |
111
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
113
click to vote
AAAI
2000
15 years 2 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
105
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
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 ...
140
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...