Sciweavers

21324 search results - page 259 / 4265
» Making the case for computing
Sort
View
EWCBR
2006
Springer
15 years 7 months ago
Contextualised Ambient Intelligence Through Case-Based Reasoning
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
Anders Kofod-Petersen, Agnar Aamodt
PARCO
2007
15 years 5 months ago
Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...
Jost Berthold, Rita Loogen
ITA
2008
147views Communications» more  ITA 2008»
15 years 4 months ago
A morphic approach to combinatorial games: the Tribonacci case
We propose a variation of Wythoff's game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word...
Éric Duchêne, Michel Rigo
118
Voted
RSA
2006
91views more  RSA 2006»
15 years 4 months ago
Average case analysis of the Boyer-Moore algorithm
Limit theorems (including a Berry-Esseen bound) are derived for the number of comparisons taken by the Boyer-Moore algorithm for finding the occurrences of a given pattern in a ra...
Tsung-Hsi Tsai
129
Voted
DC
2000
15 years 3 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch