6308 search results - page 187 / 1262 » Modeling Urgency in Timed Systems |
138
click to vote
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
155
click to vote
IJIG
2002
15 years 4 months ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
145
Voted
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
145
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
143
click to vote
WSC
2008
15 years 6 months ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...