21319 search results - page 256 / 4264 » An Approach for Method Reengineering |
126
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
131
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we first describe our approach to measuring the surface shape of specular objects and then we extend the method to measuring the surface shape of transparent object...
158
Voted
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
In our recent study, we have presented an approach for tracing illegal users in content distribution networks using watermarking and fingerprinting techniques [1][2]. In this paper...
143
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Our goal is to detect and track moving vehicles on a road observed from cameras placed on poles or buildings. Inter-vehicle occlusion is significant under these conditions and tra...
148
Voted
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose an algorithm to construct classification models with a mixture of kernels from labeled and unlabeled data. The derived classifier is a mixture of models, each based o...