Sciweavers

7167 search results - page 404 / 1434
» Answer Set Programming
Sort
View
110
Voted
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
122
Voted
UAI
2004
15 years 5 months ago
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
Carlos Iván Chesñevar, Guillermo Ric...
164
Voted
WOA
2003
15 years 5 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro
AAAI
1997
15 years 5 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
137
Voted
WSC
1998
15 years 5 months ago
MPI-SIM: Using Parallel Simulation to Evaluate MPI Programs
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
Sundeep Prakash, Rajive Bagrodia