2702 search results - page 268 / 541 » Practically Applicable Formal Methods |
136
Voted
CPM
2008
Springer
15 years 4 months ago
2008
Springer
We present an algorithm for computing the edit distance of two RNA structures with arbitrary kinds of pseudoknots. A main benefit of the algorithm is that, despite the problem is N...
108
click to vote
LREC
2010
15 years 4 months ago
2010
We present a method for acquiring reliable predicate-argument structures from raw corpora for automatic compilation of case frames. Such lexicon compilation requires highly reliab...
116
Voted
NIPS
2007
15 years 4 months ago
2007
Statistical models on full and partial rankings of n items are often of limited practical use for large n due to computational consideration. We explore the use of non-parametric ...
111
Voted
ECIS
2001
15 years 3 months ago
2001
The purpose of this paper is to argue that research and practice of ISD could substantially benefit from interpreting ISD as knowledge work. Two distinct areas of competence are i...
87
Voted
WSC
2004
15 years 3 months ago
2004
In many practical applications of simulation it is desirable to optimize the levels of integer or binary variables that are inputs for the simulation model. In these cases, the ob...