6020 search results - page 164 / 1204 » A New Approach to Model Counting |
141
click to vote
IPCO
2008
15 years 5 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...
131
click to vote
ECIS
2004
15 years 5 months ago
2004
Companies invest large amounts of money in new technologies. Not surprisingly, much of the research carried out in relation to IT-investments has focused on the adoption of new te...
114
click to vote
ROBOCUP
2004
Springer
15 years 9 months ago
2004
Springer
The RoboCupRescue Simulation project aims at simulating large-scale disasters in order to explore coordination strategies helpful for real-life rescue missions. This can only be ac...
179
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a new model is proposed for image segmentation that integrates the curve evolution and anisotropic diffusion methods. The curve evolution method, utilizing both grad...
162
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...