1341 search results - page 98 / 269 » Periods in Extensions of Words |
IPL
2006
15 years 1 months ago
2006
In this paper, we strengthen two recent undecidability results of [9,10] about weighted timed automata, an extension of timed automata with cost variables. More precisely, we prop...
CPHYSICS
2007
15 years 1 months ago
2007
Here we present a new, semidiscrete, central scheme for the numerical solution of one-dimensional systems of hyperbolic conservation laws. The method presented in this paper is an...
119
Voted
JUCS
2008
15 years 1 months ago
2008
: UCL-GLORP is a Common Lisp implementation and extension of GLORP (Generic Lightweight Object-Relational Persistence), an Object-Relational Mapper for the Smalltalk language. UCL-...
94
Voted
ENTCS
2007
15 years 1 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
85
Voted
PR
2006
15 years 1 months ago
2006
Relevant component analysis (RCA) is a recently proposed metric learning method for semi-supervised learning applications. It is a simple and efficient method that has been applie...