5084 search results - page 825 / 1017 » Proving Possibility Properties |
180
click to vote
DM
2007
15 years 6 months ago
2007
In this paper we deal with codes identifying sets of vertices in random networks; that is, (1, ≤ ℓ)-identifying codes. These codes enable us to detect sets of faulty processor...
196
click to vote
JUCS
2008
15 years 6 months ago
2008
: After more than ten years of research aiming at defining methods and techniques to deliver personalized instruction, Adaptive Educational Hypermedia Systems have not made the jum...
133
click to vote
JSAC
2006
15 years 6 months ago
2006
We propose an ultra-wideband (UWB) scheme that employs chirp waveforms. Signals satisfying the Federal Communications Commission (FCC) requirements for UWB applications are formed ...
176
click to vote
JSAC
2006
15 years 6 months ago
2006
Active probes of network performance represent samples of the underlying performance of a system. Some effort has gone into considering appropriate sampling patterns for such probe...
181
click to vote
FGCS
2007
15 years 6 months ago
2007
This paper describes a major restructuring of PROuST, a method for protein structure comparison, for an efficient porting to the Grid. PROuST consists of different components: an...