3973 search results - page 670 / 795 » Complex adaptation and system structure |
239
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
181
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
181
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
150
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
185
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image an...