Search Sciweavers | Sciweavers

7892 search results - page 110 / 1579

» Programming with Models

114

click to vote

AAAI
1990

170views Intelligent Agents» more AAAI 1990»

Computing Stable Models by Using the ATMS

15 years 2 months ago

Download www.aaai.org

An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...

Kave Eshghi

claim paper

Read More »

115

click to vote

CORR
2006
Springer

80views Education» more CORR 2006»

Mental Representations Constructed by Experts and Novices in Object-Oriented Program Comprehension

15 years 1 months ago

Download hal.inria.fr

Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...

Jean-Marie Burkhardt, Françoise Déti...

claim paper

Read More »

163

click to vote

ICLP
2009
Springer

118views Automated Reasoning» more ICLP 2009»

Debugging for Model Expansion

16 years 2 months ago

Download www.mai.kuleuven.be

Johan Wittocx, Hanne Vlaeminck, Marc Denecker

claim paper

Read More »

125

click to vote

ANOR
2005

89views more ANOR 2005»

Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems

15 years 1 months ago

Download egon.cheme.cmu.edu

This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...

Sangbum Lee, Ignacio E. Grossmann

claim paper

Read More »

click to vote

ICPP
2008
IEEE

106views Distributed And Parallel Com...» more ICPP 2008»

Maotai: View-Oriented Parallel Programming on CMT Processors

15 years 7 months ago