4966 search results - page 58 / 994 » its 2010 |
179
click to vote
DM
2010
15 years 6 months ago
2010
We compute the generating function for triangulations on a cylinder, with the restriction that all vertices belong to its boundary and that the intersection of a pair of different ...
134
click to vote
ENTCS
2010
15 years 6 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
102
click to vote
IGARSS
2010
15 years 4 months ago
2010
In the last century the Guadalquivir River in Andalusia has been dramatically transformed affecting its ecological and hydrological functioning. In view of a new dredging plan to ...
187
click to vote
ENTCS
2010
15 years 3 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
160
click to vote
IJACT
2010
15 years 29 days ago
2010
A party may choose to reuse ephemeral public keys in a Diffie-Hellman key agreement protocol in order to reduce its computational workload or to mitigate against denial-of-service ...