1686 search results - page 288 / 338 » Higher Order Deforestation |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
VRML
1998
ACM
15 years 2 months ago
1998
ACM
We present a new method for (1) automatically generating multiple Levels Of Detail (LODs) of a polygonal surface, (2) progressively loading, or transmitting, and displaying a surf...
TCOM
2008
14 years 9 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
TPHOL
1997
IEEE
15 years 1 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
169
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...