3265 search results - page 531 / 653 » Representing Groups on Graphs |
157
Voted
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
16 years 12 days ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
146
click to vote
LICS
2008
IEEE
16 years 10 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
143
click to vote
LICS
2008
IEEE
16 years 10 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
183
click to vote
LICS
2008
IEEE
16 years 10 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
170
click to vote
NDSS
2008
IEEE
16 years 10 days ago
2008
IEEE
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to def...