5131 search results - page 534 / 1027 » Heterogeneous Component Analysis |
179
click to vote
TPHOL
2007
IEEE
16 years 1 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,...
188
click to vote
CDVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
228
click to vote
Publication
Supercomputers and clouds both strive to make a large number of
computing cores available for computation. More recently, similar objectives such as low-power, manageability at sc...
220
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Recognizing human action from image sequences is an active area of research in computer vision. In this paper, we present a novel method for human action recognition from image se...
186
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...