Sciweavers

1064 search results - page 184 / 213
» Exact Algorithms for the Quadratic Linear Ordering Problem
Sort
View
SIGSOFT
2007
ACM
16 years 4 months ago
Programming asynchronous layers with CLARITY
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
Prakash Chandrasekaran, Christopher L. Conway, Jos...
SIGMOD
2007
ACM
186views Database» more  SIGMOD 2007»
16 years 4 months ago
Fg-index: towards verification-free query processing on graph databases
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
James Cheng, Yiping Ke, Wilfred Ng, An Lu
EDUTAINMENT
2007
Springer
15 years 10 months ago
Data Transmission for Haptic Collaboration in Virtual Environments
In this paper, we mainly present the analysis on the haptic data transmission over real network conditions in a networked haptic collaboration environment. Since haptic data are pr...
Yonghee You, Mee Young Sung, Kyungkoo Jun
RECOMB
2005
Springer
16 years 4 months ago
Improved Recombination Lower Bounds for Haplotype Data
Recombination is an important evolutionary mechanism responsible for the genetic diversity in humans and other organisms. Recently, there has been extensive research on understandi...
Vineet Bafna, Vikas Bansal
ATAL
2010
Springer
15 years 5 months ago
Optimal temporal decoupling in multiagent systems
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
Léon Planken, Mathijs de Weerdt, Cees Witte...