7080 search results - page 1041 / 1416 » Designing High Integrity Systems Using Aspects |
187
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
163
click to vote
TASLP
2002
15 years 4 months ago
2002
This paper describes the main components of MiPad (Multimodal Interactive PAD) and especially its distributed speech processing aspects. MiPad is a wireless mobile PDA prototype th...
147
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
This paper shows how computational Riemannian manifold can be used to solve several problems in computer vision and graphics. Indeed, Voronoi segmentations and Delaunay graphs comp...
154
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
In this article we describe a visual-analytic tool for the interrogation of evolving interaction network data such as those found in social, bibliometric, WWW and biological appli...
141
click to vote
USS
2008
15 years 7 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...