7821 search results - page 290 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
182
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
185
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...
213
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Peer-to-Peer (P2P) data integration combines the P2P infrastructure with traditional scheme-based data integration techniques. Some of the primary problems in this research area ar...
184
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
Detecting outliers which are grossly different from or inconsistent with the remaining dataset is a major challenge in real-world KDD applications. Existing outlier detection met...
155
click to vote
3DGIS
2006
Springer
16 years 20 days ago
2006
Springer
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...