2610 search results - page 363 / 522 » Computational Probabilistic Non-interference |
189
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
The prediction of translation initiation sites (TISs) in eukaryotic mRNAs has been a challenging problem in computational molecular biology. In this paper, we present a new algori...
163
click to vote
MFCS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
156
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
158
click to vote
SIGCSE
2006
ACM
16 years 10 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
171
click to vote
3DIM
2005
IEEE
16 years 18 hour ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...