16616 search results - page 12 / 3324 » Extending Extended Vacuity |
CLUSTER
2010
IEEE
13 years 8 months ago
2010
IEEE
COMSIS
2010
13 years 8 months ago
2010
In Photometric stereo, the existence of specularities hampers to recover the normal map. To deal with this common reflective phenomenon, we introduce a novel representation for spe...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
FUIN
2010
13 years 8 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...