564 search results - page 95 / 113 » On Relating Heterogeneous Elements from Different Ontologies |
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
100
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Understanding transcriptional regulation of gene expression is one of the greatest challenges of modern molecular biology. A central role in this mechanism is played b...
109
click to vote
RWEB
2007
Springer
15 years 5 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
—This paper describes efficient utilization of human time by two means: prioritization of human tasks and maximizing multirobot team size. We propose an efficient scheduling algo...
GROUP
2007
ACM
15 years 3 months ago
2007
ACM
As the use of social networking websites becomes increasingly common, the types of social relationships managed on these sites are becoming more numerous and diverse. This researc...