4722 search results - page 230 / 945 » Encoding Program Executions |
169
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
We present a new and simple data-driven technique for modeling 3D brushes for use in realistic painting programs. Our technique simplifies and accelerates simulation of the const...
145
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
153
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
170
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
This paper shows that it is possible to (1) discover novel implementations of median circuits using evolutionary techniques and (2) find out suitable median circuits in case that ...
148
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...