3047 search results - page 272 / 610 » On the Meaning of Logical Completeness |
180
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, ...
169
click to vote
AIPS
2003
15 years 9 months ago
2003
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...
163
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
A novel frame-wise model adaptation approach for reverberationrobust distant-talking speech recognition is proposed. It adjusts the means of static cepstral features to capture th...
182
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
196
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...