Sciweavers

2858 search results - page 125 / 572
» Logics with Aggregate Operators
Sort
View
HICSS
2007
IEEE
163views Biometrics» more  HICSS 2007»
14 years 3 months ago
On the Communication Architecture for Wide-Area Real-Time Monitoring in Power Networks
— Reliable and efficient operation of power networks is of paramount importance. In this paper we explore communication architectures that leverage Phasor Measurement Units (PMU...
Shrut Kirti, Zhifang Wang, Anna Scaglione, Robert ...
INFOCOM
2002
IEEE
14 years 1 months ago
Stochastic Analysis of Some Expedited Forwarding Networks
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
Milan Vojnovic, Jean-Yves Le Boudec
JELIA
2004
Springer
14 years 2 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
DILS
2006
Springer
14 years 19 days ago
On Characterising and Identifying Mismatches in Scientific Workflows
Abstract. Workflows are gaining importance as a means for modelling and enacting in silico scientific experiments. A major issue which arises when aggregating a collection of analy...
Khalid Belhajjame, Suzanne M. Embury, Norman W. Pa...
EUSFLAT
2007
125views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
On the Moments and the Distribution of the Choquet Integral
We investigate the distribution functions and the moments of the so-called Choquet integral, also known as the Lov´asz extension, when regarded as a real function of a random sam...
Ivan Kojadinovic, Jean-Luc Marichal