Sciweavers

3359 search results - page 366 / 672
» A Simplified Idea Algorithm
Sort
View
ITCC
2005
IEEE
15 years 8 months ago
Byteprints: A Tool to Gather Digital Evidence
In this paper, we present techniques to recover useful information from disk drives that are used to store user data. The main idea is to use a logging mechanism to record the mod...
Sriranjani Sitaraman, Srinivasan Krishnamurthy, Su...
PPOPP
2005
ACM
15 years 8 months ago
Revocable locks for non-blocking programming
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
Tim Harris, Keir Fraser
ATAL
2005
Springer
15 years 8 months ago
Personalisation for user agents
This paper is concerned with personalisation of user agents by symbolic, on-line machine learning techniques. The application of these ideas to an infotainment agent is discussed ...
Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee S...
131
Voted
ATAL
2005
Springer
15 years 8 months ago
Multiagent planning through plan repair
We present a novel approach to multiagent planning for self-interested agents. The main idea behind our approach is that multiagent planning systems should be built upon (single-a...
Roman van der Krogt, Nico Roos, Mathijs de Weerdt,...
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 8 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone