208 search results - page 10 / 42 » A New Direction in AI - Toward a Computational Theory of Per... |
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
NETGAMES
2006
ACM
14 years 1 months ago
2006
ACM
As technologies evolve and computer systems shrink to the size of matchboxes, also their field of application shifts in new directions. Our permanent companions, mobile phones, p...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
A new technique for controlling the bitrate of H.264 encoded sequences is presented. Bitrate control is achieved by dropping frames directly in the compressed domain. The dropped f...
JUCS
2006
13 years 7 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...