Stem divis$ (all stems)

44 papers:

MLDM-2015-AmalamanE #algorithm #clustering #named

Avalanche: A Hierarchical, Divisive Clustering Algorithm (PKA, CFE), pp. 296–310.

LICS-2015-LechnerOW #complexity #linear #on the

On the Complexity of Linear Arithmetic with Divisibility (AL, JO, JW), pp. 667–676.

DATE-2014-VartziotisKCPJ #multi #optimisation #using

Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.

HIMI-DE-2014-KobayashiS #corpus #topic

Finding Division Points for Time-Series Corpus Based on Topic Changes (HK, RS), pp. 364–372.

PPDP-2014-Neron

Elimination of Square Roots and Divisions by Partial Inlining (PN), pp. 81–92.

HIMI-LCCB-2013-SuzukiKUIISS #collaboration #detection #multi

Detection of Division of Labor in Multiparty Collaboration (NS, TK, IU, SI, SI, MS, KS), pp. 362–371.

CSCW-2012-SuzukiKUII #collaboration #multi

Analyzing the structure of the emergent division of labor in multiparty collaboration (NS, TK, IU, SI, SI), pp. 1233–1236.

KDIR-2012-Potuzak #algorithm #network #optimisation #search-based #using

Issues of Optimization of a Genetic Algorithm for Traffic Network Division using a Genetic Algorithm (TP), pp. 340–343.

DATE-2011-ShahRK #bound #latency #performance

Priority division: A high-speed shared-memory bus arbitration with bounded latency (HS, AR, AK), pp. 1497–1500.

ICEIS-v4-2011-WangX #empirical #multi #performance

Is Internal Capital Market of China Listed Companies Efficient? — Empirical Evidences from Listed Companies Which Have Multiple Divisions in H-stock (FW, ZX), pp. 600–605.

KDIR-2011-Potuzak #algorithm #network #search-based

Suitability of a Genetic Algorithm for Road Traffic Network Division (TP), pp. 448–451.

SPLC-2011-YoshimuraSOOAKWF #experience #multi #process #product line

Key Activities for Introducing Software Product Lines into Multiple Divisions: Experience at Hitachi (KY, JS, TO, CO, YA, SK, SW, KF), pp. 261–266.

HPCA-2011-PellauerAKPE #manycore #named #simulation #using

HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing (MP, MA, MAK, AP, JSE), pp. 406–417.

DHM-2009-NiuLX09a #3d #clustering

Block Division for 3D Head Shape Clustering (JN, ZL, SX), pp. 64–71.

SAC-2009-BoscPS #query

Stratified division queries involving ordinal user preferences (PB, OP, OS), pp. 1748–1749.

ICPR-2008-VazquezRC #image #recognition

A new image division for LBP method to improve face recognition under varying lighting conditions (HMV, EBGR, YCM), pp. 1–4.

DATE-2007-Srivastava #interactive #predict #scalability

Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling (NRS), pp. 195–200.

DATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification

A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.

DLT-2006-PaunP

P Systems with Proteins on Membranes and Membrane Division (AP, BP), pp. 292–303.

PODS-2005-LeindersB #algebra #complexity #on the #relational #set

On the complexity of division and set joins in the relational algebra (DL, JVdB), pp. 76–83.

FoSSaCS-2005-BozgaI #decidability #on the

On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.

ICPR-v3-2004-KoKB04a #learning #multi #problem

Improved N-Division Output Coding for Multiclass Learning Problems (JK, EK, HB), pp. 470–473.

HPDC-2003-YangC #named #robust #scheduling

RUMR: Robust Scheduling for Divisible Workloads (YY, HC), pp. 114–125.

ICPR-v1-2002-HiranoHTOE #3d #image #quantifier #using

Quantification of Shrinkage of Lung Lobe from Chest CT Images Using the 3D Extended Voronoi Division and its Application to the Benign/Malignant Discrimination of Tumor Shadows (YH, JiH, JiT, HO, KE), pp. 751–754.

ICALP-2001-Hesse

Division Is in Uniform TC0 (WH), pp. 104–114.

IJCAR-2001-Waldmann #order

Superposition and Chaining for Totally Ordered Divisible Abelian Groups (UW), pp. 226–241.

DAC-1998-ChangC #performance

Efficient Boolean Division and Substitution (SCC, DIC), pp. 342–347.

ASPLOS-1998-CitronFR #implementation #multi

Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units (DC, DGF, LR), pp. 252–261.

CADE-1998-Waldmann

Superposition for Divisible Torsion-Free Abelian Groups (UW), pp. 144–159.

SAC-1997-Bosc #fuzzy #on the

On the primitivity of the division of fuzzy relations (PB), pp. 197–201.

CSCW-1996-MarkHS #collaboration #hypermedia

Hypermedia Structures and the Division of Labor in Meeting Room Collaboration (GM, JMH, NAS), pp. 170–179.

CAV-1996-ClarkeGZ #algorithm #proving #theorem proving #using #verification

Verifying the SRT Division Algorithm Using Theorem Proving Techniques (EMC, SMG, XZ), pp. 111–122.

CAV-1996-RuessSS #composition #verification

Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.

SIGMOD-1995-RamaswamyK

OODB Indexing by Class-Division (SR, PCK), pp. 139–150.

PLDI-1994-GranlundM #integer #invariant #multi #using

Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.

DAC-1993-Tokarnia

Minimal Shift Counters and Frequency Division (AMT), pp. 19–24.

DAC-1992-HsuS #algebra #logic #multi #synthesis

Coalgebraic Division for Multilevel Logic Synthesis (WJH, WZS), pp. 438–442.

CHI-1991-Rivers #interactive

Human computer interaction division Logica Cambridge LTD., UK (RR), pp. 481–482.

CHI-1990-LandauerK #bibliography #research

CHI in the applied research divisions at Bellcore (lab review) (TKL, REK), pp. 285–286.

STOC-1989-ReifT #integer

Optimal Size Integer Division Circuits (JHR, SRT), pp. 264–273.

ESEC-1987-Knabe #exception #fault #industrial #re-engineering #safety

The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.

ASPLOS-1987-MagenheimerPPZ #architecture #integer #multi #precise

Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.

STOC-1986-Kosaraju #evaluation #parallel

Parallel Evaluation of Division-Free Arithmetic Expressions (SRK), pp. 231–239.

STOC-1972-Fiduccia #algorithm #evaluation #fourier #performance #polynomial #revisited

Polynomial Evaluation via the Division Algorithm: The Fast Fourier Transform Revisited (CMF), pp. 88–93.