Sciweavers

1929 search results - page 208 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
ETVC
2008
15 years 6 months ago
Sparse Multiscale Patches for Image Processing
Abstract. This paper presents a framework to define an objective measure of the similarity (or dissimilarity) between two images for image processing. The problem is twofold: 1) de...
Paolo Piro, Sandrine Anthoine, Eric Debreuve, Mich...
NRHM
2002
87views more  NRHM 2002»
15 years 4 months ago
Denotative and connotative semantics in hypermedia: proposal for a semiotic-aware architecture
In this article we claim that the linguistic-centred view within hypermedia systems needs refinement through a semiotic-based approach before real interoperation between media can...
Frank Nack, Lynda Hardman
DSD
2009
IEEE
88views Hardware» more  DSD 2009»
15 years 2 months ago
A Synthesisable Quasi-Delay Insensitive Result Forwarding Unit for an Asynchronous Processor
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
Luis A. Tarazona, Doug A. Edwards, Luis A. Plana
EH
2002
IEEE
161views Hardware» more  EH 2002»
15 years 9 months ago
An Immunochip Architecture and Its Emulation
The paper proposes an architecture for building immunochips and provides a mathematical framework in describing some of its operations using the concepts of proteins and immune ne...
Alexander O. Tarakanov, Dipankar Dasgupta
ASE
2002
160views more  ASE 2002»
15 years 4 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...