1302 search results - page 206 / 261 » On the Strong Chromatic Number |
176
click to vote
SPAA
2006
ACM
16 years 8 days ago
2006
ACM
We initiate the study of semi-oblivious routing, a relaxation of oblivious routing which is first introduced by R¨acke and led to many subsequent improvements and applications. ...
183
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
142
click to vote
ICCS
2004
Springer
15 years 11 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-...
178
click to vote
IDEAS
2003
IEEE
15 years 11 months ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...
191
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...