3342 search results - page 141 / 669 » Automating Abstract Interpretation |
PSB
2010
14 years 9 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
ISAMI
2010
14 years 6 months ago
2010
Abstract. In the present paper we describe IntelliDomo's learning model, an ontology-based expert system able to control a home automation system and to learn user's beha...
IPMI
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper presents a novel method for registration of cardiac perfusion MRI. The presented method successfully corrects for breathing motion without any manual interacti...
111
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...