2111 search results - page 199 / 423 » How to Program Pervasive Systems |
119
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
119
click to vote
ITICSE
2006
ACM
15 years 9 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
151
Voted
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
129
click to vote
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
98
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...