1743 search results - page 132 / 349 » Generalized Modal Satisfiability |
160
click to vote
ICMI
2010
Springer
15 years 1 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
145
click to vote
HCI
2009
15 years 1 months ago
2009
Current brain-computer interface (BCI) research attempts to estimate intended operator body or cursor movements from his/her electroencephalographic (EEG) activity alone. More gene...
169
click to vote
CHI
2010
ACM
15 years 3 days ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
146
click to vote
DSS
2002
15 years 3 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
160
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...