Sciweavers

4248 search results - page 803 / 850
» Simulating hci for all
Sort
View
CORR
2008
Springer
121views Education» more  CORR 2008»
15 years 23 days ago
Rate-Distortion via Markov Chain Monte Carlo
We propose an approach to lossy source coding, utilizing ideas from Gibbs sampling, simulated annealing, and Markov Chain Monte Carlo (MCMC). The idea is to sample a reconstructio...
Shirin Jalali, Tsachy Weissman
117
Voted
DC
2010
15 years 23 days ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ALMOB
2006
106views more  ALMOB 2006»
15 years 23 days ago
Multiple sequence alignment with user-defined anchor points
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
Burkhard Morgenstern, Sonja J. Prohaska, Dirk P&ou...
113
Voted
ENGL
2008
95views more  ENGL 2008»
15 years 23 days ago
Formation of Sink Vortices in a Jet Engine Test Cell
Vortices can be produced and ingested into the intake of a jet engine during high power operation in the vicinity of solid surfaces causing Foreign Object Damage (FOD) or compresso...
Wei Hua Ho, Mark Jermy, Henry Dumbleton
114
Voted
ENTCS
2008
142views more  ENTCS 2008»
15 years 23 days ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe