4126 search results - page 501 / 826 » Relationships with other Formalisms |
167
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We deļ¬ne the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
192
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-diļ...
189
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
161
click to vote
INFOSCALE
2009
ACM
16 years 1 months ago
2009
ACM
Address Fragmentation plays a key role in the exponential growth of DFZ routing table, known as the scalability problem of current Internet. In this paper, we measure the severity ...
211
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
The existence of on-line social networks that include person speciļ¬c information creates interesting opportunities for various applications ranging from marketing to community o...