2407 search results - page 373 / 482 » A Tool for Abstraction in Model Checking |
157
click to vote
WIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...
164
Voted
DBPL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
178
click to vote
SEBD
1997
15 years 7 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
146
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
163
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...