7961 search results - page 315 / 1593 » Input-Output Model Programs |
117
click to vote
HCW
1998
IEEE
15 years 9 months ago
1998
IEEE
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...
130
click to vote
ISER
1997
Springer
15 years 9 months ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
135
click to vote
CIRA
2007
IEEE
15 years 8 months ago
2007
IEEE
This article presents an approach to Programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type,...
119
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
161
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...