9521 search results - page 411 / 1905 » Compiling with continuations, continued |
129
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
136
click to vote
LOCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a novel model-based approach to activity recognition using high-level primitives that are derived from a human body model estimated from sensor data. Using sho...
132
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
With the ongoing advancements in VLSI technology, the performance of an embedded system is determined to a large extend by the communication of data and instructions. This results...
FOCS
2000
IEEE
15 years 9 months ago
2000
IEEE
We prove that Best Fit bin packing has linear waste on the discrete distribution Ufj kg (where items are drawn uniformly from the set f1=k 2=3 j=kg) for sufficiently large k when...
143
Voted
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
We introduce an algorithm for learning a local metric to a continuous input space that measures distances in terms of relevance to the processing task. The relevance is defined a...