Sciweavers

4190 search results - page 356 / 838
» Type Class Directives
Sort
View
WOTUG
2007
15 years 7 months ago
Integrating and Extending JCSP
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the â...
Peter H. Welch, Neil Brown, James Moores, Kevin Ch...
AUTOMATICA
2008
115views more  AUTOMATICA 2008»
15 years 6 months ago
Distributed algorithms for reaching consensus on general functions
This paper presents analysis and design results for distributed consensus algorithms in multi-agent networks. We consider continuous consensus functions of the initial state of th...
Jorge Cortés
186
Voted
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
JCM
2008
126views more  JCM 2008»
15 years 6 months ago
Video Quality Estimation for Mobile H.264/AVC Video Streaming
The scope of this paper is the estimation of subjective video quality for low-resolution video sequences as they are typical for mobile video streaming. Although the video quality ...
Michal Ries, Olivia Nemethova, Markus Rupp
133
Voted
TVCG
2008
95views more  TVCG 2008»
15 years 6 months ago
A Taxonomy of 3D Occlusion Management for Visualization
While an important factor in depth perception, the occlusion effect in 3D environments also has a detrimental impact on tasks involving discovery, access, and spatial relation of o...
Niklas Elmqvist, Philippas Tsigas