3718 search results - page 403 / 744 » Programming by Integration in Robotics |
296
click to vote
Source Code
This is an infrastructure code that integrates C++/Vt/Qt/Newmat into a cross-platform program that can run on any plateform Unix/Linux/Windows. For demo purposes, it loads any segm...
279
Voted
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
176
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
187
Voted
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
170
Voted
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...