1521 search results - page 302 / 305 » On Sampled Semantics of Timed Systems |
EGC
2005
Springer
15 years 3 months 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
15 years 3 months 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
15 years 3 months 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...
101
click to vote
HICSS
2002
IEEE
15 years 2 months 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 ...
101
Voted
KR
2010
Springer
15 years 2 months 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...