6740 search results - page 1244 / 1348 » An s -Hamiltonian Line Graph Problem |
136
Voted
AP2PC
2004
Springer
15 years 9 months ago
2004
Springer
Performing efficient decentralized search is a fundamental problem in Peer-to-Peer (P2P) systems. There has been a significant amount of research recently on developing robust sel...
113
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
120
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
124
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
137
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...