4255 search results - page 348 / 851 » Database: Models, Languages, Design |
188
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
226
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
183
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...
210
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
184
click to vote
VLDB
2004
ACM
16 years 13 days ago
2004
ACM
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...