1466 search results - page 154 / 294 » Complexity of Reasoning over Temporal Data Models |
147
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
139
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
196
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
159
Voted
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
115
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...