Sciweavers

5350 search results - page 336 / 1070
» Space and time in eco-ontologies
Sort
View
ACRI
2004
Springer
16 years 6 days ago
Replication of Spatio-temporal Land Use Patterns at Three Levels of Aggregation by an Urban Cellular Automata
The SLEUTH urban growth model [1] is a cellular automata model that has been widely applied throughout the geographic literature to examine the historic settlement patterns of citi...
Charles Dietzel, Keith C. Clarke
MEMOCODE
2003
IEEE
16 years 2 days ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
ANSS
2000
IEEE
15 years 11 months ago
Specifying Truck Movement in Traffic Models Using Cell-DEVS
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
Alejandra Davidson, Gabriel A. Wainer
COMPGEOM
1996
ACM
15 years 11 months ago
Smallest Enclosing Cylinders
This paper addresses the complexity of computing the smallest-radius infinite cylinder that encloses an input set of n points in 3-space. We show that the problem can be solved in...
Elmar Schömer, Jürgen Sellen, Marek Teic...
FOCS
1990
IEEE
15 years 11 months ago
IP=PSPACE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
Adi Shamir