Sciweavers

60 search results - page 7 / 12
» er 2010
Sort
View
SIGGRAPH
2010
ACM
13 years 12 months ago
Precomputed wave simulation for real-time sound propagation of dynamic sources in complex scenes
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
Nikunj Raghuvanshi, John Snyder, Ravish Mehra, Min...
ENTCS
2000
80views more  ENTCS 2000»
13 years 7 months ago
Behavioral and Coinductive Rewriting
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
Joseph A. Goguen, Kai Lin, Grigore Rosu
EOR
2002
99views more  EOR 2002»
13 years 7 months ago
Network cost minimization using threshold-based discounting
We present a genetic algorithm for heuristically solving a cost minimization problem applied to communication networks with threshold based discounting. The network model assumes t...
Hrvoje Podnar, Jadranka Skorin-Kapov, Darko Skorin...
ENTCS
2010
72views more  ENTCS 2010»
13 years 4 months ago
View-Augmented Abstractions
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
Matt Elder, Denis Gopan, Thomas W. Reps
JUCS
2010
93views more  JUCS 2010»
13 years 2 months ago
Refinement and Extension of SMDM, a Method for Defining Valid Measures
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
Luis Reynoso, Marcela Genero, Mario Piattini