6413 search results - page 108 / 1283 » Classes of cycle bases |
167
click to vote
CANDC
2006
ACM
15 years 6 months ago
2006
ACM
Protein structural class describes the overall folding type of a protein or its domain. A number of methods were developed to predict protein structural class based on its primary...
144
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
158
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
170
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
: New forms of communication and co-operation do not have the same environmental impact pattern as current forms of work. Environmental impacts are produced by work technologies (m...
150
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...