Sciweavers

8706 search results - page 1133 / 1742
» Learning Subjective Language
Sort
View
LISP
2002
107views more  LISP 2002»
15 years 7 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
INTERSPEECH
2010
15 years 2 months ago
Rhythm and formant features for automatic alcohol detection
Two speech feature sets, RMS rhythmicity and formant frequencies F1-F4, are analyzed for their ability to distinguish alcoholized from sober speech. We describe the statistical fr...
Florian Schiel, Christian Heinrich, Veronika Neume...
201
Voted
IUI
2010
ACM
16 years 4 months ago
The why UI: using goal networks to improve user interfaces
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
Dustin Arthur Smith, Henry Lieberman
192
Voted
ISMIS
2009
Springer
16 years 1 months ago
Fuzzy Clustering for Categorical Spaces
Abstract. A multi-relational clustering method is presented which can be applied to complex knowledge bases storing resources expressed in the standard Semantic Web languages. It a...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
223
Voted
SEMWEB
2009
Springer
16 years 1 months ago
Populating the Semantic Web by Macro-reading Internet Text
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
Tom M. Mitchell, Justin Betteridge, Andrew Carlson...
« Prev « First page 1133 / 1742 Last » Next »