Sciweavers

13306 search results - page 192 / 2662
» Theoretical Computer Science
Sort
View
STACS
2007
Springer
16 years 14 days ago
Randomly Rounding Rationals with Cardinality Constraints and Derandomizations
: If you can round {0, 1 2} vectors nicely, then all rational vectors.
Benjamin Doerr
139
Voted
ACMSE
2007
ACM
15 years 10 months ago
Higher-order functional programming and wildcards in java
Categories and Subject Descriptors General Terms Keywords
Nattawut Sridranop, Ryan Stansifer
TCS
1998
15 years 6 months ago
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
We prove that bisimulation equivalence is decidable for normed pushdown processes.
Colin Stirling
GG
2010
Springer
15 years 7 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
GI
2009
Springer
15 years 11 months ago
Engaging Passers-by with Interactive Screens - A Marketing Perspective
: This position paper approaches pervasive advertising from a marketing
Daniel Michelis, Hendrik Send