Sciweavers

511 search results - page 90 / 103
» Arguing and Explaining Classifications
Sort
View
IJRR
2000
137views more  IJRR 2000»
13 years 8 months ago
Technology and Field Demonstration of Robotic Search for Antarctic Meteorites
: Meteorites are the only significant source of material from other planets and asteroids, and therefore are of immense scientific value. Antarctica's frozen and pristine envi...
Dimitrios Apostolopoulos, Michael D. Wagner, Benja...
INFOCOM
2007
IEEE
14 years 2 months ago
Can Retransmissions of Superexponential Documents Cause Subexponential Delays?
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
Predrag R. Jelenkovic, Jian Tan
CCS
2007
ACM
14 years 2 months ago
A simple and expressive semantic framework for policy composition in access control
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
Glenn Bruns, Daniel S. Dantas, Michael Huth
CSR
2007
Springer
14 years 2 months ago
Proving Church's Thesis
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...
Yuri Gurevich
DNIS
2005
Springer
112views Database» more  DNIS 2005»
14 years 2 months ago
Modelling Peer-to-Peer Data Networks Under Complex System Theory
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
Cyrus Shahabi, Farnoush Banaei Kashani