×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [declarative methods]
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
Documents
600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming
230 views
Documents
600.325/425 Declarative Methods - J. Eisner1 Soft Constraints: Exponential Models Factor graphs (undirected graphical models) and their connection to constraint
235 views
Documents
600.325/425 Declarative Methods - J. Eisner1 Mathematical Programming especially Integer Linear Programming and Mixed Integer Programming
226 views
Documents
Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006
226 views
Documents
Ontologies Reasoning Components Agents Simulations Ontologies Jacques Robin
232 views
Documents
Rendering of Realistic Landscapes K. H. Ko Department of Mechatronics Gwangju Institute of Science and Technology October 31, 2007
217 views
Documents
600.325/425 Declarative Methods - J. Eisner1 Dynamic Programming Logical re-use of computations
224 views
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,
233 views
Documents
Rendering of Realistic Landscapes
66 views
Documents
Soft Constraints: Exponential Models
51 views
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
218 views
Next >