Sciweavers

4604 search results - page 238 / 921
» Correlation-based Data Representation
Sort
View
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 8 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
AUSAI
2006
Springer
15 years 8 months ago
Learning Hybrid Bayesian Networks by MML
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...
Rodney T. O'Donnell, Lloyd Allison, Kevin B. Korb
VISUALIZATION
1995
IEEE
15 years 8 months ago
Visualization of Biological Sequence Similarity Search Results
Biological sequence similarity analysis presents visualization challenges, primarily because of the massive amounts of discrete, multi-dimensional data. Genomic data generated by ...
Ed Huai-hsin Chi, Phillip Barry, Elizabeth Shoop, ...
BMVC
2000
15 years 5 months ago
Quantifying Ambiguities in Inferring Vector-Based 3D Models
This paper presents a framework for directly addressing issues arising from self-occlusions and ambiguities due to the lack of depth information in vector-based representations. V...
Eng-Jon Ong, Shaogang Gong
JIIS
2006
100views more  JIIS 2006»
15 years 4 months ago
Spatial associative classification: propositional vs structural approach
Spatial associative classification takes advantage of employing association rules for spatial classification purposes. In this work, we investigate spatial associative classificati...
Michelangelo Ceci, Annalisa Appice