716 search results - page 101 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
141
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
120
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We propose the use of interactive, user-in-the-loop techniques for controlling physically-based animated characters. With a suitably designed interface, the continuous and discret...
214
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...
152
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
140
Voted
EOR
2008
15 years 3 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...