2356 search results - page 45 / 472 » Characterizations of postman sets |
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
100
click to vote
CLUSTER
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Several operations of Web-based applications are optimized with respect to the set of resources that will receive the majority of requests in the near future, namely the hot set. U...
AIMSA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...