3690 search results - page 297 / 738 » Computation with classical sequents |
169
click to vote
PKDD
2005
Springer
15 years 11 months ago
2005
Springer
In applications such as fraud and intrusion detection, it is of great interest to measure the evolving trends in the data. We consider the problem of quantifying changes between tw...
136
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
141
click to vote
SG
2005
Springer
15 years 11 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
145
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
166
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...