11022 search results - page 424 / 2205 » Programming Systems for Autonomy |
208
click to vote
ESWS
2009
Springer
16 years 2 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
343
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
201
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
174
click to vote
FSTTCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
242
click to vote
ITCC
2002
IEEE
16 years 14 days ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...