2335 search results - page 336 / 467 » Type Checking Type Classes |
99
Voted
PODC
1989
ACM
15 years 6 months ago
1989
ACM
: What should it mean for an agent to know or believe an assertion is true with probability :99? Di erent papers FH88, FZ88, HMT88] give di erent answers, choosing to use quite di ...
121
Voted
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
MicroRNAs (miRNAs) form a large functional family of small noncoding RNAs and play an important role as posttranscriptional regulators, by repressing the translation of mRNAs. Rece...
129
Voted
FOCS
2007
IEEE
15 years 6 months ago
2007
IEEE
We develop a new technique of proving lower bounds for the randomized communication complexity of boolean functions in the multiparty `Number on the Forehead' model. Our meth...
119
Voted
EDBT
2000
ACM
15 years 6 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
BMCBI
2007
15 years 2 months ago
2007
Background: Relating features of protein sequences to structural hinges is important for identifying domain boundaries, understanding structure-function relationships, and designi...