Sciweavers

2302 search results - page 248 / 461
» Modeling Intergovernmental Collaboration: A System Dynamics ...
Sort
View
186
Voted
FM
2009
Springer
138views Formal Methods» more  FM 2009»
16 years 20 days 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...
CVPR
2003
IEEE
16 years 8 months ago
Practical Super-Resolution from Dynamic Video Sequences
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
Zhongding Jiang, Tien-Tsin Wong, Hujun Bao
ASC
2008
15 years 6 months ago
Dynamic classification for video stream using support vector machine
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
Mariette Awad, Yuichi Motai
HPDC
2007
IEEE
16 years 12 days ago
A statistical approach to risk mitigation in computational markets
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
Thomas Sandholm, Kevin Lai
ICDCS
2002
IEEE
15 years 11 months ago
dRBAC: Distributed Role-based Access Control for Dynamic Coalition Environments
Distributed Role-Based Access Control (dRBAC) is a scalable, decentralized trust-management and accesscontrol mechanism for systems that span multiple administrative domains. dRBA...
Eric Freudenthal, Tracy Pesin, Lawrence Port, Edwa...