797 search results - page 67 / 160 » Eliminating Proofs from Programs |
110
click to vote
CADE
2005
Springer
16 years 29 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
104
Voted
PPPJ
2006
ACM
15 years 6 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
95
Voted
ICPP
1996
IEEE
15 years 4 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
187
Voted
GIS
2011
ACM
14 years 4 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...
102
Voted
IJCGT
2011
14 years 4 months ago
2011
This paper proposes an automatic model-based approach that enables adaptive decision making in modern virtual games. It builds upon the Integrated MDP and POMDP Learning AgeNT (IM...