Sciweavers

7049 search results - page 408 / 1410
» Data Abstraction for CSP-OZ
Sort
View
ICTAC
2005
Springer
16 years 11 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
IEAAIE
2005
Springer
16 years 11 days ago
Inferring Definite-Clause Grammars to Express Multivariate Time Series
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
Gabriela Guimarães, Luís Moniz Perei...
ISMIS
2005
Springer
16 years 11 days ago
Using Supervised Clustering to Enhance Classifiers
Abstract. This paper centers on a novel data mining technique we term supervised clustering. Unlike traditional clustering, supervised clustering is applied to classified examples ...
Christoph F. Eick, Nidal M. Zeidat
IWANN
2005
Springer
16 years 11 days ago
Bias and Variance of Rotation-Based Ensembles
Abstract. In Machine Learning, ensembles are combination of classifiers. Their objective is to improve the accuracy. In previous works, we have presented a method for the generati...
Juan José Rodríguez, Carlos J. Alons...
PCM
2005
Springer
120views Multimedia» more  PCM 2005»
16 years 11 days ago
A Framework for Multi-view Video Coding Using Layered Depth Images
Abstract. The multi-view video is a collection of multiple videos capturing the same scene at different viewpoints. Since the data size of the multi-view video linearly increases ...
Seung-Uk Yoon, Eun-Kyung Lee, Sung-Yeol Kim, Yo-Su...