Sciweavers

3943 search results - page 757 / 789
» Architecture-Level Requirements Specification
Sort
View
134
Voted
BMCBI
2007
207views more  BMCBI 2007»
15 years 2 months ago
Analyzing in situ gene expression in the mouse brain with image registration, feature extraction and block clustering
Background: Many important high throughput projects use in situ hybridization and may require the analysis of images of spatial cross sections of organisms taken with cellular lev...
Manjunatha Jagalur, Chris Pal, Erik G. Learned-Mil...
BMCBI
2007
128views more  BMCBI 2007»
15 years 2 months ago
A robust and efficient algorithm for the shape description of protein structures and its application in predicting ligand bindin
Background: An accurate description of protein shape derived from protein structure is necessary to establish an understanding of protein-ligand interactions, which in turn will l...
Lei Xie, Philip E. Bourne
FAC
2006
122views more  FAC 2006»
15 years 2 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
GRID
2006
Springer
15 years 1 months ago
Using Workflow for Dynamic Security Context Management in Grid-based Applications
This paper presents ongoing research and current results on the development of flexible access control infrastructures for complex resource provisioning in Grid-based collaborativ...
Yuri Demchenko, Leon Gommans, Cees de Laat, Arie T...
IJRR
2008
109views more  IJRR 2008»
15 years 1 months ago
Robotic Grasping of Novel Objects using Vision
We consider the problem of grasping novel objects, specifically ones that are being seen for the first time through vision. Grasping a previously unknown object, one for which a 3...
Ashutosh Saxena, Justin Driemeyer, Andrew Y. Ng