4460 search results - page 322 / 892 » Formal methods for interactive systems |
186
click to vote
VLDB
2004
ACM
16 years 1 days ago
2004
ACM
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...
268
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...
188
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Network co-regulated modules are believed to have the functionality of packaging multiple biological entities, and can thus be assumed to coordinate many biological fu...
171
click to vote
CATA
2003
15 years 8 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
178
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...