Sciweavers

513 search results - page 58 / 103
» Recent Developments in Granular Computing: A Bibliometrics S...
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 3 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
NOSSDAV
2009
Springer
14 years 3 months ago
Peer-assisted online storage and distribution: modeling and server strategies
Peer-assisted online storage and distribution systems have recently enjoyed large-scale deployment gaining increased popularity for multimedia content sharing in the Internet. Suc...
Ye Sun, Fangming Liu, Bo Li, Baochun Li
SIGCOMM
1998
ACM
14 years 1 months ago
Quality of Service Based Routing: A Performance Perspective
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
George Apostolopoulos, Roch Guérin, Sanjay ...
ICCV
2005
IEEE
14 years 10 months ago
Non-Parametric Self-Calibration
In this paper we develop a theory of non-parametric self-calibration. Recently, schemes have been devised for non-parametric laboratory calibration, but not for selfcalibration. W...
David Nistér, Henrik Stewénius, Etie...
CHI
2008
ACM
14 years 9 months ago
Stirring up experience through movement in game play: effects on engagement and social behaviour
The recent development of controllers designed around natural body movements has altered the nature of gaming and contributed towards it being marketed as a more social activity. ...
James Le Couteur, Nadia Berthouze, Siân E. L...