430 search results - page 69 / 86 » Design by Contract for Python |
MM
2010
ACM
13 years 6 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
WIOPT
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Development of dynamic spectrum access and allocation techniques recently have made feasible the vision of cognitive radio systems. However, a fundamental question arise...
IGARSS
2010
13 years 5 months ago
2010
The Landsat Data Continuity Mission (LDCM), a joint NASA and USGS mission, is scheduled for launch in December, 2012. The LDCM instrument payload will consist of the Operational L...
HCI
2009
13 years 5 months ago
2009
Abstract. The purpose of this research is to emphasize on the concept of integrating computer and interactive technologies to the rehabilitation robotic with biofeedback. First, th...