Sciweavers

1445 search results - page 151 / 289
» Properties of state spaces and their applications
Sort
View
207
Voted
USENIX
2001
15 years 8 months ago
User-Level Checkpointing for LinuxThreads Programs
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
William R. Dieter, James E. Lumpp Jr.
205
Voted
JUCS
2008
180views more  JUCS 2008»
15 years 7 months ago
The APS Framework For Incremental Learning of Software Agents
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
Damian Dudek
ENTCS
2007
85views more  ENTCS 2007»
15 years 7 months ago
Proving Approximate Implementations for Probabilistic I/O Automata
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
Sayan Mitra, Nancy A. Lynch
229
Voted
HCI
2009
15 years 4 months ago
Acquiring a Physical World and Serving Its Mirror World Simultaneously
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...
Sengpyo Hong, Jong-gil Ahn, Heedong Ko, Jinwook Ki...
159
Voted
W2GIS
2005
Springer
16 years 18 days ago
The Self-relocating Index Scheme for Telematics GIS
The history management of vehicles is important in telematics applications. To process queries for history data, trajectories, we generally use trajectory-preserving index schemes ...
Duksung Lim, Bonghee Hong, Daesoo Cho