Sciweavers

1960 search results - page 337 / 392
» The Logic of Large Enough
Sort
View
ISIPTA
1999
IEEE
14 years 1 months ago
Implicative Analysis for Multivariate Binary Data using an Imprecise Dirichlet Model
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
Jean-Marc Bernard
ICLP
1999
Springer
14 years 1 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
IDMS
1999
Springer
143views Multimedia» more  IDMS 1999»
14 years 1 months ago
Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
Gregor von Bochmann, Zhen Yang
GLVLSI
1998
IEEE
122views VLSI» more  GLVLSI 1998»
14 years 1 months ago
Reducing Power Consumption of Dedicated Processors Through Instruction Set Encoding
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
Luca Benini, Giovanni De Micheli, Alberto Macii, E...
ICCAD
1998
IEEE
94views Hardware» more  ICCAD 1998»
14 years 1 months ago
Noise considerations in circuit optimization
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
Andrew R. Conn, Ruud A. Haring, Chandramouli Viswe...