Sciweavers

2312 search results - page 270 / 463
» On the Dimensionality of Face Space
Sort
View
RTSS
1995
IEEE
15 years 10 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
MCI
2001
15 years 7 months ago
In a Strange Land: modelling and understanding cyberspace
: This paper begins with a long-term view of the development of cyberspace. This includes a brief examination of the worldview of a 16th-century mapmaker and over 4000 years of dev...
Alan J. Dix
WSC
1997
15 years 7 months ago
Why We Don't Know How To Simulate the Internet
Simulating how the global Internet data network behaves is an immensely challenging undertaking because of the network’s great heterogeneity and rapid change. The heterogeneity ...
Vern Paxson, Sally Floyd
TOG
2008
106views more  TOG 2008»
15 years 6 months ago
Green Coordinates
We introduce Green Coordinates for closed polyhedral cages. The coordinates are motivated by Green's third integral identity and respect both the vertices position and faces ...
Yaron Lipman, David Levin, Daniel Cohen-Or
EJC
2000
15 years 6 months ago
Cyclic Polytopes and Oriented Matroids
Consider the moment curve in the real Euclidean space Rd defined parametrically by the map : R Rd , t (t) = (t, t2 , . . . , td ). The cyclic d-polytope Cd(t1, . . . , tn) is t...
Raul Cordovil, Pierre Duchet