203 search results - page 19 / 41 » Improved undecidability results on weighted timed automata |
RECOMB
2011
Springer
12 years 10 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
DATE
2002
IEEE
14 years 11 days ago
2002
IEEE
In this paper, we address the problem of simultaneous routing and buffer insertion. Recently in [12, 22], the authors considered simultaneous maze routing and buffer insertion und...
EUC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propo...
CNSR
2007
IEEE
14 years 1 months ago
2007
IEEE
Providing web service replicas improves the overall system performance and redundancy for hardware failures. In Business-to-Business, this may be particularly interesting for orga...
ACL
1998
13 years 8 months ago
1998
This paper presents a technique to deal with multiword nominal terminology in a computational Lexical Functional Grammar. This method treats multiword terms as single tokens by mo...