Sciweavers

1449 search results - page 99 / 290
» Finiteness results for sigmoidal
Sort
View
SMA
2003
ACM
154views Solid Modeling» more  SMA 2003»
15 years 11 months ago
Discretization of functionally based heterogeneous objects
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
Elena Kartasheva, Valery Adzhiev, Alexander A. Pas...
JACM
2002
142views more  JACM 2002»
15 years 6 months ago
Timed regular expressions
In this paper we define timed regular expressions, a formalism for specifying discrete behaviors augmented with timing information, and prove that its expressive power is equivale...
Eugene Asarin, Paul Caspi, Oded Maler
ALT
2003
Springer
15 years 10 months ago
Can Learning in the Limit Be Done Efficiently?
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
Thomas Zeugmann
LICS
2010
IEEE
15 years 4 months ago
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
Manuel Bodirsky, Martin Hils, Barnaby Martin
STOC
2007
ACM
123views Algorithms» more  STOC 2007»
16 years 6 months ago
A 3-query PCP over integers
A classic result due to H?astad established that for every constant > 0, given an overdetermined system of linear equations over a finite field Fq where each equation depends o...
Venkatesan Guruswami, Prasad Raghavendra