2434 search results - page 322 / 487 » Algorithmic Randomness of Closed Sets |
127
Voted
EUROGP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
127
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
140
click to vote
RAID
2001
Springer
15 years 8 months ago
2001
Springer
With the growing deployment of host and network intrusion detection systems, managing reports from these systems becomes critically important. We present a probabilistic approach t...
121
Voted
ICRA
1994
IEEE
15 years 7 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
104
Voted
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding ...