FSS
2016
8 years 9 months ago
2016
In this paper we explore the possibility of introducing the equality symbol in the languages of Fuzzy Description Logics (FDLs) interpreted as a similarity relation. In the talk w...
FSS
2016
8 years 9 months ago
2016
FSS
2016
8 years 9 months ago
2016
We provide a methodology to introduce proof search oriented calculi for a large class of many-valued logics, and a sufficient condition for their Co-NP completeness. Our results a...
FSS
2016
8 years 9 months ago
2016
In NLG systems, temporal uncertainty in raw data can hamper the inference of temporal and causal relationships between events and thus impact the quality of the generated texts. I...
FSS
2016
8 years 9 months ago
2016
A discrete t-norm is a binary operation on a finite subset of the real unit interval fulfilling the same algebraic conditions as t-norms. We show that any left-continuous t-norm...
FS
2016
8 years 9 months ago
2016
We develop a version of the fundamental theorem of asset pricing for discrete-time markets with proportional transaction costs and model uncertainty. A robust notion of no-arbitra...
FS
2016
8 years 9 months ago
2016
We derive dual characterizations of two notions of weak time consistency for concave valuations, which are convex risk measures under a positive sign convention. Combined with a s...
FS
2016
8 years 9 months ago
2016
In a model independent discrete time financial market, we discuss the richness of the family of martingale measures in relation to different notions of Arbitrage, generated by a...
111
click to vote
FPGA
2016
ACM
8 years 9 months ago
2016
ACM
The advent of FPGA acceleration platforms with direct coherent access to processor memory creates an opportunity for accelerating applications with irregular parallelism governed ...
FPGA
2016
ACM
8 years 9 months ago
2016
ACM
Loops are pervasive in numerical programs, so high-level synthesis (HLS) tools use state-of-the-art scheduling techniques to pipeline them efficiently. Still, the run time perform...