1626 search results - page 17 / 326 » Computing the Types of the Relationships between Autonomous ... |
ATC
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
BMCBI
2008
13 years 8 months ago
2008
Background: The Clinical E-Science Framework (CLEF) project has built a system to extract clinically significant information from the textual component of medical records in order...
TAPIA
2009
ACM
14 years 1 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...