3653 search results - page 44 / 731 » Learning of Partial Languages |
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
MST
2008
13 years 8 months ago
2008
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rel...
ALT
2001
Springer
14 years 1 months ago
2001
Springer
COLT
1998
Springer
14 years 28 days ago
1998
Springer
A new algorithm for learning one-variable pattern languages is proposed and analyzed with respect to its average-case behavior. We consider the total learning time that takes into...