Sciweavers

532 search results - page 43 / 107
» Extending Scalar Multiplication Using Double Bases
Sort
View
ESEC
1997
Springer
14 years 27 days ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ICCV
1999
IEEE
14 years 10 months ago
Multi-View Subspace Constraints on Homographies
The motion of a planar surface between two camera views induces a homography. The homography depends on the cameraintrinsic and extrinsic parameters, as well as on the 3D plane pa...
Lihi Zelnik-Manor, Michal Irani
ICST
2009
IEEE
14 years 3 months ago
Test Input Generation Using UML Sequence and State Machines Models
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
Aritra Bandyopadhyay, Sudipto Ghosh
PERCOM
2006
ACM
14 years 8 months ago
Proximity Based Access Control in Smart-Emergency Departments
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
Sandeep K. S. Gupta, Tridib Mukherjee, Krishna K. ...
BIBM
2008
IEEE
113views Bioinformatics» more  BIBM 2008»
14 years 3 months ago
Towards Site-Based Protein Functional Annotations
Abstract—The exact relationship between protein active centers and protein functions is unclear even after decades of intensive study. To improve the functional prediction abilit...
Seak Fei Lei, Jun Huan