1521 search results - page 302 / 305 » On Sampled Semantics of Timed Systems |
EGC
2005
Springer
14 years 27 days ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, ļ¬rst step toward a Grid solution for generic process control. A computational Grid can signiļ...
OTM
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
LCPC
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
HICSS
2002
IEEE
14 years 10 days ago
2002
IEEE
Abstractā Recent advances in graph-based search techniques derived from Kleinbergās work [1] have been impressive. This paper further improves the graph-based search algorithm ...
KR
2010
Springer
14 years 5 days ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneļ¬cial trade-off between expressive power and computational complexity and, more spec...