3653 search results - page 229 / 731 » Learning of Partial Languages |
102
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Much of the text of pen resources such as Wikipedia is written at a college level of readability, thus posing an access barrier to the general public. Reading levels are important ...
249
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
132
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
131
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
126
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...