3001 search results - page 453 / 601 » Recursive type generativity |
171
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
A visual navigation system is described which uses texture mapped primitives to represent clusters of objects to maintain high and approximately constant frame rates. In cases whe...
179
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
195
click to vote
DEBS
2010
ACM
15 years 9 months ago
2010
ACM
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
156
click to vote
GREC
2009
Springer
15 years 9 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
137
click to vote
CAE
2007
15 years 8 months ago
2007
This paper proposes two simple and powerful algorithms to automatically paint Celtic knots with aesthetic colors. The shape of the knot is generated from its dual graph as present...