Sciweavers

1135 search results - page 145 / 227
» Interactive Problem Solving via Algorithm Visualization
Sort
View
140
Voted
SAT
2009
Springer
91views Hardware» more  SAT 2009»
15 years 9 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
137
Voted
ICIP
2003
IEEE
16 years 4 months ago
Object-based video compression scheme with optimal bit allocation among shape, motion and texture
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
Haohong Wang, Guido M. Schuster, Aggelos K. Katsag...
144
Voted
TON
2012
13 years 5 months ago
Latency Equalization as a New Network Service Primitive
—Multiparty interactive network applications such as teleconferencing, network gaming, and online trading are gaining popularity. In addition to end-to-end latency bounds, these ...
Minlan Yu, Marina Thottan, Li (Erran) Li
ICPP
2005
IEEE
15 years 8 months ago
An ACO-Based Approach for Scheduling Task Graphs with Communication Costs
In this paper we introduce a new algorithm for computing near optimal schedules for task graph problems. In contrast to conventional approaches for solving those scheduling proble...
Markus Bank, Udo Hönig, Wolfram Schiffmann
101
Voted
HAPTICS
2005
IEEE
15 years 8 months ago
Spanning Large Workspaces Using Small Haptic Devices
Exploring large virtual environments using a small haptic device with limited-workspace capabilities is a challenging task because the user very quickly reaches the borders of the...
François Conti, Oussama Khatib