993 search results - page 27 / 199 » Set Constraints on Regular Terms |
ICALP
2000
Springer
14 years 13 days ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
TGIS
2002
13 years 8 months ago
2002
Regularized Spline with Tension (RST) is an accurate, flexible and efficient method for multivariate interpolation of scattered data. This study evaluates its capabilities to inte...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
Although semi-supervised learning has been an active area of research, its use in deployed applications is still relatively rare because the methods are often difficult to impleme...
TSMC
2008
13 years 8 months ago
2008
Robust regression techniques are critical to fitting data with noise in real-world applications. Most previous work of robust kernel regression is usually formulated into a dual fo...
STOC
2010
ACM
14 years 6 months ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...