1581 search results - page 139 / 317 » Mechanizing Inductive Reasoning |
156
click to vote
NAACL
2010
15 years 4 months ago
2010
Deploying an automatic speech recognition system with reasonable performance requires expensive and time-consuming in-domain transcription. Previous work demonstrated that non-pro...
192
click to vote
IAT
2007
IEEE
16 years 21 days ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
170
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
137
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents an innovative and effective method to improve the performance of a micro mechanical gyroscope by introducing the damping of its sensing quality factor. Indee...
160
click to vote
GLOBECOM
2007
IEEE
2007
IEEE
Enhanced Adaptive Frequency Hopping for Wireless Personal Area Networks in a Coexistence Environment
16 years 22 days ago
— In this paper, we present an enhanced adaptive frequency hopping (EAFH) mechanism for improving the performance of frequency hopping-based wireless personal area networks (WPAN...