Sciweavers

4066 search results - page 466 / 814
» Almost Complete Sets
Sort
View
FECS
2010
161views Education» more  FECS 2010»
15 years 5 months ago
Distributed Laboratories: A Finite State Machine Module
: This paper presents an experimental module for teaching finite state machine concepts. This module is designed for use in a lecture-based course that does not currently have a la...
Bonnie Ferri, Jill Auerbach, Hongyi Qu
ICPR
2010
IEEE
15 years 5 months ago
Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes
The output from a color imaging sensor, or apparent color, can change considerably due to illumination conditions and scene geometry changes. In this work we take into account the...
Jorge Scandaliaris, Alberto Sanfeliu
IPCV
2010
15 years 5 months ago
Fuzzy Spatial Relations for 2D Scene
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
Nadeem Salamat, El-hadi Zahzah
TAP
2010
Springer
145views Hardware» more  TAP 2010»
15 years 5 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes
ICIP
2009
IEEE
15 years 5 months ago
A multi-modal automatic image registration technique based on complex wavelets
Image registration is considered one of the most fundamental and crucial pre-processing tasks in digital imaging. This paper describes a fast multimodal automatic image registrati...
Milad Ghantous, Soumik Ghosh, Magdy Bayoumi