1557 search results - page 148 / 312 » Programming up to Congruence |
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
HPCC
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
KI
2007
Springer
15 years 5 months ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...
XPU
2007
Springer
15 years 5 months ago
2007
Springer
Most programmers are familiar with the notion that adding new resources to a project will most likely slow down progress if not bring it to a complete stop while new team members a...