5128 search results - page 111 / 1026 » When Abstraction Fails |
163
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
148
click to vote
ICAI
2009
15 years 2 months ago
2009
We present a novel affective goal selection mechanism for decision-making in agents with limited computational resources (e.g., such as robots operating under real-time constraint...
104
click to vote
BC
2010
15 years 2 months ago
2010
In a noisy system, such as the nervous system, can movements be precisely controlled as experimentally demonstrated? We point out that the existing theory of motor control fails to...
131
Voted
TON
2010
14 years 11 months ago
2010
When heterogeneous congestion control protocols that react to different pricing signals share the same network, the current theory based on utility maximization fails to predict th...
112
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
When the arrival timing difference exists in the uplink MUMIMO systems, the conventional MUD techniques, without timing control, failed under this circumstance. In this paper, we ...