2111 search results - page 199 / 423 » How to Program Pervasive Systems |
188
Voted
ICRA
2007
IEEE
16 years 1 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...
181
Voted
ITICSE
2006
ACM
16 years 28 days 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 ...
203
Voted
TYPES
2004
Springer
16 years 9 days 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...
193
Voted
CONTEXT
2003
Springer
16 years 6 days 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...
154
click to vote
DATE
2010
IEEE
16 years 2 days 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...