Sciweavers

2012 search results - page 41 / 403
» Lane-Change Detection Using a Computational Driver Model
Sort
View
CVPR
2003
IEEE
14 years 9 months ago
A Road Sign Recognition System Based on Dynamic Visual Model
We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...
C. Y. Fang, C. S. Fuh, S. W. Chen, P. S. Yen
JAMIA
2011
68views more  JAMIA 2011»
12 years 10 months ago
A secure protocol for protecting the identity of providers when disclosing data for disease surveillance
Background Providers have been reluctant to disclose patient data for public-health purposes. Even if patient privacy is ensured, the desire to protect provider confidentiality h...
Khaled El Emam, Jun Hu, Jay Mercer, Liam Peyton, M...
SPIN
2001
Springer
14 years 5 days ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
CSE
2009
IEEE
13 years 11 months ago
Optimization of Component Connections for an Embedded Component System
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
Takuya Azumi, Hiroaki Takada, Hiroshi Oyama
WABI
2009
Springer
128views Bioinformatics» more  WABI 2009»
14 years 2 months ago
Improving Inference of Transcriptional Regulatory Networks Based on Network Evolutionary Models
Abstract. Computational inference of transcriptional regulatory networks remains a challenging problem, in part due to the lack of strong network models. In this paper we present e...
Xiuwei Zhang, Bernard M. E. Moret