3255 search results - page 59 / 651 » Combination of Abstractions in the ASTR |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
CLEF
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. This paper describes the participation of a combined approach in GeoCLEF-2006. We have participated in Monolingual English Task and we present joint work of the three gro...
ESWS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Understanding a software system at source-code level requires understanding the different concerns that it addresses, which in turn requires a way to identify these conce...
WSC
2007
13 years 11 months ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...