Sciweavers

667 search results - page 45 / 134
» On Various Negative Translations
Sort
View
120
Voted
HRI
2007
ACM
15 years 4 months ago
Robots as interfaces to haptic and locomotor spaces
Research on spatial cognition and navigation of the visually impaired suggests that vision may be a primary sensory modality that enables humans to align the egocentric (self to o...
Vladimir A. Kulyukin, Chaitanya Gharpure, Cassidy ...
95
Voted
LREC
2010
246views Education» more  LREC 2010»
15 years 2 months ago
GermanPolarityClues: A Lexical Resource for German Sentiment Analysis
In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity clas...
Ulli Waltinger
IJCAI
2007
15 years 2 months ago
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
Daniel T. Halstead, Kenneth D. Forbus
133
Voted
PLANX
2007
15 years 2 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
FAC
2008
114views more  FAC 2008»
15 years 26 days ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe