1102 search results - page 205 / 221 » Generalizing Updates: From Models to Programs |
209
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
166
click to vote
SIGMOD
2007
ACM
16 years 16 days ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...
118
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
133
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
105
click to vote
CVPR
2007
IEEE
15 years 6 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...