1189 search results - page 111 / 238 » The Quotient of an Abstract Interpretation |
112
Voted
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
DAGM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
102
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
125
Voted
RTA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
199
Voted
ICIAR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...