21430 search results - page 259 / 4286 » Abstract Effective Models |
178
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...
136
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 ...
141
click to vote
CAV
2007
Springer
16 years 22 days 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...
146
click to vote
JGTOOLS
2007
15 years 6 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...
170
click to vote
CIE
2007
Springer
16 years 22 days 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...