2989 search results - page 213 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
106
click to vote
JNW
2006
15 years 2 months ago
2006
In ad hoc wireless LANs populated by mutually impenetrable groups of anonymous stations, honest stations are prone to "bandwidth stealing" by selfish stations. The proble...
127
Voted
TCS
2008
15 years 2 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
138
click to vote
KSEM
2010
Springer
15 years 28 days ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
147
click to vote
FAST
2009
15 years 9 days ago
2009
The notion of RDF Named Graphs has been proposed in order to assign provenance information to data described using RDF triples. In this paper, we argue that named graphs alone can...
148
click to vote
IDA
2009
Springer
15 years 7 days ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...