92 search results - page 12 / 19 » Construction of examination timetables based on ordering heu... |
JSW
2007
13 years 7 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
CMSB
2004
Springer
13 years 11 months ago
2004
Springer
We propose a robust estimation method of gene networks based on microarray gene expression data. It is well-known that microarray data contain a large amount of noise and some outl...
CVIU
2006
13 years 7 months ago
2006
In this paper, we present a new color image segmentation scheme based on unsupervised pixel classification that works even when there is not a one-to-one correspondence between th...
ECAI
2004
Springer
14 years 29 days ago
2004
Springer
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...