3342 search results - page 164 / 669 » Automating Abstract Interpretation |
127
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
120
Voted
DIMEA
2008
15 years 4 months ago
2008
We combine a machine vision system that recognises emotions and a non-photorealistic rendering (NPR) system to automatically produce portraits which heighten the emotion of the si...
121
Voted
ER
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...
114
Voted
HCI
2007
15 years 4 months ago
2007
This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on t...
133
click to vote
SERP
2004
15 years 4 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...