Sciweavers

7430 search results - page 309 / 1486
» Programming Applications in CIFF
Sort
View
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 9 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
COMPSAC
1997
IEEE
15 years 9 months ago
Task.o object modeling approach for robot workcell programming
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
ECSQARU
1997
Springer
15 years 9 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 8 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
ISSAC
1995
Springer
86views Mathematics» more  ISSAC 1995»
15 years 8 months ago
Programs for Applying Symmetries
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
Thomas Wolf