The top documents tagged [declarative methods]

Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms Harold Boley, NRC IIT e-Business, Fredericton RuleML-2003 Sanibel
Documents Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms Harold Boley, NRC IIT e-Business, Fredericton RuleML-2003 Sanibel

218 views

600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming
Documents 600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming

228 views

600.325/425 Declarative Methods - J. Eisner1 Soft Constraints: Exponential Models Factor graphs (undirected graphical models) and their connection to constraint
Documents 600.325/425 Declarative Methods - J. Eisner1 Soft Constraints: Exponential Models Factor graphs (undirected graphical models) and their connection to constraint

233 views

600.325/425 Declarative Methods - J. Eisner1 Mathematical Programming especially Integer Linear Programming and Mixed Integer Programming
Documents 600.325/425 Declarative Methods - J. Eisner1 Mathematical Programming especially Integer Linear Programming and Mixed Integer Programming

223 views

Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006
Documents Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006

226 views

Ontologies Reasoning Components Agents Simulations Ontologies Jacques Robin
Documents Ontologies Reasoning Components Agents Simulations Ontologies Jacques Robin

227 views

Rendering of Realistic Landscapes K. H. Ko Department of Mechatronics Gwangju Institute of Science and Technology October 31, 2007
Documents Rendering of Realistic Landscapes K. H. Ko Department of Mechatronics Gwangju Institute of Science and Technology October 31, 2007

215 views

600.325/425 Declarative Methods - J. Eisner1 Dynamic Programming Logical re-use of computations
Documents 600.325/425 Declarative Methods - J. Eisner1 Dynamic Programming Logical re-use of computations

223 views

600.325/425 Declarative Methods - J. Eisner1 Satisfiability Generate-and-test / NP / NP-complete SAT, weighted MAX-SAT, CNF-SAT, DNF- SAT, 3-CNF-SAT, Tseitin,
Documents 600.325/425 Declarative Methods - J. Eisner1 Satisfiability Generate-and-test / NP / NP-complete SAT, weighted MAX-SAT, CNF-SAT, DNF- SAT, 3-CNF-SAT, Tseitin,

232 views

Rendering of Realistic Landscapes
Documents Rendering of Realistic Landscapes

64 views

Soft Constraints: Exponential Models
Documents Soft Constraints: Exponential Models

49 views

1 Declarative Specification of NLP Systems Jason Eisner IBM, May 2006 student co-authors on various parts of this work: Eric Goldlust, Noah A. Smith, John
Documents 1 Declarative Specification of NLP Systems Jason Eisner IBM, May 2006 student co-authors on various parts of this work: Eric Goldlust, Noah A. Smith, John

217 views