934 search results - page 181 / 187 » exact 2007 |
ICFCA
2007
Springer
15 years 3 months ago
2007
Springer
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
101
click to vote
NETCOOP
2007
Springer
15 years 3 months ago
2007
Springer
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in unde...
NLDB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
SSS
2007
Springer
15 years 3 months ago
2007
Springer
We investigate deterministic broadcasting on multiple-access channels in the framework of adversarial queuing. A protocol is stable when the number of packets stays bounded, and it...
106
click to vote
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...