Sciweavers

1285 search results - page 148 / 257
» An analysis of XQuery benchmarks
Sort
View
ENTCS
2002
72views more  ENTCS 2002»
14 years 9 months ago
A Symbolic Out-of-Core Solution Method for Markov Models
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norma...
IJON
2007
94views more  IJON 2007»
14 years 9 months ago
A method for speeding up feature extraction based on KPCA
Kernel principal component analysis (KPCA) extracts features of samples with an efficiency in inverse proportion to the size of the training sample set. In this paper, we develop...
Yong Xu, David Zhang, Fengxi Song, Jing-Yu Yang, Z...
IJCSA
2007
104views more  IJCSA 2007»
14 years 9 months ago
Solving the Satisfiability Problem Using Finite Learning Automata
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...
Ole-Christoffer Granmo, Noureddine Bouhmala
ML
2002
ACM
128views Machine Learning» more  ML 2002»
14 years 9 months ago
A Simple Method for Generating Additive Clustering Models with Limited Complexity
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...
Michael D. Lee
PR
2007
147views more  PR 2007»
14 years 9 months ago
Coarse to over-fine optical flow estimation
We present a readily applicable way to go beyond the accuracy limits of current optical flow estimators. Modern optical flow algorithms employ the coarse to fine approach. We s...
Tomer Amiaz, Eyal Lubetzky, Nahum Kiryati