Sciweavers

6607 search results - page 699 / 1322
» Making TeX Work
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 7 months ago
Quasi-randomness of graph balanced cut properties
Quasi-random graphs can be informally described as graphs whose edge distribution closely resembles that of a truly random graph of the same edge density. Recently, Shapira and Yu...
Hao Huang, Choongbum Lee
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 7 months ago
RubberEdge: Reducing Clutching by Combining Position and Rate Control with Elastic Feedback
Position control devices enable precise selection, but significant clutching degrades performance. Clutching can be reduced with high control-display gain or pointer acceleration,...
Géry Casiez, Daniel Vogel, Qing Pan, Christ...
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 7 months ago
High-SIR Transmission Capacity of Wireless Networks with General Fading and Node Distribution
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...
Radha Krishna Ganti, Jeffrey G. Andrews, Martin Ha...
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 7 months ago
Random Topologies and the emergence of cooperation: the role of short-cuts
We present a detailed study about the role of the short-cuts of a network in promoting the emergence of cooperation in a population of agents playing the Prisoner's Dilemma Ga...
Daniele Vilone, Angel Sánchez, Jesús...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 7 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...