1115 search results - page 147 / 223 » An Abstract Look at Realizability |
125
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
133
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
149
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...
160
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. The Internet and the Web have extended traditional business networks by allowing a Web of different digital resources to work together to create value for organizations. ...
119
click to vote
MMM
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. In this paper, we propose an automatic home video skimming system based on media aesthetics. Unlike other similar works, the proposed system considers video editing theor...