613 search results - page 89 / 123 » A New Perspective on Stable Models |
WCE
2007
13 years 8 months ago
2007
—Moving object detection is very important for video surveillance. In this paper, we present a new real time motion detection algorithm that is based on the integration of accumu...
APAL
2002
13 years 7 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—The widespread availability of mobile wireless devices offers growing opportunities for the formation of temporary networks with only intermittent connectivity. These in...
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
3D stacked circuits reduce communication delay in multicore system-on-chips (SoCs) and enable heterogeneous integration of cores, memories, sensors, and RF devices. However, vertic...