1914 search results - page 229 / 383 » Verification by Abstract Interpretation |
124
click to vote
SAMOS
2009
Springer
15 years 7 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
113
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...
103
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 7 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. ...