12452 search results - page 274 / 2491 » An exploration of program as language |
159
click to vote
AAAI
2000
15 years 8 months ago
2000
Many artists are intrigued by the creative possibilities presented to them by virtual worlds populated with autonomous agents. Artists wishing to explore these possibilities face ...
189
click to vote
FUIN
2010
15 years 4 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
192
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
156
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
162
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...