Sciweavers

5158 search results - page 131 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
FROCOS
2007
Springer
14 years 4 months ago
Noetherianity and Combination Problems
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
ESOP
2008
Springer
13 years 12 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi
TSP
2008
121views more  TSP 2008»
13 years 10 months ago
Stochastic Analysis of the LMS Algorithm for System Identification With Subspace Inputs
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
Neil J. Bershad, José Carlos M. Bermudez, J...
ATAL
2011
Springer
12 years 10 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
IJRFITA
2007
103views more  IJRFITA 2007»
13 years 10 months ago
Characterisation of RF propagation in rectangular metal pipes for passive RFID systems
: In this paper, we collect and extend the theory of Radio Frequency (RF) propagation within rectangular metal pipes. This work is motivated by the need to understand the operation...
Darmindra D. Arumugam, Daniel W. Engels