5550 search results - page 993 / 1110 » Different Approaches to Proof Systems |
150
click to vote
ACL
2010
15 years 4 months ago
2010
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
160
click to vote
BMVC
2010
15 years 4 months ago
2010
Multi-camera systems are more and more used in vision-based robotics. An accurate extrinsic calibration is usually required. In most of cases, this task is done by matching featur...
162
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Heterogeneous or co-processor architectures are becoming an important component of high productivity computing systems (HPCS). In this work the performance of a GPU based HPCS is c...
172
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
172
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
This paper develops a high-performance, Internet-wide service discovery tool, which we call IRLscanner, whose main design objectives have been to maximize politeness at remote net...