5550 search results - page 993 / 1110 » Different Approaches to Proof Systems |
165
Voted
ACL
2010
15 years 5 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...
171
Voted
BMVC
2010
15 years 5 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...
172
click to vote
FPL
2010
Springer
15 years 5 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...
183
Voted
IAT
2010
IEEE
15 years 5 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 ...
186
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...