Sciweavers

33356 search results - page 118 / 6672
» Models of Continual Computation
Sort
View
ICDAR
2011
IEEE
14 years 4 months ago
Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper
—We introduce quantization feature functions to represent continuous or large range discrete data into the symbolic CRF data representation. We show that doing this convertion in...
David Hebert, Thierry Paquet, Stéphane Nico...
ICML
2009
IEEE
16 years 5 months ago
GAODE and HAODE: two proposals based on AODE to deal with continuous variables
AODE (Aggregating One-Dependence Estimators) is considered one of the most interesting representatives of the Bayesian classifiers, taking into account not only the low error rate...
Ana M. Martínez, José A. Gáme...
CCA
2009
Springer
15 years 11 months ago
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
Hannes Diener, Peter Schuster
BIRTHDAY
2008
Springer
15 years 6 months ago
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
Oded Maler, Dejan Nickovic, Amir Pnueli
COMPUTING
2006
127views more  COMPUTING 2006»
15 years 4 months ago
PHoMpara - Parallel Implementation of the Polyhedral Homotopy Continuation Method for Polynomial Systems
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...
T. Gunji, S. Kim, K. Fujisawa, M. Kojima