7189 search results - page 394 / 1438 » Connecting Design with Code |
138
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
114
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper describes the design of a fast longjumping robot conceived to move in unstructured environments through simple feed-forward control laws. Despite the apparen...
131
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
The Internet and the devices that connect to it consume a growing and significant amount of electricity. The utilization of desktop to switch Ethernet links is generally very low ...
124
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
111
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....