نتایج جستجو برای: nominal set

تعداد نتایج: 686085  

2012
Philippe Schlenker

It was shown in Schlenker (to appear) that in ASL one and the same anaphoric element has nominal, temporal, and modal uses, and that in all three domains generalized quantifiers can introduce loci (= positions in signing space) that denote what is often called the 'maximal set', i.e. the maximal set of objects that satisfy both the restrictor and the nuclear scope. But the anaphoric status of r...

2014
Murdoch James Gabbay

What are variables, and what is universal quantification over a variable? Nominal sets are a notion of ‘sets with names’, and using equational axioms in nominal algebra these names can be given substitution and quantification actions. So we can axiomatise first-order logic as a nominal logical theory. We can then seek a nominal sets representation theorem in which predicates are interpreted as ...

Journal: :Inf. Comput. 2007
Maribel Fernández Murdoch James Gabbay

Nominal rewriting is based on the observation that if we add support for alphaequivalence to first-order syntax using the nominal-set approach, then systems with binding, including higher-order features such as lambda-calculus beta-reduction, can be smoothly represented. Nominal rewriting maintains a strict distinction between variables of the objectlanguage (atoms) and of the meta-language (va...

2015
Johannes Schäfer Ina Rösiger Ulrich Heid Michael Dorna

We present work on the task of reducing noise in nominal terminology extraction. Based on a comparative evaluation of statistical measures aimed at capturing domain specificity, we propose strategies to increase the typically quite low accuracy of classical hybrid nominal multi-word term extraction. Our experiments on a set of German do-it-yourself instruction texts show that using linguistic f...

Journal: :EURASIP J. Adv. Sig. Proc. 2006
Zhu Liang Yu Meng Hwa Er

A robust Capon beamformer (RCB) against the uncertainty of nominal array steering vector (ASV) is formulated in this paper. The RCB, which can be categorized as diagonal loading approach, is obtained by maximizing the output power of the standard Capon beamformer (SCB) subject to an uncertainty constraint on the nominal ASV. The bound of its output signal-to-interference-plusnoise ratio (SINR) ...

Journal: :Systems & Control Letters 2011
Gabriele Pannocchia James B. Rawlings Stephen J. Wright

We address the inherent robustness properties of nonlinear systems controlled by suboptimal model predictive control (MPC), i.e., when a suboptimal solution of the (generally nonconvex) optimization problem, rather than an element of the optimal solution set, is used for the control. The suboptimal control law is then a set-valued map, and consequently, the closed-loop system is described by a ...

Journal: :Inf. Sci. 2013
Josep Domingo-Ferrer David Sánchez Guillem Rufian-Torrell

Nominal attributes are very common in data sets about individuals, specifically medical data like patient healthcare records. Attributes of this type tend to be sensitive due to their personal nature. If public-use data sets need to be released, e.g. for clinical research purposes, data should be first anonymized. However, since most anonymization methods omit data semantics when dealing with n...

Journal: :ACM SIGPLAN Notices 2012

Journal: :ACM Transactions on Programming Languages and Systems 2008

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید