3718 search results - page 217 / 744 » Programming by Integration in Robotics |
150
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
172
click to vote
IPCO
2007
15 years 8 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
155
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
166
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
180
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...