Sciweavers

2049 search results - page 61 / 410
» Normalization and Partial Evaluation
Sort
View
PTS
2008
80views Hardware» more  PTS 2008»
13 years 10 months ago
Generating Checking Sequences for Partial Reduced Finite State Machines
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
Adenilso da Silva Simão, Alexandre Petrenko
IJDAR
2008
121views more  IJDAR 2008»
13 years 8 months ago
Partial discriminative training for classification of overlapping classes in document analysis
For character recognition in document analysis, some classes are closely overlapped but are not necessarily to be separated before contextual information is exploited. For classifi...
Cheng-Lin Liu
PRICAI
2010
Springer
13 years 7 months ago
Partial Weighted MaxSAT for Optimal Planning
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
PE
2011
Springer
266views Optimization» more  PE 2011»
13 years 3 months ago
Lumping partially symmetrical stochastic models
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
Souheib Baarir, Marco Beccuti, Claude Dutheillet, ...
DOLAP
2003
ACM
14 years 2 months ago
Attribute value reordering for efficient hybrid OLAP
The normalization of a data cube is the process of choosing an ordering for the attribute values, and the chosen ordering will affect the physical storage of the cube’s data. For...
Owen Kaser, Daniel Lemire