21430 search results - page 259 / 4286 » Abstract Effective Models |
193
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we explicitly model risk aversion in multiagent interactions. We propose an insurance mechanism that be can used by risk-averse agents to mitigate against r...
158
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper we propose a method for joint optimization of transceivers with fractionally spaced equalization (FSE). We use the effective single-input multiple-output ...
158
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
168
click to vote
JGTOOLS
2007
15 years 7 months ago
2007
Abstract. In many real-time rendering applications, it is necessary to model a fog volume that is bounded by a single plane but is otherwise infinite in extent. This paper presents...
186
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...