Sciweavers

460 search results - page 69 / 92
» A Symmetric Convexity Measure
Sort
View
SBCCI
2006
ACM
200views VLSI» more  SBCCI 2006»
15 years 7 months ago
A differential switched-capacitor amplifier with programmable gain and output offset voltage
The design of a low-power differential switched-capacitor amplifier for processing a fully-differential input signal coming from a pressure sensor interface is reported. The circu...
Fabio Lacerda, Stefano Pietri, Alfredo Olmos
PASTE
2005
ACM
15 years 7 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
110
Voted
ICCS
2005
Springer
15 years 7 months ago
Towards a Bayesian Approach to Robust Finding Correspondences in Multiple View Geometry Environments
Abstract. This paper presents a new Bayesian approach to the problem of finding correspondences of moving objects in a multiple calibrated camera environment. Moving objects are d...
Cristian Canton-Ferrer, Josep R. Casas, Montse Par...
EURONGI
2004
Springer
15 years 7 months ago
Admission Region of Multimedia Services for EDCA in IEEE 802.11e Access Networks
This paper presents a simulation analysis for the evaluation of the admission region of a IEEE 802.11e network adopting the EDCA (Enhanced Distributed Channel Access) mechanism. In...
Rosario Giuseppe Garroppo, Stefano Giordano, Stefa...
ISMVL
2003
IEEE
85views Hardware» more  ISMVL 2003»
15 years 7 months ago
On the Average Path Length in Decision Diagrams of Multiple-Valued Functions
We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate t...
Jon T. Butler, Tsutomu Sasao