797 search results - page 140 / 160 » Eliminating Proofs from Programs |
138
Voted
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents processing and visualization techniques for Diffusion Tensor Magnetic Resonance Imaging (DT-MRI). In DT-MRI, each voxel is assigned a tensor that describes loc...
117
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
192
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
76
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
90
Voted
AUSAI
1998
Springer
15 years 4 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...