Search Sciweavers | Sciweavers

10870 search results - page 376 / 2174

» Model Checking Programs

149

click to vote

ISCAS
1994
IEEE

114views Hardware» more ISCAS 1994»

The PBF of One Weight Weighted Median Filters

15 years 11 months ago

Download www.cs.tut.fi

Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...

Tong Sun, Moncef Gabbouj, Yrjö Neuvo

claim paper

Read More »

179

click to vote

SFP
2000

106views Programming Languages» more SFP 2000»

Detecting common elements of types

15 years 8 months ago

Download www.fernuni-hagen.de

: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...

Manfred Widera, Christoph Beierle

claim paper

Read More »

152

click to vote

TOOLS
2000
IEEE

131views Programming Languages» more TOOLS 2000»

A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications

15 years 11 months ago

Download d3s.mff.cuni.cz

Glêdson Elias da Silveira, Silvio Romero de ...

claim paper