231 search results - page 30 / 47 » A Brief Overview of HOL4 |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
A video stream from a single camera is often the foundation for situational awareness in teleoperation activities. Poor camera placement, narrow field-of-view and other camera pro...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
A major problem in today's information-driven world is that sharing heterogeneous, semantically rich data is incredibly difficult. Piazza is a peer data management system tha...
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
3D integration is an emergent technology that has the potential to greatly increase device density while simultaneously providing faster on-chip communication. 3D fabrication invo...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Cooperation is increasingly regarded as a key technology for tackling the challenges of a practical implementation of cognitive radio. In this paper, we first give a b...