Sciweavers

2780 search results - page 508 / 556
» Effective features of algorithm visualizations
Sort
View
PAMI
2008
302views more  PAMI 2008»
13 years 10 months ago
Learning to Detect Moving Shadows in Dynamic Environments
We propose a novel adaptive technique for detecting moving shadows and distinguishing them from moving objects in video sequences. Most methods for detecting shadows work in a stat...
Ajay J. Joshi, Nikolaos Papanikolopoulos
NJC
2006
86views more  NJC 2006»
13 years 10 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
SIGECOM
2008
ACM
126views ECommerce» more  SIGECOM 2008»
13 years 10 months ago
Behavioral experiments in networked trade
We report on an extensive series of highly controlled human subject experiments in networked trade. Our point of departure is a simple and well-studied bipartite network exchange ...
J. Stephen Judd, Michael Kearns
AES
2005
Springer
105views Cryptology» more  AES 2005»
13 years 10 months ago
TH-collocation for the biharmonic equation
This paper is intended as a contribution to enhance orthogonal collocation methods. In this, a novel collocation method--TH-collocation--is applied to the biharmonic equation and ...
Martín Díaz, Ismael Herrera
TITB
2008
151views more  TITB 2008»
13 years 10 months ago
Shape-Driven Segmentation of the Arterial Wall in Intravascular Ultrasound Images
Segmentation of arterial wall boundaries from intravascular images is an important problem for many applications in the study of plaque characteristics, mechanical properties of t...
Gozde B. Unal, S. Bucher, Stephane G. Carlier, Gre...