Sciweavers

1809 search results - page 197 / 362
» Weakly Computable Real Numbers
Sort
View
VC
2010
135views more  VC 2010»
13 years 8 months ago
Real-time single scattering inside inhomogeneous materials
In this paper we propose a novel technique to perform real-time rendering of translucent inhomogeneous materials, one of the most well known problems of Computer Graphics. The deve...
D. Bernabei, Fabio Ganovelli, Nico Pietroni, Paolo...
ANTSW
2010
Springer
13 years 8 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
DASFAA
2009
IEEE
136views Database» more  DASFAA 2009»
14 years 5 months ago
A Two-Tire Index Structure for Approximate String Matching with Block Moves
Many applications need to solve the problem of approximate string matching with block moves. It is an NP-Complete problem to compute block edit distance between two strings. Our go...
Bin Wang, Long Xie, Guoren Wang
CORR
2011
Springer
157views Education» more  CORR 2011»
13 years 5 months ago
Fast and Faster: A Comparison of Two Streamed Matrix Decomposition Algorithms
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
Radim Rehurek
UIST
2009
ACM
14 years 4 months ago
Activity analysis enabling real-time video communication on mobile phones for deaf users
We describe our system called MobileASL for real-time video communication on the current U.S. mobile phone network. The goal of MobileASL is to enable Deaf people to communicate w...
Neva Cherniavsky, Jaehong Chon, Jacob O. Wobbrock,...