3913 search results - page 195 / 783 » complexity 2006 |
131
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
128
click to vote
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
130
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
145
click to vote
ACL
2006
15 years 5 months ago
2006
Deterministic parsing guided by treebankinduced classifiers has emerged as a simple and efficient alternative to more complex models for data-driven parsing. We present a systemat...
143
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital...