3116 search results - page 157 / 624 » Positively dependent types |
142
click to vote
GCB
2003
Springer
15 years 9 months ago
2003
Springer
: Classification and prediction of protein structure has been a central research theme in structural bioinformatics. Due to the imbalanced distribution of proteins over multi SCOP ...
131
click to vote
WIKIS
2010
ACM
15 years 8 months ago
2010
ACM
A feature of online communities and notably Wikipedia is the increasing use of managerial techniques to coordinate the efforts of volunteers. In this short paper, we explore the ...
146
Voted
EPK
2006
15 years 6 months ago
2006
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
129
Voted
APVIS
2001
15 years 6 months ago
2001
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
129
click to vote
IJCAI
2001
15 years 5 months ago
2001
We study the impact of backbones in optimization and approximation problems. We show that some optimization problems like graph coloring resemble decision problems, with problem h...