Sciweavers

258 search results - page 19 / 52
» Weak Bisimulation Approximants
Sort
View
IJFCS
2006
106views more  IJFCS 2006»
14 years 11 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
MOC
1998
66views more  MOC 1998»
14 years 11 months ago
Nonconforming finite element approximation of crystalline microstructure
Abstract. We consider a class of nonconforming finite element approximations of a simply laminated microstructure which minimizes the nonconvex variational problem for the deforma...
Bo Li, Mitchell Luskin
CAD
2004
Springer
14 years 11 months ago
Linear one-sided stability of MAT for weakly injective 3D domain
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...
Sung Woo Choi, Hans-Peter Seidel
STOC
1994
ACM
128views Algorithms» more  STOC 1994»
15 years 3 months ago
Weakly learning DNF and characterizing statistical query learning using Fourier analysis
We present new results on the well-studied problem of learning DNF expressions. We prove that an algorithm due to Kushilevitz and Mansour [13] can be used to weakly learn DNF form...
Avrim Blum, Merrick L. Furst, Jeffrey C. Jackson, ...
FOCM
2007
76views more  FOCM 2007»
14 years 11 months ago
Risk Bounds for Random Regression Graphs
We consider the regression problem and describe an algorithm approximating the regression function by estimators piecewise constant on the elements of an adaptive partition. The pa...
Andrea Caponnetto, Steve Smale