692 search results - page 79 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
ACL
1998
15 years 1 months ago
1998
Abstract Resource adaptlvity" Because the sets of strucNatural language parsing is conceived to be a procedure of disambiguation, which successively reduces an initially total...
ENTCS
2007
14 years 11 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
114
click to vote
CVPR
1998
IEEE
16 years 1 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
106
click to vote
IFL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...