393 search results - page 2 / 79 » The PADS project: an overview |
DATASCIENCE
2002
13 years 4 months ago
2002
This paper proposes an overview of the IMSA application, a patient-oriented medical information system. IMSA stands for Interactive Multimedia System for Auto-medication and aims ...
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— As robots are gradually leaving highly structured factory environments and moving into human populated environments, they need to possess more complex cognitive abilities. Not ...
SIGMOD
2001
ACM
14 years 5 months ago
2001
ACM
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
ICLP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...