4870 search results - page 372 / 974 » Construction of Wavelets and Applications |
178
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios. The argumentation framework is employe...
146
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
160
click to vote
ISVD
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
150
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
168
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...