Sciweavers

3713 search results - page 250 / 743
» Quantum Information Theory
Sort
View
95
Voted
FAC
1998
111views more  FAC 1998»
15 years 11 days ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
114
Voted
IAT
2010
IEEE
14 years 10 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri
92
Voted
EMNLP
2009
14 years 10 months ago
A Simple Unsupervised Learner for POS Disambiguation Rules Given Only a Minimal Lexicon
We propose a new model for unsupervised POS tagging based on linguistic distinctions between open and closed-class items. Exploiting notions from current linguistic theory, the sy...
Qiuye Zhao, Mitch Marcus
61
Voted
CHI
2011
ACM
14 years 4 months ago
A phenomenology of human-electricity relations
This paper investigates the philosophical question of how we can experience energy with the aim of informing the design of future ways of experiencing energy by means of technolog...
James Pierce, Eric Paulos
98
Voted
CIKM
2005
Springer
15 years 6 months ago
Using appraisal groups for sentiment analysis
Little work to date in sentiment analysis (classifying texts by ‘positive’ or ‘negative’ orientation) has attempted to use fine-grained semantic distinctions in features ...
Casey Whitelaw, Navendu Garg, Shlomo Argamon