Sciweavers

2728 search results - page 173 / 546
» Ideologies and Their Points of View
Sort
View
ISMDA
2001
Springer
15 years 11 months ago
Using Bayesian Networks to Model Emergency Medical Services
Abstract. Due to the uncertain nature of many of the factors that influence on the performance of an emergency medical service, we propose using Bayesian networks to model this ki...
Silvia Acid, Luis M. de Campos, Susana Rodrí...
TLCA
2001
Springer
15 years 11 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote
ITICSE
2000
ACM
15 years 11 months ago
Distance tutorials in a systems design course
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
Joakim von Wright
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications
Noise immunity is becomingone of the most important design parameters for deep-sub-micron (DSM) technologies. Asynchronous circuits seem to be a good candidate to alleviate the pr...
Alexander Taubin, Alex Kondratyev, Jordi Cortadell...
DATE
1999
IEEE
113views Hardware» more  DATE 1999»
15 years 11 months ago
Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems
This paper proposes a methodology to evaluate the effects of encodings on the power consumption of system-level buses in the presence of multi-level cache memories. The proposed m...
William Fornaciari, Donatella Sciuto, Cristina Sil...