12052 search results - page 502 / 2411 » computing 2010 |
160
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
ned Monotonic Abstraction: a CEGAR for Parameterized Verification Parosh Aziz Abdulla1 , Yu-Fang Chen2 , Giorgio Delzanno3 , Fr
144
click to vote
SIAMDM
2010
15 years 5 months ago
2010
We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Scie...
169
click to vote
CONEXT
2010
ACM
15 years 5 months ago
2010
ACM
We introduce a protocol which routes on flat, locationindependent identifiers with guaranteed scalability and low stretch. Our design builds on theoretical advances in the area of...
167
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Great Plains Environment for Network Innovation
164
click to vote
COLING
2010
15 years 1 months ago
2010
We go beyond simple propositional meaning extraction and present experiments in determining which propositions in text the author believes. We show that deep syntactic parsing hel...