478 search results - page 67 / 96 » Monads of Regular Theories |
FOSSACS
2000
Springer
15 years 2 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
NIPS
2007
15 years 11 days ago
2007
Semi-supervised methods use unlabeled data in addition to labeled data to construct predictors. While existing semi-supervised methods have shown some promising empirical performa...
CGF
2008
14 years 11 months ago
2008
We present a generic framework for compression of densely sampled 3D surfaces in order to satisfy the increasing demand for storing large amounts of 3D content. We decompose a giv...
JGO
2008
14 years 11 months ago
2008
Abstract. As shown by Thanh-Hao [11], the solution existence results established by Facchinei and Pang [5, Vol. I, Prop. 2.2.3 and Theorem 2.3.4] for variational inequalities in ge...
JMLR
2006
14 years 11 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...