959 search results - page 65 / 192 » Possible and Necessary h-Indices |
ICML
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we present a new analysis on co-training, a representative paradigm of disagreement-based semi-supervised learning methods. In our analysis the co-training process ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
ECEASST
2006
13 years 9 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
ENTCS
2006
13 years 9 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
IJES
2008
13 years 9 months ago
2008
: Current and future SoC designs will contain an increasing number of programmable units. To be able to tailor and debug these processors in their system context at the highest pos...