640 search results - page 114 / 128 » Discovering State Invariants |
LACL
2001
Springer
15 years 1 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
65
Voted
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In content-driven reputation systems for collaborative content, users gain or lose reputation according to how their contributions fare: authors of long-lived contributions gain r...
IJCV
2007
14 years 9 months ago
2007
Orthogonal and biorthogonal wavelets became very popular image processing tools but exhibit major drawbacks, namely a poor resolution in orientation and the lack of translation inv...
JAT
2007
14 years 9 months ago
2007
An irregular wavelet frame has the form W(ψ, Λ) = {a−1/2 ψ(x a − b)}(a,b)∈Λ, where ψ ∈ L2 (R) and Λ is an arbitrary sequence of points in the affine group A = R+ × ...
120
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...