8838 search results - page 313 / 1768 » Generalizing Domain Theory |
189
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
186
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
208
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
204
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
194
click to vote
GROUP
2003
ACM
15 years 12 months ago
2003
ACM
Patterns, which are based on in-depth practical experience, can be instructing for the design of groupware applications as sociotechnical systems. On the basis of a summary of the...