2452 search results - page 297 / 491 » On Reduction of Lagrange Systems |
136
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
151
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
149
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents the design and implementation of a new file system independent collective I/O optimization based on file views: view-based collective I/O. View-based collective...
123
click to vote
ADMA
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a study on the combination of different classifiers for toxicity prediction. Two combination operators for the Multiple-Classifier System definition are also pr...
128
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...