Stem polar$ (all stems)

60 papers:

DATE-2015-MohammadiGM #fault #modelling

Fault modeling in controllable polarity silicon nanowire circuits (HGM, PEG, GDM), pp. 453–458.

FoSSaCS-2015-PfenningG

Polarized Substructural Session Types (FP, DG), pp. 3–22.

CSCW-2015-Borge-Holthoefer #network #twitter

Content and Network Dynamics Behind Egyptian Political Polarization on Twitter (JBH, WM, KD, IW), pp. 700–711.

DAC-2014-LinC #effectiveness

POLAR 2.0: An Effective Routability-Driven Placer (TL, CC), p. 6.

DATE-2014-GaillardonAZM #design

Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.

DATE-2014-JeongOSNS #parametricity #self

Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.

LATA-2014-ArroyoCMP #network

Networks of Polarized Evolutionary Processors Are Computationally Complete (FA, SGC, VM, SP), pp. 101–112.

ECIR-2014-VechtomovaST #approach #information retrieval #word

An Information Retrieval-Based Approach to Determining Contextual Opinion Polarity of Words (OV, KS, JT), pp. 553–559.

KDIR-2014-HasnaMDP #recommendation #sentiment

Sentiment Polarity Extension for Context-Sensitive Recommender Systems (OLH, FCM, MD, RP), pp. 126–137.

DAC-2013-GaillardonMABSLM #towards #using

Towards structured ASICs using polarity-tunable Si nanowire transistors (PEG, MDM, LGA, SB, DS, YL, GDM), p. 4.

DATE-2013-GaillardonABMSLM

Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs (PEG, LGA, SB, MDM, DS, YL, GDM), pp. 625–630.

DocEng-2013-VilaresAG #classification #twitter

Supervised polarity classification of Spanish tweets based on linguistic knowledge (DV, MAA, CGR), pp. 169–172.

HIMI-D-2013-YanagimotoSY #classification #estimation #network #sentiment #using #word

Word Classification for Sentiment Polarity Estimation Using Neural Network (HY, MS, AY), pp. 669–677.

ECIR-2013-ChenC #analysis #multi #network #topic #using

A Topic Person Multi-polarization Method Using Friendship Network Analysis (ZYC, CCC), pp. 688–692.

LICS-2013-Accattoli

Compressing Polarized Boxes (BA), pp. 428–437.

CIKM-2012-AwadallahRW #classification #named

PolariCQ: polarity classification of political quotations (RA, MR, GW), pp. 1945–1949.

ECIR-2012-ChelaruAS #query

Analyzing the Polarity of Opinionated Queries (SC, ISA, SS), pp. 463–467.

ICPR-2012-HoangT #orthogonal #performance

Fast computation of orthogonal polar harmonic transforms (TVH, ST), pp. 3160–3163.

DAC-2011-JooK #fine-grained #named

WaveMin: a fine-grained clock buffer polarity assignment combined with buffer sizing (DJ, TK), pp. 522–527.

CIKM-2011-ChenloL #effectiveness #estimation #performance

Effective and efficient polarity estimation in blogs based on sentence-level evidence (JMC, DEL), pp. 365–374.

CIKM-2011-HeerschopGHFKJ #analysis #using

Polarity analysis of texts using discourse structure (BH, FG, AH, FF, UK, FdJ), pp. 1061–1070.

SAT-2011-SilverthornM #learning #satisfiability

Learning Polarity from Structure in SAT (BS, RM), pp. 377–378.

DATE-2010-FanucciPDSTCLT #programmable

An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability (LF, GP, PD, RS, FT, PC, LL, PT), pp. 526–531.

ICPR-2010-Landesa-VazquezA #detection

The Role of Polarity in Haar-like Features for Face Detection (ILV, JLAC), pp. 412–415.

ICPR-2010-YangK #feature model #fourier #performance

Fast Polar and Spherical Fourier Descriptors for Feature Extraction (ZY, SiK), pp. 975–978.

ICPR-2010-ZiaeefardE #recognition

Hierarchical Human Action Recognition by Normalized-Polar Histogram (MZ, HE), pp. 3720–3723.

LICS-2010-Zeilberger #continuation #logic

Polarity and the Logic of Delimited Continuations (NZ), pp. 219–227.

DAC-2009-JangK

Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization (HJ, TK), pp. 794–799.

CADE-2009-McLaughlinP #performance #proving #theorem proving

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (SM, FP), pp. 230–244.

TLCA-2009-Vaux #difference #linear #logic

Differential Linear Logic and Polarization (LV), pp. 371–385.

CIKM-2008-ZhangJYM #classification #effectiveness #retrieval

