3865 search results - page 99 / 773 » From Bidirectionality to Alternation |
121
click to vote
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
123
click to vote
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Present-day object-oriented middleware provides little support for the distribution, replication and caching of the state of a distributed object. This makes these platforms unsui...
137
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
135
click to vote
IPPS
1994
IEEE
15 years 8 months ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
107
click to vote
FLAIRS
2010
15 years 6 months ago
2010
Most researchers agree that there is a continuum between well-definedness and ill-definedness. However, positioning a specific problem within this continuum is not always easy. To...