Sciweavers

3844 search results - page 518 / 769
» Modular interpreted systems
Sort
View
ICPR
2002
IEEE
16 years 7 months ago
Synergism in Low Level Vision
Guiding image segmentation with edge information is an often employed strategy in low level computer vision. To improve the trade-off between the sensitivity of homogeneous region...
Christopher M. Christoudias, Bogdan Georgescu, Pet...
ICML
2008
IEEE
16 years 7 months ago
Efficiently learning linear-linear exponential family predictive representations of state
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
David Wingate, Satinder P. Singh
ISBI
2002
IEEE
16 years 7 months ago
A monohierarchical multiaxial classification code for medical images in content-based retrieval
Large efforts have been made for general applications of content-based image retrieval (CBIR). Established CBIRsystems globally evaluate color, texture, and also shape for retriev...
Thomas Martin Lehmann, Berthold B. Wein, Daniel Ke...
WWW
2001
ACM
16 years 7 months ago
Online Learning in Hong Kong: A Preliminary Comparison of the Lecture and Online Versions of a Computing Fundamentals Course
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
Giovanni B. Moneta, Synnöve Kekkonen-Moneta
CC
2009
Springer
142views System Software» more  CC 2009»
16 years 7 months ago
Extensible Proof-Producing Compilation
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
Magnus O. Myreen, Konrad Slind, Michael J. C. Gord...