Improve the effectiveness of the opinion retrieval and opinion polarity classification (WZ, LJ, CTY, WM), pp. 1415–1416.

ECIR-2008-WiegandK #classification #modelling #optimisation

Optimizing Language Models for Polarity Classification (MW, DK), pp. 612–616.

ICPR-2008-NorellL #distance #image

Spatially-variant morphological operations on binary images based on the polar distance transform (KN, JL), pp. 1–4.

ICPR-2008-PalanderB #geometry

Epipolar geometry and log-polar transform in wide baseline stereo matching (KP, SSB), pp. 1–4.

ICPR-2008-TominagaY #classification

Metal-dielectric object classification by polarization degree map (ST, TY), pp. 1–4.

CSL-2008-HamanoT #linear #logic #multi

An Indexed System for Multiplicative Additive Polarized Linear Logic (MH, RT), pp. 262–277.

CSL-2007-LiangM #logic

Focusing and Polarization in Intuitionistic Logic (CL, DM), pp. 451–465.

CIAA-2006-BonfanteRP #ambiguity #automaton

Lexical Disambiguation with Polarities and Automata (GB, JLR, GP), pp. 283–284.

ICPR-v1-2006-BenjellounTM #detection #using

Vertebra Edge Detection Using Polar Signature (MB, HT, SM), pp. 476–479.

ICPR-v3-2006-BalciAF

Subpixel Alignment of MRI Data Under Cartesian and Log-Polar Sampling (MB, MA, HF), pp. 607–610.

ICPR-v2-2004-KimBC #image

Hough Transform in Log-Polar Image Including Foveal and Peripheral Information (JSK, YSB, SIC), pp. 60–63.

ICPR-v4-2004-SchindlerB #geometry #image

The Epipolar Geometry of the Log-Polar Image Plane (KS, HB), pp. 40–43.

DAC-2003-Bernstein #automaton

Quantum-dot cellular automata: computing by field polarization (GHB), pp. 268–273.

ICALP-2003-BergstraB #algebra #equivalence #process

Polarized Process Algebra and Program Equivalence (JAB, IB), pp. 1–21.

LICS-2003-LaurentR #linear #logic

About Translations of Classical Logic into Polarized Linear Logic (OL, LR), pp. 11–20.

TLCA-2003-Montelatici #fixpoint #proving #semantics

Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.

ICPR-v2-2002-YeungB #analysis #mobile #towards

Towards Log-Polar Fixation for Mobile Robots — Analysis of Corner Tracking on the Log-Polar Camera (AY, NB), pp. 300–303.

ICPR-v3-2002-HontaniSKA #feature model #image #symmetry

Vibratory Image Feature Extraction Based on Local Log-Polar Symmetry (HH, JS, AK, SA), pp. 839–842.

ICPR-v4-2002-TraverP #estimation #image #segmentation #using

Motion Estimation and Figure-Ground Segmentation Using Log-Polar Images (VJT, FP), pp. 166–169.

SPLC-2002-JolleyKK #product line

Governance Polarities of Internal Product Lines (TMJ, DJK, CEK), pp. 284–298.

LICS-2002-Laurent #game studies

Polarized Games (OL), p. 265–?.

CIKM-2000-SmithWSP #architecture #database #named #parallel

Polar: An Architecture for a Parallel ODMG Compliant Object Database (JS, PW, SdFMS, NWP), pp. 352–359.

ICPR-v3-2000-Rahmann #analysis #geometry #image

Polarization Images: A Geometric Interpretation for Shape Analysis (SR), pp. 3542–3546.

TLCA-1999-Laurent

Polarized Proof-Nets: Proof-Nets for LC (OL), pp. 213–227.

ICPR-1998-AhrnsN #realtime #similarity #using

Real-time monocular fixation control using the log-polar transformation and a confidence-based similarity measure (IA, HN), pp. 310–315.

ICPR-1996-CapurroPS #image

Vergence and tracking fusing log-polar images (CC, FP, GS), pp. 740–744.

ICPR-1996-LinL #detection #using

Detection of specularity using stereo in color and polarization space (SL, SWL), pp. 263–267.

DAC-1992-SarabiP #canonical #network #performance

Fast Exact and Quasi-Minimal Minimization of Highly Testable Fixed-Polarity AND/XOR Canonical Networks (AS, MAP), pp. 30–35.

DAC-1988-HelliwellP #algorithm #multi #performance

A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms (MH, MAP), pp. 427–432.

DAC-1984-ShinshaKHAI #algorithm #logic #named #synthesis

Polaris: Polarity propagation algorithm for combinational logic synthesis (TS, TK, MH, KA, KI), pp. 322–328.