1842 search results - page 196 / 369 » Measurable systems and behavioral sciences |
149
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
198
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
188
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
As large displays become prevalent in public spaces, they could be employed to create novel game experiences for the public. We present an exploratory study of an ad-hoc multiplay...
199
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Emotion is central to human interactions, and automatic detection could enhance our experience with technologies. We investigate the linguistic expression of fine-grained emotion ...
167
click to vote
NN
2000
Springer
15 years 6 months ago
2000
Springer
Linear projection equations arise in many optimization problems and have important applications in science and engineering. In this paper, we present a recurrent neural network fo...