13306 search results - page 192 / 2662 » Theoretical Computer Science |
138
click to vote
STACS
2007
Springer
16 years 14 days ago
2007
Springer
: If you can round {0, 1 2} vectors nicely, then all rational vectors.
139
Voted
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Categories and Subject Descriptors General Terms Keywords
151
click to vote
TCS
1998
15 years 6 months ago
1998
We prove that bisimulation equivalence is decidable for normed pushdown processes.
150
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
144
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This position paper approaches pervasive advertising from a marketing