2634 search results - page 192 / 527 » Faster Than Uppaal |
174
click to vote
NAR
2007
15 years 5 months ago
2007
INFO-RNA is a new web server for designing RNA sequences that fold into a user given secondary structure. Furthermore, constraints on the sequence can be specified, e.g. one can r...
188
click to vote
TVCG
2008
15 years 5 months ago
2008
Abstract-- We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously r...
145
click to vote
FGCS
2010
15 years 4 months ago
2010
Scalable and fault tolerant runtime environments are needed to support and adapt to the underlying libraries and hardware which require a high degree of scalability in dynamic larg...
131
click to vote
JMLR
2010
15 years 4 months ago
2010
Maximum entropy (Maxent) is useful in natural language processing and many other areas. Iterative scaling (IS) methods are one of the most popular approaches to solve Maxent. With...
144
click to vote
JSC
2010
15 years 4 months ago
2010
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modification, applicable in positive characteristic, whe...