77016 search results - page 14815 / 15404 » Modeling Modeling |
218
click to vote
CINQ
2004
Springer
16 years 18 days ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
209
click to vote
CONCUR
2004
Springer
16 years 18 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
194
click to vote
CP
2004
Springer
16 years 18 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
203
click to vote
DNA
2004
Springer
16 years 18 days ago
2004
Springer
DNA self-assembly is emerging as a key paradigm for nano-technology, nano-computation, and several related disciplines. In nature, DNA self-assembly is often equipped with explicit...
179
click to vote
DRM
2004
Springer
16 years 18 days ago
2004
Springer
The current landscape for digital rights management (DRM) consists of various ad hoc technologies and platforms that largely focus on copy protection. The fragmented nature of the...