Sciweavers

954 search results - page 57 / 191
» Conditional Risk Mappings
Sort
View
CAV
2008
Springer
80views Hardware» more  CAV 2008»
15 years 6 months ago
Ranking Automata and Games for Prioritized Requirements
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
Rajeev Alur, Aditya Kanade, Gera Weiss
SCL
2010
114views more  SCL 2010»
14 years 10 months ago
Input-state incidence matrix of Boolean control networks and its applications
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
Yin Zhao, Hongsheng Qi, Daizhan Cheng
156
Voted
ISBI
2004
IEEE
16 years 4 months ago
Volumetric Harmonic Brain Mapping
Brain surface conformal mapping research has been successful and this motivates our more general investigation of 3D volumetric brain harmonic mapping. By transforming the full 3D...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...
RE
2010
Springer
15 years 2 months ago
Assessing traceability of software engineering artifacts
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
Senthil Karthikeyan Sundaram, Jane Huffman Hayes, ...
3DPVT
2006
IEEE
144views Visualization» more  3DPVT 2006»
15 years 10 months ago
Recovering Illumination and Texture Using Ratio Images
In this paper we consider the problem of factoring illumination and texture from a pair of images of a diffuse object of known geometry. This problem arises frequently in 3D photo...
Alejandro Troccoli, Peter K. Allen