Sciweavers

2206 search results - page 236 / 442
» On the power of coercion abstraction
Sort
View
COLING
1992
15 years 7 months ago
Disjunctive Feature Structures As Hypergraphs
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...
Jean Véronis
WCE
2007
15 years 7 months ago
Simulation of Transformer With Aging Insulation and Incipient Faults
Abstract—The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete sche...
X. Wang, Mark Sumner, D. W. P. Thomas
WCE
2007
15 years 7 months ago
Comparing Risk Neutral Density Estimation Methods using Simulated Option Data
Abstract—In this paper I use Monte Carlo simulated option data to investigate the empirical power of six Risk Neutral Density (RND) estimation techniques. Three alternative appro...
Amine Bouden
WCE
2007
15 years 7 months ago
A Brief Survey on RFID Privacy and Security
Abstract— In this survey we take a look at different approaches proposed in the literature for addressing the privacy and security issues derived from the Radio-Frequency IDenti...
J. Aragones-Vilella, Antoni Martínez-Balles...
ATVA
2010
Springer
128views Hardware» more  ATVA 2010»
15 years 7 months ago
What's Decidable about Sequences?
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Carlo A. Furia