8723 search results - page 1619 / 1745 » A New Analysis of Co-Training |
182
click to vote
CSL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
167
click to vote
ECTEL
2007
Springer
16 years 16 days ago
2007
Springer
Parallel to the societal diffusion of digital technologies, the debate on their impacts and requirements has created terms like ICT literacy, digital literacy or digital competenc...
153
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...
193
click to vote
IBPRIA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. It has recently been demonstrated that the fundamental computer vision problem of structure from motion with a single camera can be tackled using the sequential, probabil...
190
click to vote
ICCSA
2007
Springer
16 years 15 days ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...