Sciweavers

3897 search results - page 576 / 780
» complexity 2010
Sort
View
SUTC
2010
IEEE
15 years 4 months ago
Transaction-Level Modeling for Sensor Networks Using SystemC
—As sensor networks are finding widespread use across many applications, designers increasingly must not only focus on application development, but also on sensor network optimiz...
Jeff Hiner, Ashish Shenoy, Roman L. Lysecky, Susan...
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 4 months ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
TALG
2010
73views more  TALG 2010»
15 years 4 months ago
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths
We present two new algorithms for finding optimal strategies for discounted, infinite-horizon, Deterministic Markov Decision Processes (DMDP). The first one is an adaptation of...
Omid Madani, Mikkel Thorup, Uri Zwick
TASLP
2010
99views more  TASLP 2010»
15 years 4 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker
TASLP
2010
102views more  TASLP 2010»
15 years 4 months ago
Representing Musical Sounds With an Interpolating State Model
—A computationally efficient algorithm is proposed for modeling and representing time-varying musical sounds. The aim is to encode individual sounds and not the statistical prop...
Anssi Klapuri, Tuomas Virtanen