1255 search results - page 59 / 251 » Search words and geography |
100
click to vote
ENTCS
2006
15 years 18 days ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
98
Voted
ALGORITHMICA
2004
15 years 14 days ago
2004
Abstract. We present a new algorithm, called MCS-M, for computing minimal triangulations of graphs. LexBFS, a seminal algorithm for recognizing chordal graphs, was the genesis for ...
73
Voted
ENTCS
2002
15 years 12 days ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
143
click to vote
NAR
2011
14 years 3 months ago
2011
The Universal PBM Resource for OligonucleotideBinding Evaluation (UniPROBE) database is a centralized repository of information on the DNAbinding preferences of proteins as determ...
135
click to vote
WEA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Bit-parallelism permits executing several operations simultaneously over a set of bits or numbers stored in a single computer word. This technique permits searching for t...