Sciweavers

1966 search results - page 256 / 394
» Description Logics and Planning
Sort
View
ISBI
2002
IEEE
16 years 7 months ago
Statistical shape models for segmentation and structural analysis
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
Guido Gerig, Martin Andreas Styner, Gábor S...
ARTMED
2005
92views more  ARTMED 2005»
15 years 6 months ago
Temporal reasoning for decision support in medicine
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
Juan Carlos Augusto
WWW
2001
ACM
16 years 7 months ago
A Logic-based Framework for Mobile Intelligent Information Agents
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
Naoki Fukuta, Takayuki Ito, Toramatsu Shintani
ATAL
2009
Springer
16 years 29 days ago
Agent programming with temporally extended goals
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
Koen V. Hindriks, Wiebe van der Hoek, M. Birna van...
ERCIMDL
2008
Springer
126views Education» more  ERCIMDL 2008»
15 years 8 months ago
An Extensible Virtual Digital Libraries Generator
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
Massimiliano Assante, Leonardo Candela, Donatella ...