2314 search results - page 100 / 463 » Monoids over domains |
120
click to vote
NAR
2002
15 years 1 months ago
2002
SMART (Simple Modular Architecture Research Tool, http://smart.embl-heidelberg.de) is a web-based resource used for the annotation of protein domains and the analysis of domain ar...
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
102
click to vote
ISN
1995
Springer
15 years 5 months ago
1995
Springer
The developers of management systems and the management services that operate over them will be faced with increasing complexity as services are developed for the open service mar...
131
click to vote
NIPS
2003
15 years 3 months ago
2003
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
112
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...