6608 search results - page 975 / 1322 » On the Completeness of Model Checking |
159
click to vote
FECS
2006
15 years 8 months ago
2006
- The complete history of problem solving in computer sciences is a history of continuous attempts to discover, study, mimic and implement ideas, models, metaphors, and sequences f...
151
Voted
EUSFLAT
2001
15 years 8 months ago
2001
Risk assessment in regions with low earthquake activity is important for reinsurance companies and governmental building authorities. They need a complete picture of the possible ...
176
Voted
GVD
2001
15 years 8 months ago
2001
A flexible method to store XML documents in relational or object-relational databases is presented that is based on an adaptable fragmentation. Whereas most known approaches decom...
191
click to vote
DICTA
2003
15 years 8 months ago
2003
In this paper, we present a new approach for hand-written character and digit recognitions based on shape descriptor and the Hausdorff Context. We start at finding the correspondi...
187
click to vote
SIROCCO
2001
15 years 8 months ago
2001
This paper considers the design of a survivable WDM network based on covering the initial network with sub-networks, which are protected independently from each other. We focus on...