Sciweavers

8009 search results - page 22 / 1602
» cans 2005
Sort
View
70
Voted
APAL
2005
88views more  APAL 2005»
14 years 10 months ago
Completing pseudojump operators
We investigate operators which take a set X to a set relatively computably enumerable in and above X by studying which such sets X can be so mapped into the Turing degree of K. We...
Richard Coles, Rodney G. Downey, Carl G. Jockusch ...
ATAL
2005
Springer
15 years 3 months ago
Verifying Norm Compliancy of Protocols
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
Huib Aldewereld, Javier Vázquez-Salceda, Fr...
SPAA
2005
ACM
15 years 3 months ago
Peer-to-peer networks based on random transformations of connected regular undirected graphs
We present k-Flipper, a graph transformation algorithm that transforms regular undirected graphs. Given a path of k +2 edges it interchanges the end vertices of the path. By defin...
Peter Mahlmann, Christian Schindelhauer
89
Voted
HOLOMAS
2005
Springer
15 years 3 months ago
Simulation of Underwater Surveillance by a Team of Autonomous Robots
Within this paper we describe a simulation environment for the underwater surveillance and propose architecture of control part of autonomous robot capable of efficient operation i...
Milan Rollo, Petr Novák, Pavel Jisl
66
Voted
SPIRE
2005
Springer
15 years 3 months ago
Counting Lumps in Word Space: Density as a Measure of Corpus Homogeneity
This paper introduces a measure of corpus homogeneity that indicates the amount of topical dispersion in a corpus. The measure is based on the density of neighborhoods in semantic ...
Magnus Sahlgren, Jussi Karlgren