Sciweavers

3404 search results - page 122 / 681
» C Programming Tutorial
Sort
View
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 2 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
DAC
1998
ACM
15 years 10 months ago
Software Synthesis of Process-Based Concurrent Programs
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
Bill Lin
AAAI
2004
14 years 11 months ago
Logic Programs with Abstract Constraint Atoms
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
Victor W. Marek, Miroslaw Truszczynski
ESOP
2007
Springer
15 years 4 months ago
Dependent Types for Low-Level Programming
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
Jeremy Condit, Matthew Harren, Zachary R. Anderson...
SIAMJO
2002
96views more  SIAMJO 2002»
14 years 9 months ago
Lagrangian Dual Interior-Point Methods for Semidefinite Programs
This paper proposes a new predictor-corrector interior-point method for a class of semidefinite programs, which numerically traces the central trajectory in a space of Lagrange mul...
Mituhiro Fukuda, Masakazu Kojima, Masayuki Shida