282 search results - page 39 / 57 » A Framework for Radiological Assistant Systems |
INTERACT
2007
13 years 9 months ago
2007
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
SSDBM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Relational database systems are becoming increasingly popular in the scientific community to support the interactive exploration of large volumes of data. In this scenar...
LICS
2002
IEEE
14 years 16 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
JAIR
2011
13 years 2 months ago
2011
Markovian processes have long been used to model stochastic environments. Reinforcement learning has emerged as a framework to solve sequential planning and decision-making proble...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...