Sciweavers

429 search results - page 64 / 86
» Permutative Additives and Exponentials
Sort
View
IANDC
2007
66views more  IANDC 2007»
14 years 11 months ago
Quantitative temporal logics over the reals: PSpace and below
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
Carsten Lutz, Dirk Walther, Frank Wolter
TSP
2008
91views more  TSP 2008»
14 years 11 months ago
On Optimal Perfect Reconstruction Feedback Quantizers
Abstract-- This paper presents novel results on Perfect Reconstruction Feedback Quantizers (PRFQs), i.e., noise-shaping, predictive and sigma-delta A/D converters whose signal tran...
Milan S. Derpich, Eduardo I. Silva, Daniel E. Quev...
88
Voted
CORR
2004
Springer
114views Education» more  CORR 2004»
14 years 11 months ago
Quantum Communication Cannot Simulate a Public Coin
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...
Dmitry Gavinsky, Julia Kempe, Ronald de Wolf
JAIR
2000
105views more  JAIR 2000»
14 years 11 months ago
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
Federico Barber
JCNS
2000
84views more  JCNS 2000»
14 years 11 months ago
Nonlinear Thermodynamic Models of Voltage-Dependent Currents
Hodgkin and Huxley provided the first quantitative description of voltage-dependent currents and adjusted their model to experimental data using empirical functions of voltage. A p...
Alain Destexhe, John R. Huguenard