Sciweavers

5456 search results - page 186 / 1092
» General Equilibrium Theory
Sort
View
ESOP
2008
Springer
15 years 8 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»
15 years 6 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
14 years 6 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»
15 years 6 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
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
16 years 12 hour ago
Information landscapes and the analysis of search algorithms
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
Yossi Borenstein, Riccardo Poli