Stem residu$ (all stems)

46 papers:

CHI-2015-AhmedMJ

Residual Mobilities: Infrastructural Displacement and Post-Colonial Computing in Bangladesh (SIA, NJM, SJJ), pp. 437–446.

SAT-2014-FeketeC #constraints #pseudo

Simplifying Pseudo-Boolean Constraints in Residual Number Systems (YF, MC), pp. 351–366.

DHM-HB-2013-ColomboFRVZ #3d #automation #image #re-engineering

Automatic 3D Reconstruction of Transfemoral Residual Limb from MRI Images (GC, GF, CR, AV, AZ), pp. 324–332.

RE-2013-Salger #challenge #open science #requirements #research

Requirements reviews revisited: Residual challenges and open research questions (FS), pp. 250–255.

HPDC-2013-ClaySM #clustering #interactive #scalability

Building and scaling virtual clusters with residual resources from interactive clouds (RBC, ZS, XM), pp. 119–120.

ICML-2012-KalaitzisL #analysis #component

Residual Components Analysis (AAK, NDL), p. 73.

ICPR-2012-WangXY #classification #image #re-engineering

Sparse residue for occluded face image reconstruction and classification (JW, YX, JY), pp. 1707–1710.

ISSTA-2012-LiRCS #debugging #detection #precise #predict

Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.

CIAA-J-2010-Dangalchev11

Residual Closeness and Generalized Closeness (CD), pp. 1939–1948.

DLT-2011-Kasprzik #automaton #finite #query

Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data (AK), pp. 476–477.

CASE-2010-JiangKM #monitoring #predict

Residual life prediction for systems subject to condition monitoring (RJ, MJK, VM), pp. 106–111.

CHI-2010-LankST #documentation #fault #injection #using

Estimating residual error rate in recognized handwritten documents using artificial error injection (EL, RS, MAT), pp. 1–4.

ICML-2010-Scherrer #difference #fixpoint #perspective

Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.

ICPR-2010-JirachawengHLYA #analysis #modelling

Residual Analysis for Fingerprint Orientation Modeling (SJ, ZH, JL, WYY, VA), pp. 1196–1199.

ICST-2010-NagahawatteD #effectiveness #fault #testing

The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects (PN, HD), pp. 79–88.

DAC-2009-VillenaS #automation #modelling #multi #named

ARMS — automatic residue-minimization based sampling for multi-point modeling techniques (JFV, LMS), pp. 951–956.

ICML-2008-Li #approximate #comparison #difference #linear #worst-case

A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.

SAC-2008-AlthausCEKMMZ

Computing H/D-exchange speeds of single residues from data of peptic fragments (EA, SC, MRE, AK, AGM, AMB, HZ), pp. 1273–1277.

SAC-2008-DornS #3d #approximate #named #predict

CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures (MD, ONdS), pp. 1261–1267.

ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.

ESEC-FSE-2007-ChilimbiNV #effectiveness #performance #profiling #testing

Quantifying the effectiveness of testing via efficient residual path profiling (TMC, AVN, KV), pp. 545–548.

ICPR-v4-2006-MellakhPD #using

Using Signal/Residual Information of Eigenfaces for PCA Face Space Dimensionality Characteristics (MAM, DPD, BD), pp. 574–577.

SAC-2004-JiangWM #network #thread

Protein threading with residue-environment matching by artificial neural networks (NJ, WXW, IM), pp. 209–210.

DLT-2003-CarmeGLTT #automaton #finite

Residual Finite Tree Automata (JC, RG, AL, AT, MT), pp. 171–182.

ICALP-2003-DenisE #automaton #probability

Residual Languages and Probabilistic Automata (FD, YE), pp. 452–463.

ICML-2003-SchoknechtM #algorithm #performance

TD(0) Converges Provably Faster than the Residual Gradient Algorithm (RS, AM), pp. 680–687.

RTA-2003-Bruggink #higher-order

Residuals in Higher-Order Rewriting (HJSB), pp. 123–137.

STOC-2002-KargerL #graph #random

Random sampling in residual graphs (DRK, MSL), pp. 63–66.

RTA-2002-Mellies #axiom #revisited

Axiomatic Rewriting Theory VI Residual Theory Revisited (PAM), pp. 24–50.

SIGIR-2001-AndoL #analysis

Iterative Residual Rescaling: An Analysis and Generalization of LSI (RKA, LL), pp. 154–162.

RE-2001-Wile #architecture #requirements

Residual Requirements and Architectural Residue (DSW), pp. 194–201.

SAC-2001-ZhouCH #correlation #identification #optimisation #problem #set #using

Identifying the most significant pairwise correlations of residues in different positions of helices: the subset selection problem using least squares optimization (XZ, GC, MTH), pp. 51–55.

DATE-1999-NagC

Post-Placement Residual-Overlap Removal with Minimal Movement (SN, KC), pp. 581–586.

DATE-1999-NoufalN #framework #generative #multi #self

A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes (IAN, MN), p. 122–?.

ICSE-1999-PavlopoulouY #monitoring #test coverage

Residual Test Coverage Monitoring (CP, MY), pp. 277–284.

ICML-1996-BanderaVBHB #visual notation

Residual Q-Learning Applied to Visual Attention (CB, FJV, JMB, MEH, LCBI), pp. 20–27.

ALP-1996-KhasidashviliG #normalisation #standard

Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.

DAC-1995-Kimura #verification

Residue BDD and Its Application to the Verification of Arithmetic Circuits (SK), pp. 542–545.

ICML-1995-Baird #algorithm #approximate #learning

Residual Algorithms: Reinforcement Learning with Function Approximation (LCBI), pp. 30–37.

PLILP-1994-Schulte #garbage collection

Deriving Residual Reference Count Garbage Collectors (WS), pp. 102–116.

PEPM-1992-Malmkjaer #predict #source code

Predicting Properties of Residual Programs (KM), pp. 8–13.

WSA-1992-Hanus #abstract interpretation #algorithm #logic programming #source code

An Abstract Interpretation Algorithm for Residuating Logic Programs (MH), pp. 304–312.

JICSLP-1992-Hanus #on the

On the Completeness of Residuation (MH), pp. 192–206.

STOC-1989-Vallee #integer #performance #polynomial

Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.

ICALP-1988-PanangadenS #nondeterminism #power of

Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.

DAC-1971-BossenOPS #network

Minimum test patterns for residue networks (DCB, DLO, AMP, MSS), pp. 278–284.