774 search results - page 99 / 155 » Markov incremental constructions |
INFOVIS
2000
IEEE
14 years 1 months ago
2000
IEEE
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
DEXAW
2004
IEEE
14 years 25 days ago
2004
IEEE
This paper presents an extensible architecture that can be used to support the integration of biological data sets. Biological research frequently requires this kind of synthesis....
VLDB
1991
ACM
14 years 18 days ago
1991
ACM
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
ENTCS
2002
13 years 9 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...