2364 search results - page 220 / 473 » An Engine for Computing Well-Founded Models |
138
click to vote
GCC
2006
Springer
15 years 8 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
141
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
136
click to vote
APVIS
2004
15 years 6 months ago
2004
The visualisation pipeline approach is a flexible and extensible technique for generating visualisations. The basic pipeline functions involve the capture and representation of da...
139
Voted
KER
2008
15 years 5 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
131
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes an in vivo measurement technique to calculate dielectric properties of blood excluding the contributions from surrounding tissues, based on analysis of the pu...