1128 search results - page 199 / 226 » Classical Natural Deduction |
128
click to vote
EMISA
2009
Springer
15 years 11 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
132
click to vote
FCT
2009
Springer
15 years 11 months ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
153
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
144
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
131
click to vote
SIGECOM
2009
ACM
15 years 11 months ago
2009
ACM
We analyze the problem of designing a truthful pay-per-click auction where the click-through-rates (CTR) of the bidders are unknown to the auction. Such an auction faces the class...