1389 search results - page 166 / 278 » Definability as hypercomputational effect |
LOPSTR
2009
Springer
14 years 4 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
APSCC
2008
IEEE
14 years 4 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
CVPR
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a novel and effective algorithm for rotation symmetry group detection from real-world images. We propose a frieze-expansion method that transforms rotation symmetry gro...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...