211 search results - page 9 / 43 » Ground Reducibility is EXPTIME-Complete |
AGP
1998
IEEE
13 years 11 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
ECSCW
2001
13 years 9 months ago
2001
This paper seeks to inform the ongoing redesign of air traffic management by examining current practices and the adoption of a new system aiming to relieve traffic control from wor...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
—On-chip power distribution grids with multiple supply voltages are discussed in this paper. Two types of interdigitated and paired power distribution grids with multiple supply ...
ICCV
2009
IEEE
15 years 1 hour ago
2009
IEEE
We present a new algorithm for a robust family of Earth Mover’s Distances - EMDs with thresholded ground distances. The algorithm transforms the flow-network of the EMD so that t...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Accessing online information from various data sources has become a necessary part of our everyday life. Unfortunately such information is not always trustworthy, as different sou...