Sciweavers

24421 search results - page 4499 / 4885
» Communicating Complex Systems
Sort
View
SSIRI
2010
15 years 3 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
98
Voted
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 3 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
TASLP
2010
99views more  TASLP 2010»
15 years 3 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
152
Voted
TCOM
2010
115views more  TCOM 2010»
15 years 3 months ago
QoS Analysis of a Scheduling Policy for Heterogeneous Users Employing AMC Jointly with ARQ
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...
Mario Poggioni, Luca Rugini, Paolo Banelli
126
Voted
TIP
2010
108views more  TIP 2010»
15 years 3 months ago
A Perceptually Relevant Approach to Ringing Region Detection
—An efficient approach toward a no-reference ringing metric intrinsically exists of two steps: first detecting regions in an image where ringing might occur, and second quantif...
Hantao Liu, Nick Klomp, Ingrid Heynderickx
« Prev « First page 4499 / 4885 Last » Next »