4716 search results - page 545 / 944 » Tangible functional programming |
85
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— The Kuka Control Toolbox (KCT) is a collection of MATLAB functions for motion control of KUKA robot manipulators, developed to offer an intuitive and high-level programming int...
117
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
123
Voted
SIGDIAL
2010
15 years 11 days ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
102
click to vote
TAP
2010
Springer
15 years 11 days ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
127
click to vote
TVCG
2012
13 years 5 months ago
2012
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...