1458 search results - page 73 / 292 » Monads for incremental computing |
GI
2007
Springer
15 years 3 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
DIS
2006
Springer
15 years 3 months ago
2006
Springer
Incremental learning is an approach to deal with the classification task when datasets are too large or when new examples can arrive at any time. One possible approach uses concent...
IJCAI
2007
15 years 1 months ago
2007
It is now well-known that the size of the model is the bottleneck when using model-based approaches to diagnose complex systems. To answer this problem, decentralized/distributed ...
102
click to vote
DM
2006
14 years 12 months ago
2006
For a chordal graph G = (V, E), we study the problem of whether a new vertex u V and a given set of edges between u and vertices in V can be added to G so that the resulting grap...
125
click to vote
SMA
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...