7055 search results - page 249 / 1411 » Some New 4-Designs |
169
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
142
click to vote
MVA
1990
15 years 7 months ago
1990
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...
158
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
The incoming of high-definition new visual experience at home has boosted new display technologies such as liquid crystal displays (LCD), plasma and projectors. These technologies...
261
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Decreasing disk costs have made it practical to retain longlived snapshots, enabling new applications that analyze past states and infer about future states. Current approaches of...
183
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Diffusion tensor MRI (DT-MRI) is an image modality that is gaining clinical importance. After some preliminaries that describe the fundamentals of this imaging modality, we present...