2231 search results - page 373 / 447 » Alternation as a programming paradigm |
135
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
One of the several initiatives to bridge the digital divide in developing countries has been the deployment of information kiosks or knowledge centers in villages in rural parts o...
128
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The Web Ontology Language (OWL) defines three classes of documents: Lite, DL and Full. All RDF/XML documents are OWL Full documents, some OWL Full documents are also OWL DL docume...
204
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
265
Voted
CP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
166
click to vote
EWSN
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...