2448 search results - page 145 / 490 » The Octahedron Abstract Domain |
APSEC
2001
IEEE
13 years 12 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
IFIP
2000
Springer
13 years 12 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
BIRD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We describe a new method for the exploration of evolutionary relations between protein structures. The approach is based on the ESSM algorithm for detecting structural mu...
EKAW
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
CPAIOR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...