3323 search results - page 157 / 665 » Computational Semantics with Functional Programming |
169
click to vote
NIPS
1993
15 years 7 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
155
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
144
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
137
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
182
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...