Sciweavers

9626 search results - page 139 / 1926
» Invariant Based Programming
Sort
View
ICCV
2003
IEEE
16 years 7 months ago
Images as Bags of Pixels
We propose modeling images and related visual objects as bags of pixels or sets of vectors. For instance, gray scale images are modeled as a collection or bag of (X, Y, I) pixel v...
Tony Jebara
ENTCS
2008
120views more  ENTCS 2008»
15 years 5 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
TOPLAS
2010
115views more  TOPLAS 2010»
15 years 3 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
133
Voted
ISCIS
2009
Springer
15 years 11 months ago
Single stripe projection based range scanning of shiny objects under ambient light
—Range scanners are used in various applications in industry. Therefore, various range scanners, based on different working principles are developed. Among these, scanners using ...
Rifat Benveniste, Cem Ünsalan
143
Voted
ICIP
2002
IEEE
16 years 6 months ago
Hybrid and parallel face classifier based on artificial neural networks and principal component analysis
We present a hybrid and parallel system based on artificial neural networks for a face invariant classifier and general pattern recognition problems. A set of face features is ext...
Peter V. Bazanov, Tae-Kyun Kim, Seok-Cheol Kee, Sa...