5089 search results - page 125 / 1018 » Attention |
141
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
104
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
In CSCW, there has been little or no attention given to how people use technology to restore collaborations when there is a major environmental disruption. We are especially inter...
109
click to vote
LREC
2010
15 years 6 months ago
2010
This paper describes Czech spontaneous speech database of lectures collected at Czech Technical University in Prague, commonly with the procedure of its recording and annotation. ...
149
click to vote
JAC
2008
15 years 6 months ago
2008
The problem of describing the dynamics of a conserved energy in a cellular automaton in terms of local movements of "particles" (quanta of that energy) has attracted some...
LREC
2008
15 years 6 months ago
2008
Fine-grained subjectivity analysis has been the subject of much recent research attention. As a result, the field has gained a number of working definitions, technical approaches ...