Sciweavers

1350 search results - page 144 / 270
» Reasoning about Staged Computation
Sort
View
SAC
2008
ACM
15 years 4 months ago
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco
CVPR
2008
IEEE
16 years 7 months ago
Spatio-temporal Saliency detection using phase spectrum of quaternion fourier transform
Salient areas in natural scenes are generally regarded as the candidates of attention focus in human eyes, which is the key stage in object detection. In computer vision, many mod...
Chenlei Guo, Qi Ma, Liming Zhang
JFP
2007
126views more  JFP 2007»
15 years 5 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
SADFE
2010
IEEE
15 years 3 months ago
Fonts for Forensics
: Like other latent evidence that cannot be directly perceived by people, bit sequences have to be presented through tools. Presentations of digital forensic evidence often involve...
Fred Cohen
WAPCV
2007
Springer
15 years 11 months ago
Language Label Learning for Visual Concepts Discovered from Video Sequences
Computational models of grounded language learning have been based on the premise that words and concepts are learned simultaneously. Given the mounting cognitive evidence for conc...
Prithwijit Guha, Amitabha Mukerjee