2451 search results - page 81 / 491 » The Octagon Abstract Domain |
183
click to vote
SIAMSC
2010
15 years 4 months ago
2010
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...
158
click to vote
USAB
2010
15 years 4 months ago
2010
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
170
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
167
click to vote
B
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
166
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...