Sciweavers

2706 search results - page 331 / 542
» The case for a new business model
Sort
View
MOVEP
2000
136views Hardware» more  MOVEP 2000»
15 years 10 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
DGO
2008
131views Education» more  DGO 2008»
15 years 8 months ago
A domain-specific language for urban simulation variables
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
Alan Borning, Hana Sevcikova, Paul Waddell
ICIP
2005
IEEE
16 years 8 months ago
Unsupervised multiband image segmentation using hidden Markov quadtree and copulas
This paper deals with Hidden Markov Quadtree model for multiband image segmentation. This task, requiring multivariate probability density computations for the data likelihood ter...
Farid Flitti, Christophe Collet, Annabele Joannic-...
ANSS
2007
IEEE
16 years 29 days ago
Revisiting the Issue of Performance Enhancement of Discrete Event Simulation Software
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...
Alex Bahouth, Steven Crites, Norman Matloff, Todd ...
EPEW
2005
Springer
16 years 4 days ago
Zero-Automatic Queues
We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infini...
Thu-Ha Dao-Thi, Jean Mairesse