370 search results - page 51 / 74 » An efficient implementation of a new DOP model |
121
click to vote
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
Surface representation is needed for almost all modeling and visualization applications, but unfortunately, 3D data from a passive vision system are often insufficient for a tradi...
ICTAI
1997
IEEE
15 years 3 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
100
click to vote
IPCO
2008
15 years 1 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
130
click to vote
PE
2000
Springer
14 years 11 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
WSC
2004
15 years 1 months ago
2004
Air traffic flow management (TFM) is a set of processes and procedures which seek to balance the demand for airspace resources with the capacity of these resources. Examples of re...