7861 search results - page 421 / 1573 » Orthographic Modeling Environment |
168
click to vote
COMPOS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
175
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
We present a semi-parametric model that describes pricing behaviors in a market environment, and we show how that model can be used to guide resource allocation and pricing decisi...
180
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
186
click to vote
PRIS
2001
15 years 8 months ago
2001
This paper addresses the problem of tracking objects with complex motion dynamics or shape changes. It is assumed that some of the visual features detected in the image (e.g., edg...
161
click to vote
WSC
1997
15 years 8 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...