Sciweavers

1532 search results - page 75 / 307
» The Symbol Grounding Problem
Sort
View
116
Voted
WSC
1997
15 years 5 months ago
Sea Based Logistics: Distribution Problems for Future Global Contingencies
Evolving doctrine in the U. S. Marine Corps emphasizes small, highly-mobile forces, supported from the sea rather than from large, land-based supply points. We introduce some emer...
Keebom Kang, Kevin R. Gue
ICDAR
2005
IEEE
15 years 9 months ago
A Corpus for Comparative Evaluation of OCR Software and Postcorrection Techniques
We describe a new corpus collected for comparative evaluation of OCR-software and postcorrection techniques. The corpus is freely available for academic groups and use. The major ...
Stoyan Mihov, Klaus U. Schulz, Christoph Ringlstet...
CSL
2004
Springer
15 years 9 months ago
Unsound Theorem Proving
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
Christopher Lynch
ATAL
2006
Springer
15 years 7 months ago
Software agents that learn through observation
In this paper, we present an architecture for software agents that enables them to learn vocabulary through the observation of each other bodies and actions. Besides sensors, effe...
Jaçanã Machado, Luís Miguel B...
VTC
2006
IEEE
148views Communications» more  VTC 2006»
15 years 10 months ago
Exploiting Channel Time Selectivity in Pilot-Aided Alamouti STBC Systems
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
Woon Hau Chin