BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (463)
use (374)
effici (313)
genet (276)
problem (275)

Stem algorithm$ (all stems)

4171 papers:

CASECASE-2015-ChangL #algorithm #fuzzy #image
A fuzzy weighted mean aggregation algorithm for color image impulse noise removal (JYC, PCL), pp. 1268–1273.
CASECASE-2015-ChengTLCH #algorithm #modelling #network #optimisation
Modeling and optimizing tensile strength and yield point on steel bar by artificial neural network with evolutionary algorithm (CKC, JTT, TTL, JHC, KSH), pp. 1562–1563.
CASECASE-2015-ChouTHC #adaptation #algorithm #design #parametricity #process
Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.
CASECASE-2015-DeviNVKM #algorithm #implementation
E-mandi implementation based on gale-shapely algorithm for perishable goods supply chain (SPD, YN, NV, SVK, SM), pp. 1421–1426.
CASECASE-2015-FarhanPWL #algorithm #machine learning #predict #using
Predicting individual thermal comfort using machine learning algorithms (AAF, KRP, BW, PBL), pp. 708–713.
CASECASE-2015-LinHK #algorithm #fuzzy #image #segmentation
A noise- and size-insensitive integrity-based fuzzy c-means algorithm for image segmentation (PLL, PWH, CHK), pp. 1282–1287.
CASECASE-2015-LiuC #algorithm #evaluation #performance #quality #using
A fast algorithm for grasp quality evaluation using the object wrench space (SL, SC), pp. 558–563.
CASECASE-2015-LyuWC #algorithm #heuristic #integer #programming
Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASECASE-2015-MaedaK #algorithm #hybrid
Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
CASECASE-2015-ShellshearCBT #algorithm #concurrent #multi #problem #thread
A multi-threaded memetic packing algorithm for the ISO luggage packing problem (ES, JSC, RB, ST), pp. 1509–1514.
CASECASE-2015-SterlingSZC #algorithm #optimisation #parametricity #process
Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASECASE-2015-TanakaM #algorithm #bound #problem #strict
Dominance properties for the unrestricted block relocation problem and their application to a branch-and-bound algorithm (ST, FM), pp. 509–514.
CASECASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #fault tolerance #optimisation #performance #predict
A performance optimization algorithm for controller reconfiguration in fault tolerant distributed model predictive control (AZ, EZ, MY, SLJJ), pp. 886–891.
DACDAC-2015-BockHKS #algorithm #modelling
Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
DACDAC-2015-DingCZ #algorithm #invariant #performance
An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
DACDAC-2015-PapamichaelMH #algorithm #automation #design #named #performance #search-based #using
Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.
DACDAC-2015-RamprasathV #algorithm #optimisation #performance #statistics
An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DACDAC-2015-VasudevanR #algorithm #performance
An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
DACDAC-2015-ZhuangYKWC #algorithm #exponential #framework #performance #scalability #simulation #using
An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
DATEDATE-2015-ArumugamSAPUBPY #algorithm #co-evolution #design #energy #memory management #novel #performance
Novel inexact memory aware algorithm co-design for energy efficient computation: algorithmic principles (GPA, PS, JA, KVP, EU, AB, P, SY), pp. 752–757.
DATEDATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #optimisation #robust
GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.
DATEDATE-2015-ChenKXMLYVSCY #algorithm #array #learning
Technology-design co-optimization of resistive cross-point array for accelerating learning algorithms on chip (PYC, DK, ZX, AM, BL, JY, SBKV, JsS, YC, SY), pp. 854–859.
DATEDATE-2015-FernandoWNKC #agile #algorithm #design #synthesis #using
(AS)2: accelerator synthesis using algorithmic skeletons for rapid design space exploration (SF, MW, CN, AK, HC), pp. 305–308.
DATEDATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction
A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATEDATE-2015-HuangHC #algorithm #clustering #framework #multi #problem #scalability
Clustering-based multi-touch algorithm framework for the tracking problem with a large number of points (SLH, SYH, CPC), pp. 719–724.
DATEDATE-2015-KamalIAP #algorithm
A thermal stress-aware algorithm for power and temperature management of MPSoCs (MK, AI, AAK, MP), pp. 954–959.
DATEDATE-2015-LiDC #algorithm #clustering #power of
A scan partitioning algorithm for reducing capture power of delay-fault LBIST (NL, ED, GC), pp. 842–847.
DATEDATE-2015-PhilippeCBP #algorithm #design #embedded
Exploration and design of embedded systems including neural algorithms (JMP, AC, OB, MP), pp. 986–991.
HTHT-2015-RoutB #algorithm #dataset #ranking #twitter
A Human-annotated Dataset for Evaluating Tweet Ranking Algorithms (DPR, KB), pp. 95–99.
PODSPODS-2015-AcharyaDHLS #algorithm #approximate #performance
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
SIGMODSIGMOD-2015-ChangLQYZ #algorithm #component
Index-based Optimal Algorithms for Computing Steiner Components with Maximum Connectivity (LC, XL, LQ, JXY, WZ), pp. 459–474.
SIGMODSIGMOD-2015-GuoCC #algorithm #keyword #performance #query
Efficient Algorithms for Answering the m-Closest Keywords Query (TG, XC, GC), pp. 405–418.
SIGMODSIGMOD-2015-TrummerK #algorithm #incremental #multi #optimisation #query
An Incremental Anytime Algorithm for Multi-Objective Query Optimization (IT, CK), pp. 1941–1953.
SIGMODSIGMOD-2015-YuanMYG #algorithm #graph
Updating Graph Indices with a One-Pass Algorithm (DY, PM, HY, CLG), pp. 1903–1916.
VLDBVLDB-2015-ChoBBFKP #algorithm #named #parallel #performance
PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
VLDBVLDB-2015-DingSMM #algorithm #framework #named #optimisation #problem
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
VLDBVLDB-2015-InoueT #algorithm #array #sorting
SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures (HI, KT), pp. 1274–1285.
VLDBVLDB-2015-KejariwalKR #algorithm #realtime
Real Time Analytics: Algorithms and Systems (AK, SK, KR), pp. 2040–2051.
VLDBVLDB-2015-PapenbrockEMNRZ #algorithm #dependence #evaluation #functional
Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms (TP, JE, JM, TN, JPR, MS, JZ, FN), pp. 1082–1093.
VLDBVLDB-2015-ShiokawaFO #algorithm #clustering #graph #performance #scalability
SCAN++: Efficient Algorithm for Finding Clusters, Hubs and Outliers on Large-scale Graphs (HS, YF, MO), pp. 1178–1189.
VLDBVLDB-2015-VesdapuntBD #algorithm #crowdsourcing
Errata for “Crowdsourcing Algorithms for Entity Resolution” (PVLDB 7(12): 1071-1082) (NV, KB, NND), p. 641.
ITiCSEITiCSE-2015-Frison #algorithm #education
A Teaching Assistant for Algorithm Construction (PF), pp. 9–14.
ITiCSEITiCSE-2015-Soyslo #algorithm #student
From Algorithmic to Computational Thinking: On the Way for Computing for all Students (MMS), p. 1.
ITiCSEITiCSE-2015-Thomas #algorithm #women
Supporting Computational Algorithmic Thinking (SCAT): Exploring the difficulties African-American middle school girls face while enacting computational algorithmic thinking (JOT), pp. 69–74.
ESOPESOP-2015-SergeyNB #algorithm #concurrent #specification #verification
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (IS, AN, AB), pp. 333–358.
SANERSANER-2015-PalixFL #algorithm #difference
Improving pattern tracking with a language-aware tree differencing algorithm (NP, JRF, JL), pp. 43–52.
PLDIPLDI-2015-DingAVSOA #algorithm
Autotuning algorithmic choice for input sensitivity (YD, JA, KV, XS, UMO, SPA), pp. 379–390.
PLDIPLDI-2015-FaddegonC #algorithm #debugging #dependence #haskell #source code #stack
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.
STOCSTOC-2015-BhattacharyaHNT #algorithm #maintenance
Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams (SB, MH, DN, CET), pp. 173–182.
STOCSTOC-2015-ChawlaMSY #algorithm #clustering #graph
Near Optimal LP Rounding Algorithm for CorrelationClustering on Complete and Complete k-partite Graphs (SC, KM, TS, GY), pp. 219–228.
STOCSTOC-2015-CousinsV #algorithm
Bypassing KLS: Gaussian Cooling and an O^*(n3) Volume Algorithm (BC, SV), pp. 539–548.
STOCSTOC-2015-Gupta0 #algorithm
Greedy Algorithms for Steiner Forest (AG, AK), pp. 871–878.
STOCSTOC-2015-HansenZ #algorithm
An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm (TDH, UZ), pp. 209–218.
STOCSTOC-2015-LackiOPSZ #algorithm #distance #performance #power of
The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.
STOCSTOC-2015-LarsenNN #adaptation #algorithm #bound #streaming
Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms (KGL, JN, HLN), pp. 803–812.
STOCSTOC-2015-Louis #algorithm #approximate #markov
Hypergraph Markov Operators, Eigenvalues and Approximation Algorithms (AL), pp. 713–722.
STOCSTOC-2015-SchulmanS #algorithm #analysis #matrix
Analysis of a Classical Matrix Preconditioning Algorithm (LJS, AS), pp. 831–840.
ICALPICALP-v1-2015-AmanatidisMNS #algorithm #approximate
Approximation Algorithms for Computing Maximin Share Allocations (GA, EM, AN, AS), pp. 39–51.
ICALPICALP-v1-2015-BehsazFSS #algorithm #approximate #clustering
Approximation Algorithms for Min-Sum k-Clustering and Balanced k-Median (BB, ZF, MRS, RS), pp. 116–128.
ICALPICALP-v1-2015-BhattacharyaHI #algorithm #design
Design of Dynamic Algorithms via Primal-Dual Method (SB, MH, GFI), pp. 206–218.
ICALPICALP-v1-2015-BurtonMS #algorithm #complexity #invariant
Algorithms and Complexity for Turaev-Viro Invariants (BAB, CM, JS), pp. 281–293.
ICALPICALP-v1-2015-ChekuriGQ #algorithm #streaming
Streaming Algorithms for Submodular Function Maximization (CC, SG, KQ), pp. 318–330.
ICALPICALP-v1-2015-FominKLPS #algorithm #polynomial
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.
ICALPICALP-v1-2015-GaspersS #algorithm #performance #set
Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets (SG, GBS), pp. 567–579.
ICALPICALP-v1-2015-GrosseGKSS #algorithm #performance
Fast Algorithms for Diameter-Optimally Augmenting Paths (UG, JG, CK, MHMS, FS), pp. 678–688.
ICALPICALP-v1-2015-HenzingerKN #algorithm #graph #reachability
Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs (MH, SK, DN), pp. 725–736.
ICALPICALP-v1-2015-LokshtanovRS #algorithm #feedback #linear #set
Linear Time Parameterized Algorithms for Subset Feedback Vertex Set (DL, MSR, SS), pp. 935–946.
ICALPICALP-v1-2015-MitchellPSW #algorithm
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains (JSBM, VP, MS, HW), pp. 947–959.
ICALPICALP-v1-2015-MomkeW #algorithm #approximate #problem
A (2+ε)-Approximation Algorithm for the Storage Allocation Problem (TM, AW), pp. 973–984.
ICALPICALP-v1-2015-WangW #algorithm #online
Two-sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm (YW, SCwW), pp. 1070–1081.
ICALPICALP-v1-2015-Yu #algorithm #combinator #matrix #multi
An Improved Combinatorial Algorithm for Boolean Matrix Multiplication (HY), pp. 1094–1105.
ICALPICALP-v2-2015-Charron-BostFN #algorithm #approximate #network
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms (BCB, MF, TN), pp. 528–539.
LATALATA-2015-BjorklundDZ #algorithm #automaton #performance
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
LATALATA-2015-DaiW #algorithm #parallel #random #sequence
A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk (HKD, ZW), pp. 133–144.
SEFMSEFM-2015-VollingerR #algorithm #certification #distributed #problem
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
ICFPICFP-2015-ZilianiS #algorithm #coq #morphism #polymorphism #unification
A unification algorithm for Coq featuring universe polymorphism and overloading (BZ, MS), pp. 179–191.
CHICHI-2015-EslamiRVAVKHS #algorithm #quote #reasoning
“I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms in News Feeds (ME, AR, KV, AA, AV, KK, KH, CS), pp. 153–162.
CHICHI-2015-LeeKMD #algorithm #data-driven
Working with Machines: The Impact of Algorithmic and Data-Driven Management on Human Workers (MKL, DK, EM, LD), pp. 1603–1612.
CHICHI-2015-LoeppH0 #algorithm #information management #interactive #recommendation
Blended Recommending: Integrating Interactive Information Filtering and Algorithmic Recommender Techniques (BL, KH, JZ), pp. 975–984.
CHICHI-2015-RaderG #algorithm #comprehension #facebook
Understanding User Beliefs About Algorithmic Curation in the Facebook News Feed (ER, RG), pp. 173–182.
CHICHI-2015-WarshawMWKBS #algorithm #comprehension #people
Can an Algorithm Know the “Real You”?: Understanding People’s Reactions to Hyper-personal Analytics Systems (JW, TM, SW, CK, MNB, BAS), pp. 797–806.
CSCWCSCW-2015-SenGGHLNRWH #algorithm #community #standard
Turkers, Scholars, “Arafat” and “Peace”: Cultural Communities and Algorithmic Gold Standards (SS, MEG, RG, BH, ML, SN, JR, Z(W, BH), pp. 826–838.
CSCWCSCW-2015-Tufekci #algorithm
Algorithms in our Midst: Information, Power and Choice when Software is Everywhere (ZT), p. 1918.
HCIDHM-EH-2015-GeurtsSKBL #3d #algorithm #comparison #image #modelling #segmentation #statistics #visual notation
Visual Comparison of 3D Medical Image Segmentation Algorithms Based on Statistical Shape Models (AG, GS, AK, MB, TvL), pp. 336–344.
HCIHCI-DE-2015-GrobelnyM #algorithm #analysis #comparative #design #grid #visual notation
Comparative Analysis of Regular Grid Based Algorithms in the Design of Graphical Control Panels (JG, RM), pp. 332–339.
ICEISICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #sequence #strict
Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
ICEISICEIS-v1-2015-CarboneraA #algorithm #category theory #clustering #named
CBK-Modes: A Correlation-based Algorithm for Categorical Data Clustering (JLC, MA), pp. 603–608.
ICEISICEIS-v1-2015-Castanon-PugaSG #algorithm #data mining #fuzzy #logic #mining #mobile #using
Hybrid-Intelligent Mobile Indoor Location Using Wi-Fi Signals — Location Method Using Data Mining Algorithms and Type-2 Fuzzy Logic Systems (MCP, ASC, CGP, GLS, MFP, EAT), pp. 609–615.
ICEISICEIS-v1-2015-NouriDG #algorithm #flexibility #multi #problem #scheduling #search-based
Genetic Algorithm Combined with Tabu Search in a Holonic Multiagent Model for Flexible Job Shop Scheduling Problem (HEN, OBD, KG), pp. 573–584.
ICEISICEIS-v1-2015-YakhyaevaY #algorithm
An Algorithm to Compare Computer-security Knowledge from Different Sources (GY, OY), pp. 565–572.
ICEISICEIS-v2-2015-CanutMOPS #algorithm #case study #comparative #empirical #profiling
A Comparative Study of Two Egocentric-based User Profiling Algorithms — Experiment in Delicious (CMFC, MM, SOa, AP, FS), pp. 632–639.
ECIRECIR-2015-SchedlHFT #algorithm #music #on the #recommendation
On the Influence of User Characteristics on Music Recommendation Algorithms (MS, DH, KF, MT), pp. 339–345.
ICMLICML-2015-BenavoliCMZ #algorithm #parametricity
A Bayesian nonparametric procedure for comparing algorithms (AB, GC, FM, MZ), pp. 1264–1272.
ICMLICML-2015-BeygelzimerKL #adaptation #algorithm #online
Optimal and Adaptive Algorithms for Online Boosting (AB, SK, HL), pp. 2323–2331.
ICMLICML-2015-FrostigGKS #algorithm #approximate #empirical #named #performance #probability
Un-regularizing: approximate proximal point and faster stochastic algorithms for empirical risk minimization (RF, RG, SK, AS), pp. 2540–2548.
ICMLICML-2015-GajaneUC #algorithm #exponential
A Relative Exponential Weighing Algorithm for Adversarial Utility-based Dueling Bandits (PG, TU, FC), pp. 218–227.
ICMLICML-2015-GiguereRLM #algorithm #kernel #predict #problem #string
Algorithms for the Hard Pre-Image Problem of String Kernels and the General Problem of String Prediction (SG, AR, FL, MM), pp. 2021–2029.
ICMLICML-2015-GuL #algorithm #fault
A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICMLICML-2015-JohnsonG #named #optimisation #scalability
Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.
ICMLICML-2015-KricheneBTB #algorithm
The Hedge Algorithm on a Continuum (WK, MB, CJT, AMB), pp. 824–832.
ICMLICML-2015-MarietS #algorithm #fixpoint #learning #process
Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
ICMLICML-2015-NarasimhanRS0 #algorithm #consistency #metric #multi #performance
Consistent Multiclass Algorithms for Complex Performance Measures (HN, HGR, AS, SA), pp. 2398–2407.
ICMLICML-2015-RaskuttiM #algorithm #random #sketching #statistics
Statistical and Algorithmic Perspectives on Randomized Sketching for Ordinary Least-Squares (GR, MM), pp. 617–625.
ICMLICML-2015-ShahKG #algorithm #empirical #probability #process
An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process (AS, DAK, ZG), pp. 1594–1603.
ICMLICML-2015-Shamir #algorithm #convergence #exponential #probability
A Stochastic PCA and SVD Algorithm with an Exponential Convergence Rate (OS), pp. 144–152.
ICMLICML-2015-WuS #algorithm #learning #modelling #online
An Online Learning Algorithm for Bilinear Models (YW, SS), pp. 890–898.
ICMLICML-2015-XuJZ #algorithm #matrix
CUR Algorithm for Partially Observed Matrices (MX, RJ, ZHZ), pp. 1412–1421.
ICMLICML-2015-YangX #algorithm #framework
A Unified Framework for Outlier-Robust PCA-like Algorithms (WY, HX), pp. 484–493.
ICMLICML-2015-YiCP #algorithm #performance
Binary Embedding: Fundamental Limits and Fast Algorithm (XY, CC, EP), pp. 2162–2170.
ICMLICML-2015-ZhangWJ #algorithm #bound #distributed #estimation #matrix #performance #rank
Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDDKDD-2015-ChierichettiEKL #algorithm #network #performance #social
Efficient Algorithms for Public-Private Social Networks (FC, AE, RK, SL, VSM), pp. 139–148.
KDDKDD-2015-CortesMM #adaptation #algorithm
Adaptation Algorithm and Theory Based on Generalized Discrepancy (CC, MM, AMM), pp. 169–178.
KDDKDD-2015-GleichM #algorithm #graph #learning #using
Using Local Spectral Methods to Robustify Graph-Based Learning Algorithms (DFG, MWM), pp. 359–368.
KDDKDD-2015-MahdianSV #algorithm
Algorithmic Cartography: Placing Points of Interest and Ads on Maps (MM, OS, SV), pp. 755–764.
KDDKDD-2015-MinorDC #algorithm #data-driven #evaluation #predict #process
Data-Driven Activity Prediction: Algorithms, Evaluation Methodology, and Applications (BM, JRD, DJC), pp. 805–814.
KDDKDD-2015-RiondatoU15a #algorithm #learning #statistics
VC-Dimension and Rademacher Averages: From Statistical Learning Theory to Sampling Algorithms (MR, EU), pp. 2321–2322.
KDDKDD-2015-Shun #algorithm #estimation #evaluation #graph #parallel
An Evaluation of Parallel Eccentricity Estimation Algorithms on Undirected Real-World Graphs (JS), pp. 1095–1104.
KDDKDD-2015-Yi0YLW #algorithm #clustering #constraints #performance
An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
MLDMMLDM-2015-AmalamanE #algorithm #clustering #named
Avalanche: A Hierarchical, Divisive Clustering Algorithm (PKA, CFE), pp. 296–310.
MLDMMLDM-2015-IshayH #algorithm #clustering #integration #novel
A Novel Algorithm for the Integration of the Imputation of Missing Values and Clustering (RBI, MH), pp. 115–129.
MLDMMLDM-2015-TaT #algorithm #database #owl #relational
Improving the Algorithm for Mapping of OWL to Relational Database Schema (CDCT, TPT), pp. 130–139.
RecSysRecSys-2015-EkstrandKHK #algorithm #case study #recommendation
Letting Users Choose Recommender Algorithms: An Experimental Study (MDE, DK, FMH, JAK), pp. 11–18.
RecSysRecSys-2015-ForsatiBMER #algorithm #named #performance #recommendation #trust
PushTrust: An Efficient Recommendation Algorithm by Leveraging Trust and Distrust Relations (RF, IB, FM, AHE, HR), pp. 51–58.
RecSysRecSys-2015-KowaldL #algorithm #case study #comparative #folksonomy #recommendation
Evaluating Tag Recommender Algorithms in Real-World Folksonomies: A Comparative Study (DK, EL), pp. 265–268.
RecSysRecSys-2015-MarinhoTP #algorithm #question #recommendation
Are Real-World Place Recommender Algorithms Useful in Virtual World Environments? (LBM, CT, DP), pp. 245–248.
SEKESEKE-2015-Murillo-MoreraJ #algorithm #approach #framework #learning #predict #search-based #using
A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
SEKESEKE-2015-SaberE #algorithm #array #clustering #novel
BiBinConvmean : A Novel Biclustering Algorithm for Binary Microarray Data (HBS, ME), pp. 178–181.
SEKESEKE-2015-XuSZ #algorithm #policy #testing
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SIGIRSIGIR-2015-LuccheseNOPTV #algorithm #documentation #named #performance #rank
QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees (CL, FMN, SO, RP, NT, RV), pp. 73–82.
ICMTICMT-J-2012-VarroDWS15 #algorithm #emf #generative #modelling #pattern matching
An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.
MoDELSMoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
POPLPOPL-2015-ChatterjeeIPG #algebra #algorithm #constant #performance #recursion #state machine
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (KC, RIJ, AP, PG), pp. 97–109.
POPLPOPL-2015-Pous #algebra #algorithm #equivalence #testing
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
SACSAC-2015-AbdiAM #algorithm #robust #video
A robust video watermarking algorithm in H.264/AVC compressed domain (LA, FBA, AM), pp. 1291–1293.
SACSAC-2015-AbdiH #algorithm #distributed
An algorithm for distributed certificate chain discovery in open environments (SA, JH), pp. 2292–2298.
SACSAC-2015-BarddalGE #algorithm #clustering #data type #named #social
SNCStream: a social network-based data stream clustering algorithm (JPB, HMG, FE), pp. 935–940.
SACSAC-2015-BasgaluppBP #algorithm #evolution #induction #multi
Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.
SACSAC-2015-CruzPQSSOBO #algorithm #game studies #named #probability #using
Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games (ABC, LP, JQ, US, SS, AO, EB, ESO), pp. 208–213.
SACSAC-2015-FerrucciSKS #algorithm #framework #parallel #pipes and filters #search-based
A parallel genetic algorithms framework based on Hadoop MapReduce (FF, PS, MTK, FS), pp. 1664–1667.
SACSAC-2015-GoldnerVSG #2d #algorithm
A shortest path algorithm for 2D seismic horizon tracking (ELG, CNV, PMS, MG), pp. 80–85.
SACSAC-2015-JeongYAYP #algorithm #interactive #network #search-based #using
Inference of disease-specific gene interaction network using a Bayesian network learned by genetic algorithm (DJ, YY, JA, YY, SP), pp. 47–53.
SACSAC-2015-Jo #algorithm #image #interactive #search-based #using
Color image quantization using interactive genetic algorithm (SJ), pp. 139–140.
SACSAC-2015-JoCKBO #algorithm #approach #collaboration #cpu #data-driven #on the
On running data-intensive algorithms with intelligent SSD and host CPU: a collaborative approach (YYJ, SC, SWK, DHB, HO), pp. 2060–2065.
SACSAC-2015-LeeKKE #algorithm #architecture #hybrid #memory management #named
M-CLOCK: migration-optimized page replacement algorithm for hybrid DRAM and PCM memory architecture (ML, DK, JK, YIE), pp. 2001–2006.
SACSAC-2015-LevoratoDFF #algorithm #network #social
An ILS algorithm to evaluate structural balance in signed social networks (ML, LMdAD, YF, RMVdF), pp. 1117–1122.
SACSAC-2015-MartinCBGP #algorithm #gpu
OpenACC-based GPU acceleration of an optical flow algorithm (NM, JC, GB, CG, MP), pp. 96–98.
SACSAC-2015-NascimentoPM #algorithm #machine learning #metaheuristic
A data quality-aware cloud service based on metaheuristic and machine learning provisioning algorithms (DCN, CESP, DGM), pp. 1696–1703.
SACSAC-2015-RiediBP #algorithm #performance #scalability
Channel and power allocation algorithm to optimize the performance of large WLANs (MR, GGB, MEP), pp. 673–679.
SACSAC-2015-RochaRCOMVADGF #algorithm #classification #dataset #documentation #named #performance #using
G-KNN: an efficient document classification algorithm for sparse datasets on GPUs using KNN (LCdR, GSR, RC, RSO, DM, FV, GA, SD, MAG, RF), pp. 1335–1338.
SACSAC-2015-SilvaMR #algorithm #approach #problem #using
An approach to the MOGAS initialization problem using an algorithm based on path relinking (TGNdS, JEBM, LSR), pp. 118–124.
SACSAC-2015-Zheng #algorithm #recommendation
Improve general contextual slim recommendation algorithms by factorizing contexts (YZ), pp. 929–930.
ICSEICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
SPLCSPLC-2015-ArrietaSE #algorithm #cyber-physical #product line #validation
Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
HPCAHPCA-2015-HayesPUCV #algorithm #architecture #novel #sorting
VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors (TH, OP, OSÜ, AC, MV), pp. 26–38.
PPoPPPPoPP-2015-ChangG #algorithm #concurrent #parallel
A parallel algorithm for global states enumeration in concurrent systems (YJC, VKG), pp. 140–149.
PPoPPPPoPP-2015-Gramoli #algorithm #concurrent #impact analysis
More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms (VG), pp. 1–10.
PPoPPPPoPP-2015-HarshvardhanAR #algorithm #approach #communication #graph #parallel
A hierarchical approach to reducing communication in parallel graph algorithms (H, NMA, LR), pp. 285–286.
PPoPPPPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion
Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
CAVCAV-2015-ChatterjeeIP #algorithm #constant #graph #performance #verification
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (KC, RIJ, AP), pp. 140–157.
CAVCAV-2015-FinkbeinerRS #algorithm #model checking
Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
CAVCAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CSLCSL-2015-Williams
Thinking Algorithmically About Impossibility (Invited Talk) (RRW), pp. 14–23.
ICLPICLP-2015-Zaniolo #algorithm #logic programming #source code
Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
ICSTICST-2015-HuuhtanenIL #algebra #algorithm #design #testing
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
ISSTAISSTA-2015-TanXCSLD #algorithm #optimisation
Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.
LICSLICS-2015-ChatterjeeHL #algorithm
Improved Algorithms for One-Pair and k-Pair Streett Objectives (KC, MH, VL), pp. 269–280.
ICSTSAT-2015-ChenS #algorithm #satisfiability
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP (RC, RS), pp. 33–45.
ICSTSAT-2015-GanianS #algorithm #community #satisfiability
Community Structure Inspired Algorithms for SAT and #SAT (RG, SS), pp. 223–237.
CASECASE-2014-DengWW #algorithm #distributed #problem #scheduling
A competitive memetic algorithm for the distributed flow shop scheduling problem (JD, LW, SW), pp. 107–112.
CASECASE-2014-KanagarajPL #algorithm #optimisation #process
Application of a hybridized cuckoo search-genetic algorithm to path optimization for PCB holes drilling process (GK, SGP, WCEL), pp. 373–378.
CASECASE-2014-MaTLZLD #algorithm #hybrid #optimisation #scheduling
A hybrid particle swarm optimization and simulated annealing algorithm for job-shop scheduling (PCM, FT, YL, LZ, HXL, ZD), pp. 125–130.
CASECASE-2014-TanakaT #algorithm #bound #performance #problem
A faster branch-and-bound algorithm for the block relocation problem (ST, KT), pp. 7–12.
CASECASE-2014-WangCG #algorithm #constraints #estimation #hybrid #multi #problem #scheduling
Hybrid estimation of distribution algorithm with multiple subpopulations for semiconductor manufacturing scheduling problem with limited waiting-time constraint (HKW, CFC, MG), pp. 101–106.
CASECASE-2014-WangW #algorithm #estimation #problem #scheduling #testing
Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
DACDAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management
Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.
DACDAC-2014-AmaruGM #algorithm #graph #logic #novel #optimisation #performance
Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
DACDAC-2014-DongZC #algorithm #online #performance #reduction
A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DACDAC-2014-ElbayoumiCKSHE #algorithm #named #parallel #synthesis
TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis (ME, MC, VNK, AS, MSH, MYE), p. 6.
DACDAC-2014-LinLCLH #algorithm #performance
An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DACDAC-2014-LinRGDS #algorithm #performance
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.
DACDAC-2014-ShanSFZTXYL #algorithm #analysis #configuration management #encryption #multi
A Side-channel Analysis Resistant Reconfigurable Cryptographic Coprocessor Supporting Multiple Block Cipher Algorithms (WS, LS, XF, XZ, CT, ZX, JY, JL), p. 6.
DACDAC-2014-XiaCK #algorithm #automation #detection #development
An Automobile Detection Algorithm Development for Automated Emergency Braking System (LX, TDC, KAAK), p. 6.
DATEDATE-2014-AguileraLFMSK #algorithm #clustering #multi #process
Process variation-aware workload partitioning algorithms for GPUs supporting spatial-multitasking (PA, JL, AFF, KM, MJS, NSK), pp. 1–6.
DATEDATE-2014-Matsunaga #algorithm #generative #parallel #synthesis
Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
DATEDATE-2014-Maurer #algorithm #detection #symmetry
A universal symmetry detection algorithm (PMM), pp. 1–4.
DRRDRR-2014-MaXA #algorithm #machine learning #segmentation #video
A machine learning based lecture video segmentation and indexing algorithm (DM, BX, GA), p. ?–8.
SIGMODSIGMOD-2014-CaiGLPVJ #algorithm #comparison #implementation #machine learning #scalability
A comparison of platforms for implementing and running very large scale machine learning algorithms (ZC, ZJG, SL, LLP, ZV, CMJ), pp. 1371–1382.
SIGMODSIGMOD-2014-ChenLWXML #algorithm #network #performance #query
Efficient algorithms for optimal location queries in road networks (ZC, YL, RCWW, JX, GM, CL), pp. 123–134.
SIGMODSIGMOD-2014-DengLF #algorithm #similarity #string
A pivotal prefix based filtering algorithm for string similarity search (DD, GL, JF), pp. 673–684.
SIGMODSIGMOD-2014-Dev #algorithm #community #detection #interactive #network #online #social
A user interaction based community detection algorithm for online social networks (HD), pp. 1607–1608.
VLDBVLDB-2014-ChiangDN #algorithm #performance
Tracking Entities in the Dynamic World: A Fast Algorithm for Matching Temporal Records (YHC, AD, JFN), pp. 469–480.
VLDBVLDB-2014-GaoP #algorithm #exclamation
Finish Them!: Pricing Algorithms for Human Computation (YG, AGP), pp. 1965–1976.
VLDBVLDB-2014-KorulaL #algorithm #network #performance #social
An efficient reconciliation algorithm for social networks (NK, SL), pp. 377–388.
VLDBVLDB-2014-LiHMW #algorithm #difference #privacy #query
A Data- and Workload-Aware Query Answering Algorithm for Range Queries Under Differential Privacy (CL, MH, GM, YW), pp. 341–352.
VLDBVLDB-2014-ParameswaranBG0PW #algorithm #rating
Optimal Crowd-Powered Rating and Filtering Algorithms (AGP, SB, HGM, AG, NP, JW), pp. 685–696.
VLDBVLDB-2014-SalihogluW #algorithm #graph #optimisation
Optimizing Graph Algorithms on Pregel-like Systems (SS, JW), pp. 577–588.
VLDBVLDB-2014-VesdapuntBD #algorithm #crowdsourcing
Crowdsourcing Algorithms for Entity Resolution (NV, KB, NND), pp. 1071–1082.
VLDBVLDB-2014-YanCXLNB #algorithm #graph #performance #problem
Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees (DY, JC, KX, YL, WN, YB), pp. 1821–1832.
VLDBVLDB-2014-YunYHVD #algorithm #distributed #matrix #multi #named #probability
NOMAD: Nonlocking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion (HY, HFY, CJH, SVNV, ISD), pp. 975–986.
ITiCSEITiCSE-2014-FerreiraM #algorithm #analysis #design #education #using
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks (JFF, AM), pp. 75–80.
ITiCSEITiCSE-2014-Frison #algorithm #education #named #programming
AlgoTouch: a programming by demonstration tool for teaching algorithms (PF), p. 334.
ITiCSEITiCSE-2014-Katai #algorithm #visualisation
Selective hiding for improved algorithmic visualization (ZK), pp. 33–38.
ITiCSEITiCSE-2014-Katai14c #algorithm #perspective
Algorithmic thinking for ALL: a motivational perspective (ZK), p. 353.
ITiCSEITiCSE-2014-MaTKMSW #algorithm #named #visualisation
SHAvisual: a secure hash algorithm visualization tool (JM, JT, MSK, JM, CKS, CW), p. 338.
ITiCSEITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation
System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
FASEFASE-2014-MoreauHM #algorithm #api #design #online #testing #validation
An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
TACASTACAS-2014-BoenderC #algorithm #branch #correctness #on the
On the Correctness of a Branch Displacement Algorithm (JB, CSC), pp. 605–619.
TACASTACAS-2014-Cheval #algorithm #equivalence #named #proving
APTE: An Algorithm for Proving Trace Equivalence (VC), pp. 587–592.
TACASTACAS-2014-Lowe #algorithm #concurrent
Concurrent Depth-First Search Algorithms (GL), pp. 202–216.
SANERCSMR-WCRE-2014-Kamiya #algorithm #execution #keyword
An algorithm for keyword search on an execution path (TK), pp. 328–332.
ICSMEICSME-2014-RomanoRP #algorithm #interface #refactoring #search-based #using
Refactoring Fat Interfaces Using a Genetic Algorithm (DR, SR, MP), pp. 351–360.
MSRMSR-2014-TulsianKKLN #algorithm #model checking #named
MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
SCAMSCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
STOCSTOC-2014-AgarwalS #algorithm #approximate #geometry #metric
Approximation algorithms for bipartite matching with metric and geometric costs (PKA, RS), pp. 555–564.
STOCSTOC-2014-AlistarhCS #algorithm #concurrent #question
Are lock-free concurrent algorithms practically wait-free? (DA, KCH, NS), pp. 714–723.
STOCSTOC-2014-AndoniNOY #algorithm #geometry #graph #parallel #problem
Parallel algorithms for geometric graph problems (AA, AN, KO, GY), pp. 574–583.
STOCSTOC-2014-EisentragerHK0 #algorithm #quantum
A quantum algorithm for computing the unit group of an arbitrary degree number field (KE, SH, AK, FS), pp. 293–302.
STOCSTOC-2014-EneV #algorithm #approximate #bound #design #network #problem #requirements
Improved approximation algorithms for degree-bounded network design problems with node connectivity requirements (AE, AV), pp. 754–763.
STOCSTOC-2014-FriggstadS #algorithm #approximate #bound
Approximation algorithms for regret-bounded vehicle routing and applications to distance-constrained vehicle routing (ZF, CS), pp. 744–753.
STOCSTOC-2014-GargMV #algorithm #equilibrium
Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.
STOCSTOC-2014-GoldreichW #algorithm #on the
On derandomizing algorithms that err extremely rarely (OG, AW), pp. 109–118.
STOCSTOC-2014-Goodrich #algorithm #sorting
Zig-zag sort: a simple deterministic data-oblivious sorting algorithm running in O(n log n) time (MTG), pp. 684–693.
STOCSTOC-2014-HenzingerKN #algorithm #graph #reachability
Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs (MH, SK, DN), pp. 674–683.
STOCSTOC-2014-ImKM #algorithm #constraints #scheduling
Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints (SI, JK, KM), pp. 313–322.
STOCSTOC-2014-LiNW #algorithm #linear #sketching #streaming
Turnstile streaming algorithms might as well be linear sketches (YL, HLN, DPW), pp. 174–183.
STOCSTOC-2014-Nanongkai #algorithm #approximate #distributed
Distributed approximation algorithms for weighted shortest paths (DN), pp. 565–573.
STOCSTOC-2014-Vegh #algorithm #polynomial
A strongly polynomial algorithm for generalized flow maximization (LAV), pp. 644–653.
STOCSTOC-2014-Williams #algorithm #bound #linear
New algorithms and lower bounds for circuits with linear threshold gates (RW), pp. 194–202.
AFLAFL-2014-CarayolH #algorithm #automaton #model checking
Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
DLTDLT-2014-Berlinkov #algorithm #automaton #on the #problem
On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
DLTDLT-2014-FeliceN #algorithm #automaton #complexity #on the
On the Average Complexity of Brzozowski’s Algorithm for Deterministic Automata with a Small Number of Final States (SDF, CN), pp. 25–36.
ICALPICALP-v1-2014-AllamigeonBG #algorithm #game studies #polynomial
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average (XA, PB, SG), pp. 89–100.
ICALPICALP-v1-2014-BasavarajuFGMRS #algorithm
Parameterized Algorithms to Preserve Connectivity (MB, FVF, PAG, PM, MSR, SS), pp. 800–811.
ICALPICALP-v1-2014-BaswanaK #algorithm #graph #incremental #maintenance
Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs (SB, SK), pp. 138–149.
ICALPICALP-v1-2014-Ben-SassonRTW #algorithm #proving
Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications (EBS, NRZ, MT, JW), pp. 955–966.
ICALPICALP-v1-2014-CaiGW #algorithm #artificial reality
Holographic Algorithms Beyond Matchgates (JYC, HG, TW), pp. 271–282.
ICALPICALP-v1-2014-ColeK #algorithm #performance #summary
Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.
ICALPICALP-v1-2014-FialaKKN #algorithm #aspect-oriented #graph
Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs (JF, PK, JK, RN), pp. 489–501.
ICALPICALP-v1-2014-HajiaghayiLP #algorithm #online #problem
Near-Optimal Online Algorithms for Prize-Collecting Steiner Problems (MH, VL, DP), pp. 576–587.
ICALPICALP-v1-2014-KlauckP #algorithm #interactive #problem #streaming
An Improved Interactive Streaming Algorithm for the Distinct Elements Problem (HK, VP), pp. 919–930.
ICALPICALP-v1-2014-ReidlRVS #algorithm #performance
A Faster Parameterized Algorithm for Treedepth (FR, PR, FSV, SS), pp. 931–942.
ICALPICALP-v1-2014-Tzameret #algorithm #problem #random #satisfiability
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem — (Extended Abstract) (IT), pp. 1015–1026.
ICALPICALP-v2-2014-NikzadR #algorithm #approximate #multi #problem
Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems (AN, RR), pp. 568–607.
LATALATA-2014-Gysel #algorithm #problem
Minimal Triangulation Algorithms for Perfect Phylogeny Problems (RG), pp. 421–432.
FMFM-2014-KordyLMP #algorithm #analysis #automaton #robust
A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.
SFMSFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
CHICHI-2014-ShrotRGK #algorithm #collaboration #named
CRISP: an interruption management algorithm based on collaborative filtering (TS, AR, JG, SK), pp. 3035–3044.
HCIDHM-2014-Delgado-GonzaloRCSLBL #algorithm #embedded #energy #modelling #state of the art
Human Energy Expenditure Models: Beyond State-of-the-Art Commercialized Embedded Algorithms (RDG, PR, EMC, JS, CL, MB, ML), pp. 3–14.
HCIHIMI-DE-2014-Rodriguez #algorithm #image #matlab #predict
Prediction or Guess? Decide by Looking at Two Images Generated by a “MATLAB MySQL” Algorithm (CR0), pp. 87–97.
HCILCT-NLE-2014-WachtlerE #algorithm #profiling
Attention Profiling Algorithm for Video-Based Lectures (JW, ME), pp. 358–367.
ICEISICEIS-v1-2014-FaheemK #algorithm #architecture #case study #framework #multi #problem
A Multiagent-based Framework for Solving Computationally Intensive Problems on Heterogeneous Architectures — Bioinformatics Algorithms as a Case Study (HMF, BKR), pp. 526–533.
ICEISICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #parallel #problem #scheduling
AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEISICEIS-v1-2014-Malgorzata #algorithm #mobile #search-based
The Use of Genetic Algorithms in Mobile Applications (MPW), pp. 520–525.
ICEISICEIS-v1-2014-NoelMC #algorithm #problem #scheduling
Evolutionary Algorithms Applied to Agribusiness Scheduling Problem (AN, JMJ, AAC), pp. 489–496.
ICEISICEIS-v1-2014-PenaAMFF #algorithm #gpu #parallel #using
An Improved Parallel Algorithm Using GPU for Siting Observers on Terrain (GCP, MVAA, SVGM, WRF, CRF), pp. 367–375.
ICEISICEIS-v1-2014-PinheiroCML #algorithm #graph
An Evolutionary Algorithm for Graph Planarisation by Vertex Deletion (RLP, AAC, CFXdM, DLS), pp. 464–471.
ICEISICEIS-v1-2014-SilvaNMFMM #algorithm #detection #distributed #performance #pipes and filters #using
Efficient and Distributed DBScan Algorithm Using MapReduce to Detect Density Areas on Traffic Data (TLCdS, ACAN, RPM, VAEdF, JAFdM, JCM), pp. 52–59.
ECIRECIR-2014-LuoGWL #algorithm #classification #named #network #novel
HetPathMine: A Novel Transductive Classification Algorithm on Heterogeneous Information Networks (CL, RG, ZW, CL), pp. 210–221.
ICMLICML-c1-2014-CombesP #algorithm #bound
Unimodal Bandits: Regret Lower Bounds and Optimal Algorithms (RC, AP), pp. 521–529.
ICMLICML-c1-2014-LiuYF #algorithm #constraints
Forward-Backward Greedy Algorithms for General Convex Smooth Functions over A Cardinality Constraint (JL, JY, RF), pp. 503–511.
ICMLICML-c1-2014-MaMY #algorithm #statistics
A Statistical Perspective on Algorithmic Leveraging (PM, MWM, BY), pp. 91–99.
ICMLICML-c1-2014-MohriM #algorithm #learning #optimisation
Learning Theory and Algorithms for revenue optimization in second price auctions with reserve (MM, AMM), pp. 262–270.
ICMLICML-c1-2014-RajkumarA #algorithm #convergence #rank #statistics
A Statistical Convergence Perspective of Algorithms for Rank Aggregation from Pairwise Data (AR, SA), pp. 118–126.
ICMLICML-c1-2014-SilverLHDWR #algorithm #policy
Deterministic Policy Gradient Algorithms (DS, GL, NH, TD, DW, MAR), pp. 387–395.
ICMLICML-c1-2014-SomaKIK #algorithm #performance
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
ICMLICML-c1-2014-Thomas #algorithm #bias
Bias in Natural Actor-Critic Algorithms (PT), pp. 441–448.
ICMLICML-c2-2014-0005YJ #algorithm #performance #robust
Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
ICMLICML-c2-2014-AgarwalHKLLS #algorithm #performance
Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits (AA, DH, SK, JL, LL, RES), pp. 1638–1646.
ICMLICML-c2-2014-AwasthiBV #algorithm #clustering #interactive
Local algorithms for interactive clustering (PA, MFB, KV), pp. 550–558.
ICMLICML-c2-2014-DaneshmandGSS #algorithm #complexity #network
Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm (HD, MGR, LS, BS), pp. 793–801.
ICMLICML-c2-2014-GleichM #algorithm #approximate #case study
Anti-differentiating approximation algorithms: A case study with min-cuts, spectral, and flow (DG, MWM), pp. 1018–1025.
ICMLICML-c2-2014-HaeffeleYV #algorithm #image #matrix #rank
Structured Low-Rank Matrix Factorization: Optimality, Algorithm, and Applications to Image Processing (BDH, EY, RV), pp. 2007–2015.
ICMLICML-c2-2014-Kontorovich #algorithm #bound #metric
Concentration in unbounded metric spaces and algorithmic stability (AK), pp. 28–36.
ICMLICML-c2-2014-LiuWRBS #algorithm #coordination #parallel #probability
An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.
ICMLICML-c2-2014-MaryPN #algorithm #evaluation
Improving offline evaluation of contextual bandit algorithms via bootstrapping techniques (JM, PP, ON), pp. 172–180.
ICMLICML-c2-2014-SchwingHPU #algorithm #convergence #parallel #using
Globally Convergent Parallel MAP LP Relaxation Solver using the Frank-Wolfe Algorithm (AGS, TH, MP, RU), pp. 487–495.
ICMLICML-c2-2014-SeldinS #algorithm #probability
One Practical Algorithm for Both Stochastic and Adversarial Bandits (YS, AS), pp. 1287–1295.
ICMLICML-c2-2014-SteinhardtL14a #adaptation #algorithm
Adaptivity and Optimism: An Improved Exponentiated Gradient Algorithm (JS, PL), pp. 1593–1601.
ICMLICML-c2-2014-SuzumuraOST #algorithm #robust
Outlier Path: A Homotopy Algorithm for Robust SVM (SS, KO, MS, IT), pp. 1098–1106.
ICMLICML-c2-2014-WangLYFWY #algorithm #modelling #parallel #scalability
A Highly Scalable Parallel Algorithm for Isotropic Total Variation Models (JW, QL, SY, WF, PW, JY), pp. 235–243.
ICMLICML-c2-2014-Yi0WJJ #algorithm #clustering
A Single-Pass Algorithm for Efficiently Recovering Sparse Cluster Centers of High-dimensional Data (JY, LZ, JW, RJ, AKJ), pp. 658–666.
ICMLICML-c2-2014-YuKC #algorithm
Saddle Points and Accelerated Perceptron Algorithms (AWY, FKK, JGC), pp. 1827–1835.
ICPRICPR-2014-AggarwalM #algorithm #metric #multi #random
Extension of Sparse Randomized Kaczmarz Algorithm for Multiple Measurement Vectors (HKA, AM), pp. 1014–1019.
ICPRICPR-2014-AkhtarSM #algorithm #approximate #named
SUnGP: A Greedy Sparse Approximation Algorithm for Hyperspectral Unmixing (NA, FS, ASM), pp. 3726–3731.
ICPRICPR-2014-AokiFKM #algorithm #architecture #visual notation
KIZUKI Processing for Visual Inspection: A Smart Pattern Pop-Out Algorithm Based on Human Visual Architecture (KA, TF, HK, YM), pp. 2317–2322.
ICPRICPR-2014-BlomerBK #algorithm #comparison
A Theoretical and Experimental Comparison of the EM and SEM Algorithm (JB, KB, DK), pp. 1419–1424.
ICPRICPR-2014-BruneauPO #algorithm #automation #clustering #heuristic
A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.
ICPRICPR-2014-ChenPH #algorithm
O(1) Algorithms for Overlapping Group Sparsity (CC, ZP, JH), pp. 1645–1650.
ICPRICPR-2014-GhoraiC #algorithm #composition #higher-order #image #using
An Image Inpainting Algorithm Using Higher Order Singular Value Decomposition (MG, BC), pp. 2867–2872.
ICPRICPR-2014-KasturiGRPKHRZSAPAKCKEVPI #algorithm #evaluation #performance #recognition
Performance Evaluation of Neuromorphic-Vision Object Recognition Algorithms (RK, DBG, ER, GAP, EK, DH, YR, QZ, RS, MA, MP, MA, DK, YC, KK, LE, RCV, DFP, LI), pp. 2401–2406.
ICPRICPR-2014-MicoO #algorithm #performance
Dynamic Insertions in TLAESA Fast NN Search Algorithm (LM, JO), pp. 3828–3833.
ICPRICPR-2014-NeubertP #algorithm #segmentation #trade-off
Compact Watershed and Preemptive SLIC: On Improving Trade-offs of Superpixel Segmentation Algorithms (PN, PP), pp. 996–1001.
ICPRICPR-2014-OtteSZ #algorithm #named #using
ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.
ICPRICPR-2014-PedersenNM #adaptation #algorithm #estimation
Adaptive Non-local Means for Cost Aggregation in a Local Disparity Estimation Algorithm (CP, KN, TBM), pp. 2442–2447.
ICPRICPR-2014-PuZ #algorithm #segmentation #video
Sandwich Cut: An Algorithm for Temporally-Coherent Video Bilayer Segmentation (SP, HZ), pp. 1061–1066.
ICPRICPR-2014-SetitraL #algorithm #bibliography #perspective
Background Subtraction Algorithms with Post-processing: A Review (IS, SL), pp. 2436–2441.
ICPRICPR-2014-YuanT #algorithm #classification #image #multi
Multi-scale Tensor l1-Based Algorithm for Hyperspectral Image Classification (HY, YYT), pp. 1383–1388.
ICPRICPR-2014-ZhaoF #algorithm #re-engineering #reduction
A Dictionary-Based Algorithm for Dimensionality Reduction and Data Reconstruction (ZZ, GF), pp. 1556–1561.
KDDKDD-2014-FangP #algorithm #linear #performance
Fast DTT: a near linear algorithm for decomposing a tensor into factor tensors (XF, RP), pp. 967–976.
KDDKDD-2014-LiuWY #algorithm #performance
An efficient algorithm for weak hierarchical lasso (YL, JW, JY), pp. 283–292.
KDDKDD-2014-PapalexakisFSTMF #algorithm #challenge #multi
Good-enough brain model: challenges, algorithms and discoveries in multi-subject experiments (EEP, AF, NDS, PPT, TMM, CF), pp. 95–104.
KDDKDD-2014-ParkG #algorithm #health #named #rank #re-engineering
LUDIA: an aggregate-constrained low-rank reconstruction algorithm to leverage publicly released health data (YP, JG), pp. 55–64.
KDDKDD-2014-Rudin #algorithm #machine learning
Algorithms for interpretable machine learning (CR), p. 1519.
KDDKDD-2014-Yoshida #adaptation #algorithm #linear #sketching #using
Almost linear-time algorithms for adaptive betweenness centrality using hypergraph sketches (YY), pp. 1416–1425.
KDDKDD-2014-ZoeterDCA #algorithm #deployment
New algorithms for parking demand management and a city-scale deployment (OZ, CRD, SC, JMA), pp. 1819–1828.
KDIRKDIR-2014-AlHuwaishelAB #algorithm #case study #database
Finding the Frequent Pattern in a Database — A Study on the Apriori Algorithm (NA, MA, GB), pp. 388–396.
KDIRKDIR-2014-FahedBB #algorithm #mining #predict
Episode Rules Mining Algorithm for Distant Event Prediction (LF, AB, AB), pp. 5–13.
KMISKMIS-2014-FredjLC #algorithm #guidelines
Characterizing Generalization Algorithms — First Guidelines for Data Publishers (FBF, NL, ICW), pp. 360–366.
KRKR-2014-CeruttiGVZ #recursion
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
MLDMMLDM-2014-MountassirBB #algorithm #classification #documentation #representation
The Nearest Centroid Based on Vector Norms: A New Classification Algorithm for a New Document Representation Model (AM, HB, IB), pp. 442–456.
RecSysRecSys-2014-EkstrandHWK #algorithm #difference #recommendation
User perception of differences in recommender algorithms (MDE, FMH, MCW, JAK), pp. 161–168.
RecSysRecSys-2014-GueyeAN #algorithm #recommendation
A parameter-free algorithm for an optimized tag recommendation list size (MG, TA, HN), pp. 233–240.
RecSysRecSys-2014-Zheng #algorithm #recommendation #similarity
Deviation-based and similarity-based contextual SLIM recommendation algorithms (YZ), pp. 437–440.
RecSysRecSys-2014-ZhengMB #algorithm #named #recommendation
CSLIM: contextual SLIM recommendation algorithms (YZ, BM, RDB), pp. 301–304.
SEKESEKE-2014-ParkSHSHB #algorithm #resource management #search-based #using
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm (JP, DS, GH, DS, JH, DHB), pp. 688–694.
SIGIRSIGIR-2014-ZhangTZX #algorithm #recommendation
Addressing cold start in recommender systems: a semi-supervised co-training algorithm (MZ, JT, XZ, XX), pp. 73–82.
OOPSLAOOPSLA-2014-DrechslerSMM #algorithm #distributed #programming
Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.
OOPSLAOOPSLA-2014-VoraKG #algorithm #consistency #named #parallel #using
ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.
SACSAC-2014-AlexandreMP #algorithm #multi #on the
On the support of task-parallel algorithmic skeletons for multi-GPU computing (FA, RM, HP), pp. 880–885.
SACSAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring
Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.
SACSAC-2014-EliasMFB #algorithm #analysis #memory management
Experimental and theoretical analyses of memory allocation algorithms (DE, RM, MF, LBdA), pp. 1545–1546.
SACSAC-2014-EvermannA #algorithm #big data #implementation #mining #process
Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.
SACSAC-2014-GeorgiadisP #algorithm #online #problem #scheduling #smarttech
Dealing with storage without forecasts in smart grids: problem transformation and online scheduling algorithm (GG, MP), pp. 518–524.
SACSAC-2014-JungKYM #algorithm #search-based
Investigation of hungarian mating schemes for genetic algorithms (CJ, YHK, YY, BRM), pp. 140–147.
SACSAC-2014-LiuMHHSC #algorithm #hybrid #recommendation #twitter
A hybrid algorithm for recommendation twitter peers (JNKL, ZM, YXH, YLH, SCKS, VWSC), pp. 644–649.
SACSAC-2014-LoCCSL #algorithm #locality
ICAP, a new flash wear-leveling algorithm inspired by locality (SWL, BHC, YWC, TCS, YCL), pp. 1478–1483.
SACSAC-2014-LopezTCC #algorithm #automation #design
Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
SACSAC-2014-MotaB #algorithm #anti #internet
A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things (RPBM, DMB), pp. 686–691.
SACSAC-2014-NabeezathP #algorithm #detection #performance
Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.
SACSAC-2014-RanaKS #algorithm #evaluation #ranking #social
The strength of social strength: an evaluation study of algorithmic versus user-defined ranking (JR, JK, KS), pp. 658–659.
SACSAC-2014-RossiLR #algorithm #classification #network #using
A parameter-free label propagation algorithm using bipartite heterogeneous networks for text classification (RGR, AAL, SOR), pp. 79–84.
SACSAC-2014-TarauB #algorithm
Arithmetic algorithms for hereditarily binary natural numbers (PT, BPB), pp. 1593–1600.
SACSAC-2014-YangZL #algorithm #debugging #developer #effectiveness #multi #recommendation
Utilizing a multi-developer network-based developer recommendation algorithm to fix bugs effectively (GY, TZ, BL), pp. 1134–1139.
CGOCGO-2014-SureshS #algorithm #automation #detection #fault #grid #problem
Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
HPCAHPCA-2014-LakshminarayanaK #algorithm #graph
Spare register aware prefetching for graph algorithms on GPUs (NBL, HK), pp. 614–625.
PPoPPPPoPP-2014-MaAC #algorithm #analysis #manycore #thread
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs (LM, KA, RDC), pp. 391–392.
PPoPPPPoPP-2014-RodriguesJDH #algorithm #clustering #interface #named #programming
Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing (CIR, TBJ, AD, WmWH), pp. 247–258.
PPoPPPPoPP-2014-TomkinsSAR #algorithm #component #named #parallel
SCCMulti: an improved parallel strongly connected components algorithm (DT, TGS, NMA, LR), pp. 393–394.
ICLPICLP-J-2014-HoosLS #algorithm #programming #set
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.
ICTSSICTSS-2014-AliY #algorithm #constraints #normalisation #ocl
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
IJCARIJCAR-2014-SteigmillerGL #algorithm #logic
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.
LICSLICS-CSL-2014-Khoussainov #infinity #random
A quest for algorithmically random infinite structures (BK), p. 9.
ICSTSAT-2014-BacchusN #algorithm #analysis #satisfiability
Cores in Core Based MaxSat Algorithms: An Analysis (FB, NN), pp. 7–15.
SMTSMT-2014-Melquiond #algorithm #automation #float #verification
Automating the Verification of Floating-Point Algorithms (GM), p. 63.
VMCAIVMCAI-2014-DragoiHVWZ #algorithm #framework #verification
A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.
VMCAIVMCAI-2014-JezequelE #algorithm #distributed #message passing #protocol #verification
Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
CASECASE-2013-BengtssonL #algorithm #behaviour #identification #modelling #using #visualisation
Operation behavior modeling using relation identification and visualization algorithms (KB, BL), pp. 368–373.
CASECASE-2013-GargPSCHAPG #3d #algorithm
An algorithm for computing customized 3D printed implants with curvature constrained channels for enhancing intracavitary brachytherapy radiation delivery (AG, SP, TS, JAMC, ICH, PA, JP, KG), pp. 466–473.
CASECASE-2013-JiaJL #algorithm #scheduling
A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
CASECASE-2013-JinM #algorithm #clustering #constraints #scheduling #tool support
Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASECASE-2013-LiJJ #algorithm #heuristic
A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine (YL, ZJ, WJ), pp. 392–397.
CASECASE-2013-PanahiASG #algorithm #performance #proximity
An efficient proximity probing algorithm for metrology (FP, AA, AFvdS, KG), pp. 342–349.
CASECASE-2013-QiaoMG #algorithm #data-driven #scheduling
Attribute selection algorithm of data-based scheduling strategy for semiconductor manufacturing (FQ, YM, XG), pp. 410–415.
CASECASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation #parallel
Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
DACDAC-2013-DoustiP #algorithm #estimation #latency #named #quantum
LEQA: latency estimation for a quantum algorithm mapped to a quantum circuit fabric (MJD, MP), p. 7.
DACDAC-2013-KimJK #algorithm #problem
An optimal algorithm of adjustable delay buffer insertion for solving clock skew variation problem (JK, DJ, TK), p. 6.
DACDAC-2013-NacciRBSBA #algorithm #implementation #synthesis
A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices (AAN, VR, FB, DS, IB, DA), p. 6.
DACDAC-2013-QuanP #algorithm #runtime
A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.
DACDAC-2013-RaiSST #algorithm #analysis #distributed #network #process
Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
DACDAC-2013-ShahzadKRPC #algorithm #encryption #named
CoARX: a coprocessor for ARX-based cryptographic algorithms (KS, AK, ZER, GP, AC), p. 10.
DACDAC-2013-WuWLH #algorithm #generative #model checking #satisfiability
A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.
DATEDATE-2013-AhmadyanKV #algorithm #incremental #runtime #using #verification
Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm (SNA, JAK, SV), pp. 21–26.
DATEDATE-2013-EbrahimiDP #3d #algorithm #fault tolerance #using
Fault-tolerant routing algorithm for 3D NoC using Hamiltonian path strategy (ME, MD, JP), pp. 1601–1604.
DATEDATE-2013-LiuLC #algorithm
A network-flow based algorithm for power density mitigation at post-placement stage (SYSL, RGL, HMC), pp. 1707–1710.
DATEDATE-2013-SuZ #algorithm #scheduling
An elastic mixed-criticality task model and its scheduling algorithm (HS, DZ), pp. 147–152.
DATEDATE-2013-WangTSL #algorithm
A power-driven thermal sensor placement algorithm for dynamic thermal management (HW, SXDT, SS, XL), pp. 1215–1220.
DATEDATE-2013-ZhaiYZ #algorithm #float #random
GPU-friendly floating random walk algorithm for capacitance extraction of VLSI interconnects (KZ, WY, HZ), pp. 1661–1666.
DocEngDocEng-2013-NevesZM #adaptation #algorithm #detection #documentation #image
An adaptive thresholding algorithm based on edge detection and morphological operations for document images (RFdPN, CZ, CABM), pp. 107–110.
DRRDRR-2013-AriesON #algorithm #automation #classification #clustering #summary #using
Using clustering and a modified classification algorithm for automatic text summarization (AA, HO, ON).
DRRDRR-2013-Obafemi-AjayiA #algorithm #documentation #evaluation #image
Goal-oriented evaluation of binarization algorithms for historical document images (TOA, GA).
HTHT-2013-JarukasemratanaML #algorithm #community #detection #distance #network
Community detection algorithm based on centrality and node distance in scale-free networks (SJ, TM, XL), pp. 258–262.
ICDARICDAR-2013-FernandezT #algorithm #detection
Handwritten Line Detection via an EM Algorithm (FCF, ORT), pp. 718–722.
ICDARICDAR-2013-KobayashiIMK #algorithm #recognition
An Anytime Algorithm for Camera-Based Character Recognition (TK, MI, TM, KK), pp. 1140–1144.
ICDARICDAR-2013-MoyssetK #algorithm #detection #evaluation #on the
On the Evaluation of Handwritten Text Line Detection Algorithms (BM, CK), pp. 185–189.
ICDARICDAR-2013-OliveiraLTFT #algorithm #documentation #image #performance
An Efficient Algorithm for Segmenting Warped Text-Lines in Document Images (DMO, RDL, GT, JF, MT), pp. 250–254.
SIGMODSIGMOD-2013-GeorgiadisKGPTM #algorithm #data type #detection #framework #state of the art
Continuous outlier detection in data streams: an extensible framework and state-of-the-art algorithms (DG, MK, AG, ANP, KT, YM), pp. 1061–1064.
SIGMODSIGMOD-2013-KimS #algorithm #approximate #performance #string
Efficient top-k algorithms for approximate substring matching (YK, KS), pp. 385–396.
SIGMODSIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis
Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
SIGMODSIGMOD-2013-OrdonezGGCBQ #algorithm #as a service #data mining #database #in the cloud #mining #relational
Data mining algorithms as a service in the cloud exploiting relational database systems (CO, JGG, CGA, WC, VB, MSQ), pp. 1001–1004.
SIGMODSIGMOD-2013-TaoLX #algorithm #pipes and filters
Minimal MapReduce algorithms (YT, WL, XX), pp. 529–540.
SIGMODSIGMOD-2013-VlachouDNK #algorithm #bound #query
Branch-and-bound algorithm for reverse top-k queries (AV, CD, KN, YK), pp. 481–492.
SIGMODSIGMOD-2013-ZhangXYZW #algorithm #named #search-based #using
PrivGene: differentially private model fitting using genetic algorithms (JZ, XX, YY, ZZ, MW), pp. 665–676.
VLDBVLDB-2013-DayanSBBB #algorithm #design #named
EagleTree: Exploring the Design Space of SSD-Based Algorithms (ND, MKS, MB, PB, LB), pp. 1290–1293.
VLDBVLDB-2013-DrosouP #algorithm #modelling #named
POIKILO: A Tool for Evaluating the Results of Diversification Models and Algorithms (MD, EP), pp. 1246–1249.
VLDBVLDB-2013-ManshadiAGKMS #algorithm #distributed #scalability
A Distributed Algorithm for Large-Scale Generalized Matching (FMM, BA, RG, RK, JM, MS), pp. 613–624.
VLDBVLDB-2013-SariyuceGJWC #algorithm #composition #streaming
Streaming Algorithms for k-core Decomposition (AES, BG, GJS, KLW, ÜVÇ), pp. 433–444.
VLDBVLDB-2013-SimoesGG #algorithm #approximate #information management #performance #using
When Speed Has a Price: Fast Information Extraction Using Approximate Algorithms (GS, HG, LG), pp. 1462–1473.
ITiCSEITiCSE-2013-FeasterAZH #algorithm #education #network #protocol
Serious toys II: teaching networks, protocols, and algorithms (YF, FA, JZ, JOH), pp. 273–278.
ITiCSEITiCSE-2013-KaravirtaS #algorithm #javascript #library #named #visualisation
JSAV: the JavaScript algorithm visualization library (VK, CAS), pp. 159–164.
ITiCSEITiCSE-2013-Trakhtenbrot #algorithm #analysis #complexity #concept #problem #student
Students misconceptions in analysis of algorithmic and computational complexity of problems (MT), pp. 353–354.
ESOPESOP-2013-GotsmanRY #algorithm #concurrent #memory management #verification
Verifying Concurrent Memory Reclamation Algorithms with Grace (AG, NR, HY), pp. 249–269.
TACASTACAS-2013-ChenW #algorithm #learning #library #named
BULL: A Library for Learning Algorithms of Boolean Functions (YFC, BYW), pp. 537–542.
CSMRCSMR-2013-XiaLWYLS #algorithm #case study #comparative #debugging #learning #predict
A Comparative Study of Supervised Learning Algorithms for Re-opened Bug Prediction (XX, DL, XW, XY, SL, JS), pp. 331–334.
ICPCICPC-2013-MahmoudN #algorithm #clustering #comprehension
Evaluating software clustering algorithms in the context of program comprehension (AM, NN), pp. 162–171.
ICSMEICSM-2013-OsmanCP #algorithm #analysis #diagrams #machine learning
An Analysis of Machine Learning Algorithms for Condensing Reverse Engineered Class Diagrams (MHO, MRVC, PvdP), pp. 140–149.
SCAMSCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing
A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
PLDIPLDI-2013-ZhangLYS #algorithm #alias #analysis #performance
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
STOCSTOC-2013-AlonLSV #algorithm #approximate #matrix #rank
The approximate rank of a matrix and its algorithmic applications: approximate rank (NA, TL, AS, SV), pp. 675–684.
STOCSTOC-2013-Ambainis #algorithm #quantum
Superlinear advantage for exact quantum algorithms (AA), pp. 891–900.
STOCSTOC-2013-CaputoMSS #algorithm #random
Random lattice triangulations: structure and algorithms (PC, FM, AS, AS), pp. 615–624.
STOCSTOC-2013-EisenstatK #algorithm #graph #linear #multi
Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs (DE, PNK), pp. 735–744.
STOCSTOC-2013-FeldmanGRVX #algorithm #bound #clique #detection #statistics
Statistical algorithms and a lower bound for detecting planted cliques (VF, EG, LR, SV, YX), pp. 655–664.
STOCSTOC-2013-GuptaTW #algorithm #bound #graph
Sparsest cut on bounded treewidth graphs: algorithms and hardness results (AG, KT, DW), pp. 281–290.
STOCSTOC-2013-Har-PeledR #algorithm #distance #linear #problem
Net and prune: a linear time algorithm for euclidean distance problems (SHP, BAR), pp. 605–614.
STOCSTOC-2013-KelnerOSZ #algorithm #combinator
A simple, combinatorial algorithm for solving SDD systems in nearly-linear time (JAK, LO, AS, ZAZ), pp. 911–920.
STOCSTOC-2013-KwokLLGT #algorithm #analysis #clustering #difference #higher-order
Improved Cheeger’s inequality: analysis of spectral partitioning algorithms through higher order spectral gap (TCK, LCL, YTL, SOG, LT), pp. 11–20.
STOCSTOC-2013-NeimanS #algorithm
Simple deterministic algorithms for fully dynamic maximal matching (ON, SS), pp. 745–754.
STOCSTOC-2013-RodittyW #algorithm #approximate #graph #performance
Fast approximation algorithms for the diameter and radius of sparse graphs (LR, VVW), pp. 515–524.
CIAACIAA-2013-GenetGLM #algorithm #automaton
A Completion Algorithm for Lattice Tree Automata (TG, TLG, AL, VM), pp. 134–145.
CIAACIAA-2013-HolzerJ #algorithm #robust
Brzozowski’s Minimization Algorithm — More Robust than Expected — (Extended Abstract) (MH, SJ), pp. 181–192.
DLTDLT-2013-FeliceN #algorithm #automaton
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata (SDF, CN), pp. 179–190.
ICALPICALP-v1-2013-0002LPRRSS #algorithm #kernel #linear
Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions (EJK, AL, CP, FR, PR, IS, SS), pp. 613–624.
ICALPICALP-v1-2013-AustrinKKM #algorithm #set #trade-off
Space-Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm (PA, PK, MK, JM), pp. 45–56.
ICALPICALP-v1-2013-BabenkoGGN #algorithm #optimisation
Algorithms for Hub Label Optimization (MAB, AVG, AG, VN), pp. 69–80.
ICALPICALP-v1-2013-BateniHL #algorithm #approximate #problem
Improved Approximation Algorithms for (Budgeted) Node-Weighted Steiner Problems (MB, MH, VL), pp. 81–92.
ICALPICALP-v1-2013-BienkowskiBCDNSSY #algorithm #approximate #problem
Approximation Algorithms for the Joint Replenishment Problem with Deadlines (MB, JB, MC, NBD, TN, MS, GS, NEY), pp. 135–147.
ICALPICALP-v1-2013-BodlaenderCKN #algorithm #exponential #problem
Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth (HLB, MC, SK, JN), pp. 196–207.
ICALPICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random
A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.
ICALPICALP-v1-2013-BrunschR #algorithm
Finding Short Paths on Polytopes by the Shadow Vertex Algorithm (TB, HR), pp. 279–290.
ICALPICALP-v1-2013-CyganP #algorithm #bound #graph #performance
Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree (MC, MP), pp. 364–375.
ICALPICALP-v1-2013-DeDS #algorithm #analysis #difference #fourier #geometry #robust
A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.
ICALPICALP-v1-2013-DuanM #algorithm #combinator #linear #polynomial
A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market (RD, KM), pp. 425–436.
ICALPICALP-v1-2013-GolovachHKV #algorithm #incremental #polynomial #set
An Incremental Polynomial Time Algorithm to Enumerate All Minimal Edge Dominating Sets (PAG, PH, DK, YV), pp. 485–496.
ICALPICALP-v1-2013-MarxV #algorithm #parametricity
Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.
ICALPICALP-v1-2013-MoruzN #algorithm #bound #random
Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms (GM, AN), pp. 757–768.
ICALPICALP-v2-2013-AlbersP #algorithm #online #scheduling #web
New Online Algorithms for Story Scheduling in Web Advertising (SA, AP), pp. 446–458.
ICALPICALP-v2-2013-Kleinberg #algorithm #network #social
Algorithms, Networks, and Social Phenomena (JMK), pp. 1–3.
ICALPICALP-v2-2013-PettieS #algorithm #distributed #graph #performance
Fast Distributed Coloring Algorithms for Triangle-Free Graphs (SP, HHS), pp. 681–693.
LATALATA-2013-BenzaidDE #algorithm #complexity
Duplication-Loss Genome Alignment: Complexity and Algorithm (BB, RD, NEM), pp. 116–127.
LATALATA-2013-Etessami #algorithm #infinity #probability #recursion #verification
Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems (KE), p. 12.
LATALATA-2013-KociumakaRRW #algorithm #linear #testing
Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
IFMIFM-2013-AndriamiarinaMS #algorithm #distributed #modelling
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
IFMIFM-2013-GavaFG #algorithm #deduction #verification
Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.
CHICHI-2013-BiAPZ #algorithm #named #recognition
Octopus: evaluating touchscreen keyboard correction and recognition algorithms via (XB, SA, KP, SZ), pp. 543–552.
CSCWCSCW-2013-SaidFJA #algorithm #collaboration #evaluation #recommendation
User-centric evaluation of a K-furthest neighbor collaborative filtering recommender algorithm (AS, BF, BJJ, SA), pp. 1399–1408.
HCIDUXU-NTE-2013-FukumotoI #algorithm #interactive #mobile #optimisation #search-based
A Proposal for Optimization Method of Vibration Pattern of Mobile Device with Interactive Genetic Algorithm (MF, TI), pp. 264–269.
HCIHCI-III-2013-JuL #algorithm
A Dense Stereo Matching Algorithm with Occlusion and Less or Similar Texture Handling (HJ, CL), pp. 171–177.
HCIHCI-III-2013-LiLL #algorithm #performance
Fast Dynamic Channel Allocation Algorithm for TD-HSPA System (HL, HLL, XL), pp. 82–91.
HCIHCI-III-2013-WangLLD #algorithm #performance #realtime #visual notation
A New Real-Time Visual SLAM Algorithm Based on the Improved FAST Features (LW, RL, CL, FD), pp. 206–215.
HCIHCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using
System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
HCIHIMI-D-2013-MogawaSI #algorithm #product line #representation #set
Generalized Algorithm for Obtaining a Family of Evaluating Attributes’ Sets Representing Customer’s Preference (TM, FS, SI), pp. 494–504.
ICEISICEIS-v1-2013-CazzolatoRYS #algorithm #classification #data type #statistics
A Statistical Decision Tree Algorithm for Data Stream Classification (MTC, MXR, CAY, MTPS), pp. 217–223.
CIKMCIKM-2013-ArifuzzamanKM #algorithm #named #network #parallel
PATRIC: a parallel algorithm for counting triangles in massive networks (SA, MK, MVM), pp. 529–538.
CIKMCIKM-2013-BonomiX #algorithm #difference #mining #privacy
A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
CIKMCIKM-2013-ParkC #algorithm #graph #performance #pipes and filters #scalability
An efficient MapReduce algorithm for counting triangles in a very large graph (HMP, CWC), pp. 539–548.
ICMLICML-c1-2013-AfkanpourGSB #algorithm #kernel #learning #multi #random #scalability
A Randomized Mirror Descent Algorithm for Large Scale Multiple Kernel Learning (AA, AG, CS, MB), pp. 374–382.
ICMLICML-c1-2013-GiguereLMS #algorithm #approach #bound #learning #predict
Risk Bounds and Learning Algorithms for the Regression Approach to Structured Output Prediction (SG, FL, MM, KS), pp. 107–114.
ICMLICML-c1-2013-KumarSK #algorithm #matrix #performance
Fast Conical Hull Algorithms for Near-separable Non-negative Matrix Factorization (AK, VS, PK), pp. 231–239.
ICMLICML-c1-2013-RuvoloE #algorithm #learning #named #performance
ELLA: An Efficient Lifelong Learning Algorithm (PR, EE), pp. 507–515.
ICMLICML-c1-2013-ZhuCPZ #algorithm #modelling #performance #topic
Gibbs Max-Margin Topic Models with Fast Sampling Algorithms (JZ, NC, HP, BZ), pp. 124–132.
ICMLICML-c2-2013-AroraGHMMSWZ #algorithm #modelling #topic
A Practical Algorithm for Topic Modeling with Provable Guarantees (SA, RG, YH, DMM, AM, DS, YW, MZ), pp. 280–288.
ICMLICML-c2-2013-GongZLHY #algorithm #optimisation #problem
A General Iterative Shrinkage and Thresholding Algorithm for Non-convex Regularized Optimization Problems (PG, CZ, ZL, JH, JY), pp. 37–45.
ICMLICML-c3-2013-Agarwal #algorithm #multi #predict
Selective sampling algorithms for cost-sensitive multiclass prediction (AA), pp. 1220–1228.
ICMLICML-c3-2013-CurtinMRAGI #algorithm #independence
Tree-Independent Dual-Tree Algorithms (RRC, WBM, PR, DVA, AGG, CLI), pp. 1435–1443.
ICMLICML-c3-2013-KarS0K #algorithm #learning #on the #online
On the Generalization Ability of Online Learning Algorithms for Pairwise Loss Functions (PK, BKS, PJ, HK), pp. 441–449.
ICMLICML-c3-2013-KolmogorovT #algorithm #sequence
Inference algorithms for pattern-based CRFs on sequence data (RT, VK), pp. 145–153.
ICMLICML-c3-2013-Kuleshov #algorithm #analysis #component #performance
Fast algorithms for sparse principal component analysis based on Rayleigh quotient iteration (VK), pp. 1418–1425.
ICMLICML-c3-2013-MenonNAC #algorithm #classification #consistency #on the #statistics
On the Statistical Consistency of Algorithms for Binary Classification under Class Imbalance (AKM, HN, SA, SC), pp. 603–611.
ICMLICML-c3-2013-NguyenS #algorithm #classification #optimisation
Algorithms for Direct 0-1 Loss Optimization in Binary Classification (TN, SS), pp. 1085–1093.
ICMLICML-c3-2013-SzorenyiBHOJK #algorithm #distributed #probability
Gossip-based distributed stochastic bandit algorithms (BS, RBF, IH, RO, MJ, BK), pp. 19–27.
ICMLICML-c3-2013-WangK #algorithm #energy #performance
A Fast and Exact Energy Minimization Algorithm for Cycle MRFs (HW, DK), pp. 190–198.
ICMLICML-c3-2013-WytockK #algorithm #energy #random #theory and practice
Sparse Gaussian Conditional Random Fields: Algorithms, Theory, and Application to Energy Forecasting (MW, JZK), pp. 1265–1273.
ICMLICML-c3-2013-YangX #algorithm #robust
A Unified Robust Regression Model for Lasso-like Algorithms (WY, HX), pp. 585–593.
ICMLICML-c3-2013-ZhuLM #algorithm #clustering
A Local Algorithm for Finding Well-Connected Clusters (ZAZ, SL, VSM), pp. 396–404.
KDDKDD-2013-FriezeGT #algorithm #graph #mining #modelling #scalability
Algorithmic techniques for modeling and mining large graphs (AMAzING) (AMF, AG, CET), p. 1523.
KDDKDD-2013-GilpinED #algorithm #framework #learning
Guided learning for role discovery (GLRD): framework, algorithms, and applications (SG, TER, IND), pp. 113–121.
KDDKDD-2013-JhaSP #algorithm #performance #streaming #using
A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
KDDKDD-2013-NishimuraU #algorithm #clustering #graph
Restreaming graph partitioning: simple versatile algorithms for advanced balancing (JN, JU), pp. 1106–1114.
KDDKDD-2013-ThorntonHHL #algorithm #classification #named #optimisation
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.
KDDKDD-2013-YangWFZWY #algorithm #multi #performance #problem
An efficient ADMM algorithm for multidimensional anisotropic total variation regularization problems (SY, JW, WF, XZ, PW, JY), pp. 641–649.
KDIRKDIR-KMIS-2013-GengUA #algorithm #mining
Trajectory Pattern Mining in Practice — Algorithms for Mining Flock Patterns from Trajectories (XG, TU, HA), pp. 143–151.
KDIRKDIR-KMIS-2013-WaadBL #algorithm #feature model #rank #search-based
Feature Selection by Rank Aggregation and Genetic Algorithms (BW, ABB, ML), pp. 74–81.
MLDMMLDM-2013-AllahSG #algorithm #array #dataset #mining #performance #scalability
An Efficient and Scalable Algorithm for Mining Maximal — High Confidence Rules from Microarray Dataset (WZAA, YKES, FFMG), pp. 352–366.
MLDMMLDM-2013-BrownPD #algorithm #search-based
Dynamic-Radius Species-Conserving Genetic Algorithm for the Financial Forecasting of Dow Jones Index Stocks (MSB, MJP, HD), pp. 27–41.
MLDMMLDM-2013-DoganBK #algorithm #integration #self
SOM++: Integration of Self-Organizing Map and K-Means++ Algorithms (YD, DB, AK), pp. 246–259.
MLDMMLDM-2013-GopalakrishnaOLL #algorithm #machine learning #metric
Relevance as a Metric for Evaluating Machine Learning Algorithms (AKG, TO, AL, JJL), pp. 195–208.
MLDMMLDM-2013-MartineauCF #algorithm #independence #named #topic
TISA: Topic Independence Scoring Algorithm (JCM, DC, TF), pp. 555–570.
MLDMMLDM-2013-MinhAN #algorithm #feature model
DCA Based Algorithms for Feature Selection in Semi-supervised Support Vector Machines (LHM, LTHA, MCN), pp. 528–542.
RecSysRecSys-2013-Ben-Shimon #algorithm #recommendation
Anytime algorithms for top-N recommenders (DBS), pp. 463–466.
SEKESEKE-2013-DengWH #algorithm #combinator #identification #multi #using
Combining multiple stress identification algorithms using combinatorial fusion (YD, ZW, DFH), pp. 421–428.
ICMTICMT-2013-VarroD #algorithm #incremental #network #pattern matching
A Rete Network Construction Algorithm for Incremental Pattern Matching (GV, FD), pp. 125–140.
MODELSMoDELS-2013-ArkinTI #algorithm #approach #modelling #parallel
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.
MODELSMoDELS-2013-ArkinTI #algorithm #approach #modelling #parallel
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.
LOPSTRLOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem
Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
POPLPOPL-2013-BlellochH #algorithm #functional
Cache and I/O efficent functional algorithms (GEB, RH), pp. 39–50.
SACSAC-2013-AkritidisB #algorithm #classification #machine learning #research
A supervised machine learning classification algorithm for research articles (LA, PB), pp. 115–120.
SACSAC-2013-BellatrecheBCM #algorithm #clustering #incremental #query
Horizontal partitioning of very-large data warehouses under dynamically-changing query workloads via incremental algorithms (LB, RB, AC, SM), pp. 208–210.
SACSAC-2013-BhattacharjeeJ #algorithm #named #repository #scalability #similarity
CodeBlast: a two-stage algorithm for improved program similarity matching in large software repositories (AB, HMJ), pp. 846–852.
SACSAC-2013-FariaGC #algorithm #data type #detection #multi #problem
Novelty detection algorithm for data streams multi-class problems (ERF, JG, ACPLFC), pp. 795–800.
SACSAC-2013-HassanzadehN #algorithm #detection #graph
A semi-supervised graph-based algorithm for detecting outliers in online-social-networks (RH, RN), pp. 577–582.
SACSAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #parallel #random testing #testing
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.
SACSAC-2013-IlicSKJ #algorithm #assessment
Impact assessment of smart meter grouping on the accuracy of forecasting algorithms (DI, PGdS, SK, MJ), pp. 673–679.
SACSAC-2013-JiaBJPM #algorithm #multi
A multi-resource load balancing algorithm for cloud cache systems (YJ, IB, RJP, MPM, DM), pp. 463–470.
SACSAC-2013-KhaniHAB #algorithm #clustering #semistructured data #set
An algorithm for discovering clusters of different densities or shapes in noisy data sets (FK, MJH, AAA, HB), pp. 144–149.
SACSAC-2013-KimM #algorithm #detection #hybrid #search-based #using
Disguised malware script detection system using hybrid genetic algorithm (JK, BRM), pp. 182–187.
SACSAC-2013-KumarR #algorithm #data type #identification #online
Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.
SACSAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self
Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
SACSAC-2013-MottaLNRJO #algorithm #clustering #relational
Comparing relational and non-relational algorithms for clustering propositional data (RM, AdAL, BMN, SOR, AMJ, MCFdO), pp. 150–155.
SACSAC-2013-PorterA #algorithm #identification
An evolutionary spline fitting algorithm for identifying filamentous cyanobacteria (JP, DVA), pp. 40–45.
SACSAC-2013-SinghR #algorithm #architecture #optimisation #predict
Meta-learning based architectural and algorithmic optimization for achieving green-ness in predictive workload analytics (NS, SR), pp. 1169–1176.
SACSAC-2013-SoleC #algorithm
Amending C-net discovery algorithms (MS, JC), pp. 1418–1425.
SACSAC-2013-ToledoAOD #algorithm #hybrid #multi #problem #search-based
A hybrid compact genetic algorithm applied to the multi-level capacitated lot sizing problem (CFMT, MdSA, RRRdO, ACBD), pp. 200–205.
SACSAC-2013-VasquesV #algorithm #distributed #grid #scheduling
A decentralized utility-based grid scheduling algorithm (JV, LV), pp. 619–624.
SACSAC-2013-ZhangL #algorithm #debugging #developer #hybrid #recommendation
A hybrid bug triage algorithm for developer recommendation (TZ, BL), pp. 1088–1094.
ICSEICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification
Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSEICSE-2013-PanichellaDOPPL #algorithm #approach #effectiveness #how #modelling #re-engineering #search-based #topic
How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms (AP, BD, RO, MDP, DP, ADL), pp. 522–531.
CGOCGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named
Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CGOCGO-2013-YanTZYS #algorithm #fine-grained #graph #named #parallel #traversal
Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms (JY, GT, XZ, EY, NS), p. 10.
LCTESLCTES-2013-JangKL #algorithm #parallel
Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.
PPoPPPPoPP-2013-Chen #algorithm #detection #fault #fault tolerance #named #online
Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods (ZC), pp. 167–176.
PPoPPPPoPP-2013-DiamosWWLY #algorithm #multi #relational
Relational algorithms for multi-bulk-synchronous processors (GFD, HW, JW, AL, SY), pp. 301–302.
PPoPPPPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using
Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.
PPoPPPPoPP-2013-EdmondsWL #algorithm #graph #using
Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.
PPoPPPPoPP-2013-NasreBP #algorithm
Morph algorithms on GPUs (RN, MB, KP), pp. 147–156.
PPoPPPPoPP-2013-PrountzosP #algorithm #implementation
Betweenness centrality: algorithms and implementations (DP, KP), pp. 35–46.
PPoPPPPoPP-2013-WuZZJS #algorithm #analysis #complexity #design #gpu #memory management
Complexity analysis and algorithm design for reorganizing data to minimize non-coalesced memory accesses on GPU (BW, ZZ, EZZ, YJ, XS), pp. 57–68.
PPoPPPPoPP-2013-YangXFGLXLSYZ #algorithm #cpu #gpu #simulation
A peta-scalable CPU-GPU algorithm for global atmospheric simulations (CY, WX, HF, LG, LL, YX, YL, JS, GY, WZ), pp. 1–12.
PPoPPPPoPP-2013-YanLZ #algorithm #named #performance
StreamScan: fast scan algorithms for GPUs without global barrier synchronization (SY, GL, YZ), pp. 229–238.
CADECADE-2013-BeckertGS #algorithm #logic
Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
CAVCAV-2013-ChatterjeeL #algorithm #markov #performance #process
Faster Algorithms for Markov Decision Processes with Low Treewidth (KC, JL), pp. 543–558.
ICSTICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
LICSLICS-2013-Vicary #algorithm #quantum
Topological Structure of Quantum Algorithms (JV), pp. 93–102.
RTARTA-2013-Schmidt-SchaussRS #algorithm #complexity
Algorithms for Extended α-Equivalence and Complexity (MSS, CR, DS), pp. 255–270.
ICSTSAT-2013-SamulowitzRSS #algorithm #named
Snappy: A Simple Algorithm Portfolio (HS, CR, AS, MS), pp. 422–428.
TAPTAP-2013-InsaSR #algorithm #debugging #execution #using
Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
TLCATLCA-2013-FridlenderP #algorithm #evaluation #normalisation #type system
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (DF, MP), pp. 140–155.
ASEASE-2012-FaunesSB #algorithm #generative #model transformation #using
Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
CASECASE-2012-CaiL #algorithm #hybrid #multi #problem #scheduling #search-based
A hybrid genetic algorithm for resource-constrained multi-project scheduling problem with resource transfer time (ZC, XL), pp. 569–574.
CASECASE-2012-DimitrovB #algorithm #evaluation #reduction #scheduling #search-based
Criteria evaluation considering the current time used by a genetic scheduling algorithm for changeover and tardiness reduction (TD, MB), pp. 425–430.
CASECASE-2012-IdenP #algorithm #aspect-oriented #detection #functional #safety
Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.
CASECASE-2012-JeongC #algorithm #independence #quality
Independent contact region (ICR) based in-hand motion planning algorithm with guaranteed grasp quality margin (HJ, JC), pp. 1089–1094.
CASECASE-2012-JiaZH #algorithm #fuzzy #parametricity #self
Active control of turbine tip clearance by fuzzy parameter self-setting PID algorithms (BJ, XZ, YH), pp. 162–166.
CASECASE-2012-KaneshigeNUMT #algorithm #mobile #online
An algorithm for on-line path planning of autonomous mobile overhead traveling crane based on obstacle information (AK, SN, SU, TM, KT), pp. 914–919.
CASECASE-2012-KimKS #algorithm #detection #recognition #using
Hole detection algorithm for square peg-in-hole using force-based shape recognition (YLK, BSK, JBS), pp. 1074–1079.
CASECASE-2012-KimLKCH #algorithm
Proposal of built-in-guide-rail type building façade cleaning robot and its motion planning algorithm (DHK, SL, MK, BIC, CSH), pp. 1004–1009.
CASECASE-2012-NazeemR #algorithm #performance #resource management
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CASECASE-2012-SintovRMS #algorithm #set
A common 3-finger grasp search algorithm for a set of planar objects (AS, SR, RM, AS), pp. 1095–1100.
CASECASE-2012-SuhYO #algorithm #locality #mobile #network
A cooperative localization algorithm for mobile sensor networks (JS, SY, SO), pp. 1126–1131.
CASECASE-2012-WangLC #algorithm #realtime
Real-time path planning for low altitude flight based on A* algorithm and TF/TA algorithm (HW, QL, NC), pp. 837–842.
CASECASE-2012-YouKLKLH #algorithm #assembly #development
Development of manipulation planning algorithm for a dual-arm robot assembly task (JSY, DHK, SJL, SPK, JYL, CSH), pp. 1061–1066.
DACDAC-2012-Al-MaashriDCCXNC #algorithm #recognition
Accelerating neuromorphic vision algorithms for recognition (AAM, MD, MC, NC, YX, VN, CC), pp. 579–584.
DACDAC-2012-BhardwajCR #adaptation #algorithm #towards
Towards graceful aging degradation in NoCs through an adaptive routing algorithm (KB, KC, SR), pp. 382–391.
DACDAC-2012-FangCC #algorithm #composition #layout #novel
A novel layout decomposition algorithm for triple patterning lithography (SYF, YWC, WYC), pp. 1185–1190.
DACDAC-2012-Gester0NPSV #algorithm #data type #performance
Algorithms and data structures for fast and good VLSI routing (MG, DM, TN, CP, CS, JV), pp. 459–464.
DACDAC-2012-LiuCL #algorithm #multi #performance
An efficient algorithm for multi-layer obstacle-avoiding rectilinear Steiner tree construction (CHL, ICC, DTL), pp. 613–622.
DACDAC-2012-RanieriVCAV #algorithm #manycore #named
EigenMaps: algorithms for optimal thermal maps extraction and sensor placement on multicore processors (JR, AV, AC, DA, MV), pp. 636–641.
DACDAC-2012-WangW #algorithm #memory management #performance
Observational wear leveling: an efficient algorithm for flash memory management (CW, WFW), pp. 235–242.
DATEDATE-2012-BattezzatiCMS #algorithm #architecture #industrial #novel
SURF algorithm in FPGA: A novel architecture for high demanding industrial applications (NB, SC, MM, LS), pp. 161–162.
DATEDATE-2012-BhardwajCR #algorithm
An MILP-based aging-aware routing algorithm for NoCs (KB, KC, SR), pp. 326–331.
DATEDATE-2012-CordesM #algorithm #parallel #search-based #using
Multi-objective aware extraction of task-level parallelism using genetic algorithms (DC, PM), pp. 394–399.
DATEDATE-2012-EbrahimiDLPT #algorithm #network
CATRA- congestion aware trapezoid-based routing algorithm for on-chip networks (ME, MD, PL, JP, HT), pp. 320–325.
DATEDATE-2012-JiangSCBP #algorithm #constraints #generative #memory management #on the
On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
DATEDATE-2012-SabenaRS #algorithm #testing
A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
DATEDATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #realtime #towards
Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm (CT, TT), pp. 703–708.
DATEDATE-2012-WangLPW #algorithm #difference #linear #simulation
An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
DATEDATE-2012-ZhangWHY #algorithm #energy #game studies #resource management
Fair energy resource allocation by minority game algorithm for smart buildings (CZ, WW, HH, HY), pp. 63–68.
DocEngDocEng-2012-GobelHOO #algorithm #comprehension #documentation
A methodology for evaluating algorithms for table understanding in PDF documents (MCG, TH, EO, GO), pp. 45–48.
DRRDRR-2012-ChengWAST #algorithm #classification #image #optimisation #visual notation
Graphical image classification combining an evolutionary algorithm and binary particle swarm optimization (BC, RW, SA, RJS, GRT).
DRRDRR-2012-Silva #algorithm #detection #evaluation #using
Using specific evaluation for comparing and combining competing algorithms: applying it to table column detection (ACeS).
PODSPODS-2012-ChoromanskiM #algorithm #database #graph #power of #privacy #statistics
The power of the dinur-nissim algorithm: breaking privacy of statistical and graph databases (KC, TM), pp. 65–76.
PODSPODS-2012-HuangYZ #algorithm #distributed #random
Randomized algorithms for tracking distributed count, frequencies, and ranks (ZH, KY, QZ), pp. 295–306.
PODSPODS-2012-NgoPRR #algorithm #worst-case
Worst-case optimal join algorithms: [extended abstract] (HQN, EP, CR, AR), pp. 37–48.
SIGMODSIGMOD-2012-FaloutsosK #algorithm #graph #mining #scalability
Managing and mining large graphs: patterns and algorithms (CF, UK), pp. 585–588.
SIGMODSIGMOD-2012-ParameswaranGPPRW #algorithm #named
CrowdScreen: algorithms for filtering data with humans (AGP, HGM, HP, NP, AR, JW), pp. 361–372.
VLDBVLDB-2012-ChoiCT #algorithm #database #scalability
A Scalable Algorithm for Maximizing Range Sum in Spatial Databases (DWC, CWC, YT), pp. 1088–1099.
VLDBVLDB-2012-ShengZTJ #algorithm #crawling #database #web
Optimal Algorithms for Crawling a Hidden Database in the Web (CS, NZ, YT, XJ), pp. 1112–1123.
VLDBVLDB-2012-Shim #algorithm #big data #data analysis #pipes and filters
MapReduce Algorithms for Big Data Analysis (KS), pp. 2016–2017.
VLDBVLDB-2012-ZengH #algorithm #graph #pattern matching
Comments on “Stack-based Algorithms for Pattern Matching on DAGs” (QZ, HZ), pp. 668–679.
VLDBVLDB-2013-LeeHKL12 #algorithm #comparison #database #graph #morphism
An In-depth Comparison of Subgraph Isomorphism Algorithms in Graph Databases (JL, WSH, RK, JHL), pp. 133–144.
ITiCSEITiCSE-2012-Gibson #algorithm #education #graph
Teaching graph algorithms to children of all ages (JPG), pp. 34–39.
ITiCSEITiCSE-2012-Levitin #algorithm
Digging for algorithmic nuggets in the land of polyominoes (AL), pp. 52–56.
ITiCSEITiCSE-2012-MehtaKP #algorithm #learning #network
Forming project groups while learning about matching and network flows in algorithms (DPM, TMK, IP), pp. 40–45.
ITiCSEITiCSE-2012-MI #algorithm
A method to construct counterexamples for greedy algorithms (JM, SI), pp. 238–243.
ITiCSEITiCSE-2012-Ragonis #algorithm #education #source code
Integrating the teaching of algorithmic patterns into computer science teacher preparation programs (NR), pp. 339–344.
ITiCSEITiCSE-2012-Velazquez-Iturbide #algorithm #approach #learning #refinement
Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms (JÁVI), pp. 46–51.
WCREWCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier
Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
ICSMEICSM-2012-IslamMSKS #algorithm #named #search-based #semantics #sorting #testing
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.
ICSMEICSM-2012-ZouG #algorithm #automation #case study #detection #industrial #what #why
An industrial case study of Coman’s automated task detection algorithm: What Worked, What Didn’t, and Why (LZ, MWG), pp. 6–14.
WCREWCRE-2012-AllierAHD #algorithm #framework #ranking
A Framework to Compare Alert Ranking Algorithms (SA, NA, AH, SD), pp. 277–285.
WCREWCRE-2012-GuerroujGGAP #algorithm #identifier #named #performance
TRIS: A Fast and Accurate Identifiers Splitting and Expansion Algorithm (LG, PG, YGG, GA, MDP), pp. 103–112.
PLDIPLDI-2012-ZaparanuksH #algorithm #profiling
Algorithmic profiling (DZ, MH), pp. 67–76.
SASSAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation
Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
SASSAS-2012-ThakurER #abstraction #algorithm
Bilateral Algorithms for Symbolic Abstraction (AVT, ME, TWR), pp. 111–128.
STOCSTOC-2012-AnKS #algorithm
Improving christofides’ algorithm for the s-t path TSP (HCA, RK, DBS), pp. 875–886.
STOCSTOC-2012-CaiDW #algorithm #multi
An algorithmic characterization of multi-dimensional mechanisms (YC, CD, SMW), pp. 459–478.
STOCSTOC-2012-ChalermsookCEL #algorithm #approximate #concurrent
Approximation algorithms and hardness of integral concurrent flow (PC, JC, AE, SL), pp. 689–708.
STOCSTOC-2012-CheungKL #algorithm #matrix #performance #rank
Fast matrix rank algorithms and applications (HYC, TCK, LCL), pp. 549–562.
STOCSTOC-2012-EtessamiSY #algorithm #branch #context-free grammar #multi #polynomial #probability #process
Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars (KE, AS, MY), pp. 579–588.
STOCSTOC-2012-GargMSV #algorithm
A complementary pivot algorithm for markets under separable, piecewise-linear concave utilities (JG, RM, MAS, VVV), pp. 1003–1016.
STOCSTOC-2012-MakarychevMV #algorithm #approximate #clustering #problem
Approximation algorithms for semi-random partitioning problems (KM, YM, AV), pp. 367–384.
STOCSTOC-2012-OrecchiaSV #algorithm #approximate #exponential
Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.
STOCSTOC-2012-SharathkumarA #algorithm #approximate #geometry
A near-linear time ε-approximation algorithm for geometric bipartite matching (RS, PKA), pp. 385–394.
STOCSTOC-2012-Vegh #algorithm #low cost #polynomial #problem
Strongly polynomial algorithm for a class of minimum-cost flow problems with separable convex objectives (LAV), pp. 27–40.
FLOPSFLOPS-2012-Morihata #algorithm #parallel #problem
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.
AFLAFL-J-2011-Blanchet-Sadri12 #algorithm #combinator #word
Algorithmic Combinatorics on Partial Words (FBS), pp. 1189–1206.
CIAACIAA-2012-FaroL #algorithm #automaton #online #performance #string
A Fast Suffix Automata Based Algorithm for Exact Online String Matching (SF, TL), pp. 149–158.
CIAACIAA-2012-Mohri #algorithm #ambiguity #automaton #finite #functional #transducer
A Disambiguation Algorithm for Finite Automata and Functional Transducers (MM), pp. 265–277.
ICALPICALP-v1-2012-BuchbinderNRS #algorithm #approximate #constraints #online #rank
Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints (NB, JN, RR, MS), pp. 145–156.
ICALPICALP-v1-2012-ByrkaR #algorithm #approximate
Improved LP-Rounding Approximation Algorithm for k-level Uncapacitated Facility Location (JB, BR), pp. 157–169.
ICALPICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability #process
Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.
ICALPICALP-v1-2012-ItoTY #algorithm
Constant-Time Algorithms for Sparsity Matroids (HI, SiT, YY), pp. 498–509.
ICALPICALP-v1-2012-MansourRVX #algorithm #online
Converting Online Algorithms to Local Computation Algorithms (YM, AR, SV, NX), pp. 653–664.
ICALPICALP-v1-2012-ThalerUV #algorithm #performance
Faster Algorithms for Privately Releasing Marginals (JT, JU, SPV), pp. 810–821.
ICALPICALP-v1-2012-Zouzias #algorithm #matrix
A Matrix Hyperbolic Cosine Algorithm and Applications (AZ), pp. 846–858.
ICALPICALP-v2-2012-BernsHP #algorithm #distributed #metric
Super-Fast Distributed Algorithms for Metric Facility Location (AB, JH, SVP), pp. 428–439.
ICALPICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
ICALPICALP-v2-2012-PelegRT #algorithm #distributed #network
Distributed Algorithms for Network Diameter and Girth (DP, LR, ET), pp. 660–672.
ICALPICALP-v2-2012-Spielman #algorithm #equation #graph #linear
Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.
LATALATA-2012-BolligP #algorithm #performance
An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings (BB, TP), pp. 143–154.
LATALATA-2012-GeilkeZ #algorithm #learning #pattern matching #polynomial
Polynomial-Time Algorithms for Learning Typed Pattern Languages (MG, SZ), pp. 277–288.
FMFM-2012-GiorginoS #algorithm #correctness #pointer
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
FMFM-2012-NedunuriSC #algorithm #performance
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
FMFM-2012-SpasicM #algorithm #formal method #incremental #refinement
Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
SEFMSEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
ICFPICFP-2012-NeatherwayRO #algorithm #higher-order #model checking
A traversal-based algorithm for higher-order model checking (RPN, SJR, CHLO), pp. 353–364.
CHICHI-2012-HollandKT #algorithm #detection #identification #usability #visual notation
Identifying usability issues via algorithmic detection of excessive visual search (CH, OK, DET), pp. 2943–2952.
CSCWCSCW-2012-PriedhorskyPST #algorithm #evaluation #personalisation #recommendation
Recommending routes in the context of bicycling: algorithms, evaluation, and the value of personalization (RP, DP, SS, LGT), pp. 979–988.
ICEISICEIS-J-2012-RibeiroFBKE #algorithm #approach #learning #markov #process
Combining Learning Algorithms: An Approach to Markov Decision Processes (RR, FF, MACB, ALK, FE), pp. 172–188.
ICEISICEIS-v1-2012-RibeiroFBBDKE #algorithm #approach #learning
Unified Algorithm to Improve Reinforcement Learning in Dynamic Environments — An Instance-based Approach (RR, FF, MACB, APB, OBD, ALK, FE), pp. 229–238.
ICEISICEIS-v1-2012-TertiltBK #algorithm #enterprise #modelling #performance #scalability #using
Modeling the Performance and Scalability of a SAP ERP System using an Evolutionary Algorithm (DT, AB, HK), pp. 112–118.
CIKMCIKM-2012-BarbosaPG #algorithm #query
Generically extending anonymization algorithms to deal with successive queries (MB, AP, BG), pp. 1362–1371.
CIKMCIKM-2012-HuangQYY #algorithm #detection #robust
Local anomaly descriptor: a robust unsupervised algorithm for anomaly detection based on diffusion space (HH, HQ, SY, DY), pp. 405–414.
CIKMCIKM-2012-KranenWRRS #algorithm #automation #evaluation
A tool for automated evaluation of algorithms (PK, SW, TR, SR, TS), pp. 2692–2694.
CIKMCIKM-2012-LinXCB #algorithm #performance #query
Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
CIKMCIKM-2012-MahajanRTM #algorithm #named #recommendation
LogUCB: an explore-exploit algorithm for comments recommendation (DKM, RR, CT, AM), pp. 6–15.
CIKMCIKM-2012-RahmanBH #algorithm #analysis #approximate #graph #named #scalability
GRAFT: an approximate graphlet counting algorithm for large graph analysis (MR, MB, MAH), pp. 1467–1471.
CIKMCIKM-2012-RamanSGB #algorithm #learning #towards
Learning from mistakes: towards a correctable learning algorithm (KR, KMS, RGB, CJCB), pp. 1930–1934.
CIKMCIKM-2012-RiondatoDFU #algorithm #approximate #mining #named #parallel #pipes and filters #random
PARMA: a parallel randomized algorithm for approximate association rules mining in MapReduce (MR, JAD, RF, EU), pp. 85–94.
CIKMCIKM-2012-WangGWCY #algorithm #evolution #framework #novel
Polygene-based evolution: a novel framework for evolutionary algorithms (SW, BJG, SW, GC, YY), pp. 2263–2266.
ICMLICML-2012-BachLO #algorithm #equivalence #on the
On the Equivalence between Herding and Conditional Gradient Algorithms (FRB, SLJ, GO), p. 176.
ICMLICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability
An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.
ICMLICML-2012-ChenLL #algorithm #online
An Online Boosting Algorithm with Theoretical Justifications (STC, HTL, CJL), p. 243.
ICMLICML-2012-HoiWZJW #algorithm #bound #kernel #learning #online #performance #scalability
Fast Bounded Online Gradient Descent Algorithms for Scalable Kernel-Based Online Learning (SCHH, JW, PZ, RJ, PW), p. 141.
ICMLICML-2012-JiYLJH #algorithm #bound #fault #learning
A Simple Algorithm for Semi-supervised Learning with Improved Generalization Error Bound (MJ, TY, BL, RJ, JH), p. 110.
ICMLICML-2012-KongD #algorithm #linear
An Iterative Locally Linear Embedding Algorithm (DK, CHQD), p. 122.
ICMLICML-2012-KrishnamurthyBXS #algorithm #clustering #performance
Efficient Active Algorithms for Hierarchical Clustering (AK, SB, MX, AS), p. 39.
ICMLICML-2012-KulisJ #algorithm
Revisiting k-means: New Algorithms via Bayesian Nonparametrics (BK, MIJ), p. 148.
ICMLICML-2012-Laue #algorithm #hybrid #optimisation
A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICMLICML-2012-MnihT #algorithm #modelling #performance #probability
A fast and simple algorithm for training neural probabilistic language models (AM, YWT), p. 58.
ICMLICML-2012-NaimG #algorithm #convergence
Convergence of the EM Algorithm for Gaussian Mixtures with Unbalanced Mixing Coefficients (IN, DG), p. 185.
ICMLICML-2012-Painter-WakefieldP #algorithm #learning
Greedy Algorithms for Sparse Reinforcement Learning (CPW, RP), p. 114.
ICMLICML-2012-ScherrerHTH #algorithm #coordination #problem #scalability
Scaling Up Coordinate Descent Algorithms for Large ℓ1 Regularization Problems (CS, MH, AT, DH), p. 50.
ICMLICML-2012-VladymyrovC #algorithm #performance
Fast Training of Nonlinear Embedding Algorithms (MV, MÁCP), p. 129.
ICPRICPR-2012-AmornbunchornvejLAIT #algorithm #clustering
Iterative Neighbor-Joining tree clustering algorithm for genotypic data (CA, TL, AA, AI, ST), pp. 1827–1830.
ICPRICPR-2012-ChatbriK #algorithm #image #robust #sketching #towards
Towards making thinning algorithms robust against noise in sketch images (HC, KK), pp. 3030–3033.
ICPRICPR-2012-DornellesH #algorithm #approach #image #search-based
A genetic algorithm based approach for combining binary image operators (MMD, NSTH), pp. 3184–3187.
ICPRICPR-2012-DoshiS #algorithm #benchmark #metric #retrieval
A comprehensive benchmark of local binary pattern algorithms for texture retrieval (NPD, GS), pp. 2760–2763.
ICPRICPR-2012-Goldstein #algorithm #detection #named
FastLOF: An Expectation-Maximization based Local Outlier detection algorithm (MG), pp. 2282–2285.
ICPRICPR-2012-HeCS #algorithm #component
A new algorithm for labeling connected-components and calculating the Euler number, connected-component number, and hole number (LH, YC, KS), pp. 3099–3102.
ICPRICPR-2012-HsinSK #algorithm #performance #synthesis
A fast wavelet-packet-based algorithm for texture synthesis (HCH, TYS, LTK), pp. 3124–3127.
ICPRICPR-2012-Imajo #algorithm #performance #using
Fast Gaussian filtering algorithm using splines (KI), pp. 489–492.
ICPRICPR-2012-JinGYZ #algorithm #learning #multi
Multi-label learning vector quantization algorithm (XBJ, GG, JY, DZ), pp. 2140–2143.
ICPRICPR-2012-LewinJC #algorithm #composition #evaluation #framework #performance
Framework for quantitative performance evaluation of shape decomposition algorithms (SL, XJ, AC), pp. 3696–3699.
ICPRICPR-2012-LiuZR #algorithm #approximate
A direction Change-based algorithm for polygonal approximation (HL, XZ, AR), pp. 3586–3589.
ICPRICPR-2012-LiWBL #adaptation #algorithm #fault
Semi-supervised adaptive parzen Gentleboost algorithm for fault diagnosis (CL, ZW, SB, ZL), pp. 2290–2293.
ICPRICPR-2012-NarayanamN #algorithm #community #detection #distributed #game studies #graph #information management #social
A game theory inspired, decentralized, local information based algorithm for community detection in social graphs (RN, YN), pp. 1072–1075.
ICPRICPR-2012-NguyenB #algorithm #optimisation
Zombie Survival Optimization: A swarm intelligence algorithm inspired by zombie foraging (HTN, BB), pp. 987–990.
ICPRICPR-2012-PighettiPP #algorithm #image #interactive #multi #retrieval #search-based
Hybdrid Content Based Image Retrieval combining multi-objective interactive genetic algorithm and SVM (RP, DP, FP), pp. 2849–2852.
ICPRICPR-2012-RaketN #algorithm
A splitting algorithm for directional regularization and sparsification (LLR, MN), pp. 3094–3098.
ICPRICPR-2012-XuanSCS #algorithm #using
An Enhanced EM algorithm using maximum entropy distribution as initial condition (GX, YQS, PC, PS), pp. 849–852.
ICPRICPR-2012-YaoZLL #algorithm #effectiveness #modelling #performance
A fast and effective appearance model-based particle filtering object tracking algorithm (ZY, YZ, JL, WL), pp. 1475–1478.
ICPRICPR-2012-ZhangFD #algorithm #multi #recognition
A hierarchical algorithm with multi-feature fusion for facial expression recognition (ZZ, CF, XD), pp. 2363–2366.
ICPRICPR-2012-ZhuoCQYX #algorithm #classification #image #learning #using
Image classification using HTM cortical learning algorithms (WZ, ZC, YQ, ZY, YX), pp. 2452–2455.
KDDKDD-2012-BharadwajCMNTVVY #algorithm #named #performance
SHALE: an efficient algorithm for allocation of guaranteed display advertising (VB, PC, WM, CN, JT, SV, EV, JY), pp. 1195–1203.
KDDKDD-2012-ChengZKC #algorithm #clique #memory management #performance
Fast algorithms for maximal clique enumeration with limited memory (JC, LZ, YK, SC), pp. 1240–1248.
KDDKDD-2012-KangPHF #algorithm #analysis #named #scalability
GigaTensor: scaling tensor analysis up by 100 times — algorithms and discoveries (UK, EEP, AH, CF), pp. 316–324.
KDDKDD-2012-Li12b #algorithm #graph #mining #nondeterminism
Algorithms for mining uncertain graph data (JL), p. 813.
KDDKDD-2012-MarchCG #algorithm #correlation #performance
Fast algorithms for comprehensive n-point correlation estimates (WBM, AJC, AGG), pp. 1478–1486.
KDDKDD-2012-PhamP #algorithm #approximate #detection
A near-linear time approximation algorithm for angle-based outlier detection in high-dimensional data (NP, RP), pp. 877–885.
KDDKDD-2012-YinZC #algorithm #mining #named #performance
USpan: an efficient algorithm for mining high utility sequential patterns (JY, ZZ, LC), pp. 660–668.
KDIRKDIR-2012-Bhasker #algorithm #case study #collaboration #comparative
Comparative Study of Collaborative Filtering Algorithms (BB), pp. 132–137.
KDIRKDIR-2012-KharbatBO #algorithm #case study #dataset
A New Compaction Algorithm for LCS Rules — Breast Cancer Dataset Case Study (FK, LB, MO), pp. 382–385.
KDIRKDIR-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.
KDIRKDIR-2012-ZanonACG #algorithm #query
A New Query Suggestion Algorithm for Taxonomy-based Search Engines (RZ, SA, MC, IG), pp. 151–156.
KEODKEOD-2012-BoinskiK #algorithm #ontology
Lexicon based Algorithm for Domain Ontology Merging and Alignment (TB, HK), pp. 321–326.
KRKR-2012-LacknerP #algorithm #modelling #parametricity
Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).
KRKR-2012-ThomazoBMR #algorithm #query #set
A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).
MLDMMLDM-2012-BorawskiF #algorithm #automation #estimation #image
An Algorithm for the Automatic Estimation of Image Orientation (MB, DF), pp. 336–344.
MLDMMLDM-2012-LeiteBV #algorithm #classification #testing
Selecting Classification Algorithms with Active Testing (RL, PB, JV), pp. 117–131.
RecSysRecSys-2012-EkstrandR #algorithm #predict #recommendation
When recommenders fail: predicting recommender failure for algorithm selection and combination (MDE, JR), pp. 233–236.
SEKESEKE-2012-SalamiA #algorithm #diagrams #framework #retrieval #search-based #using
A Framework for Class Diagram Retrieval Using Genetic Algorithm (HOS, MAA), pp. 737–740.
SIGIRSIGIR-2012-HongS #algorithm #multi #retrieval
Mixture model with multiple centralized retrieval algorithms for result merging in federated search (DH, LS), pp. 821–830.
SIGIRSIGIR-2012-LeaseA #crowdsourcing #evaluation
Crowdsourcing for search evaluation and social-algorithmic search (ML, OA), p. 1180.
ICMTICMT-2012-VarroDWS #algorithm #emf #generative #modelling
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.
OOPSLAOOPSLA-2012-LiuSLG #algorithm #distributed #performance
From clarity to efficiency for distributed algorithms (YAL, SDS, BL, MG), pp. 395–410.
PADLPADL-2012-BransenMDS #algorithm #attribute grammar
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
PADLPADL-2012-Lesniak #algorithm #graph #haskell #named
Palovca: Describing and Executing Graph Algorithms in Haskell (ML), pp. 153–167.
POPLPOPL-2012-VeanesHLMB #algorithm #finite #transducer
Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
SACSAC-2012-AhnC #algorithm #locality #multi
A sensor network-based multiple acoustic source localization algorithm (JA, HC), pp. 544–549.
SACSAC-2012-CentenoA #algorithm #approach #clustering #image
Clustering approach algorithm for image interpolation (TMC, MTA), pp. 56–57.
SACSAC-2012-CerriBC #algorithm #classification #multi #search-based
A genetic algorithm for Hierarchical Multi-Label Classification (RC, RCB, ACPLFdC), pp. 250–255.
SACSAC-2012-ChenZD #algorithm #effectiveness #search-based #segmentation #using
Effective radical segmentation of offline handwritten Chinese characters by using an enhanced snake model and Genetic Algorithm (ZC, BZ, SD), pp. 54–55.
SACSAC-2012-ChiwiacowskyGMVG #algorithm #search-based
A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure (LDC, PG, RM, HFdCV, ATG), pp. 259–260.
SACSAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using
Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
SACSAC-2012-EmirisMM #algorithm #diagrams
Yet another algorithm for generalized Voronoï Diagrams (IZE, AM, BM), pp. 109–110.
SACSAC-2012-FariaBGC #algorithm #clustering #data type
Improving the offline clustering stage of data stream algorithms in scenarios with variable number of clusters (ERF, RCB, JG, ACPLFC), pp. 829–830.
SACSAC-2012-HuangHL #algorithm #framework
Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
SACSAC-2012-HuangHYY #algorithm #approximate #correlation #network
An in-network approximate data gathering algorithm exploiting spatial correlation in wireless sensor networks (CCH, JLH, JAY, LYY), pp. 550–555.
SACSAC-2012-MascardiL #algorithm #named #ontology
BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies (VM, AL), pp. 398–400.
SACSAC-2012-MatsubaraMYUIK #algorithm #named #performance #re-engineering
CCDR-PAID: more efficient cache-conscious PAID algorithm by data reconstruction (YM, JM, GY, YU, SI, HK), pp. 193–198.
SACSAC-2012-MengHO #algorithm #analysis #search-based
Analysis of a triploid genetic algorithm over deceptive landscapes (LM, SH, CO), pp. 244–249.
SACSAC-2012-NeumannC #algorithm #estimation
Introducing intervention targeting into estimation of distribution algorithms (GN, DC), pp. 220–225.
SACSAC-2012-ParkSSP #algorithm #hybrid #in memory #memory management
PRAM wear-leveling algorithm for hybrid main memory based on data buffering, swapping, and shifting (SKP, HS, DJS, KHP), pp. 1643–1644.
SACSAC-2012-Pizzuti #algorithm #community #composition #detection #search-based
Boosting the detection of modular community structure with genetic algorithms and local search (CP), pp. 226–231.
SACSAC-2012-RibasOBS #algorithm #segmentation
Assessing handwitten digit segmentation algorithms (FR, LSO, AdSBJ, RS), pp. 772–776.
SACSAC-2012-SarroMFG #algorithm #analysis #fault #predict #search-based
A further analysis on the use of Genetic Algorithm to configure Support Vector Machines for inter-release fault prediction (FS, SDM, FF, CG), pp. 1215–1220.
SACSAC-2012-ThanhZ #algorithm #probability #simulation
Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
SACSAC-2012-WangTWWG #algorithm #behaviour #empirical #evaluation #mining #process
An empirical evaluation of process mining algorithms based on structural and behavioral similarities (JW, ST, LW, RKW, QG), pp. 211–213.
ICSEICSE-2012-Monteiro #algorithm #effectiveness #named #parallel
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (PM), pp. 1559–1562.
SPLCSPLC-2012-JohansenHF #algorithm #array #feature model #generative #modelling #scalability
An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.
HPCAHPCA-2012-MaJW12a #adaptation #algorithm #design #performance
Whole packet forwarding: Efficient design of fully adaptive routing algorithms for networks-on-chip (SM, NDEJ, ZW), pp. 467–478.
HPDCHPDC-2012-KutluAK #algorithm #data-driven #fault tolerance #parallel
Fault tolerant parallel data-intensive algorithms (MK, GA, OK), pp. 133–134.
PPoPPPPoPP-2012-BlellochFGS #algorithm #parallel #performance
Internally deterministic parallel algorithms can be fast (GEB, JTF, PBG, JS), pp. 181–192.
PPoPPPPoPP-2012-DuBBHD #fault tolerance #matrix
Algorithm-based fault tolerance for dense matrix factorizations (PD, AB, GB, TH, JD), pp. 225–234.
PPoPPPPoPP-2012-MittalJGSK #algorithm
Collective algorithms for sub-communicators (AM, NJ, TG, YS, SK), pp. 315–316.
PPoPPPPoPP-2012-SackG #algorithm #communication #performance
Faster topology-aware collective algorithms through non-minimal communication (PS, WG), pp. 45–54.
CAVCAV-2012-LeeWY #algorithm #analysis #learning #termination
Termination Analysis with Algorithmic Learning (WL, BYW, KY), pp. 88–104.
CAVCAV-2012-SchellhornWD #algorithm #how
How to Prove Algorithms Linearisable (GS, HW, JD), pp. 243–259.
CSLCSL-2012-ChatterjeeCK #algorithm #performance #refinement
Faster Algorithms for Alternating Refinement Relations (KC, SC, PK), pp. 167–182.
ICLPICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus
Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
ICSTICST-2012-DelamareK #algorithm #aspect-oriented #integration #order #search-based
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems (RD, NAK), pp. 804–813.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICSTICST-2012-LiLO #algorithm #cost analysis
Better Algorithms to Minimize the Cost of Test Paths (NL, FL, JO), pp. 280–289.
IJCARIJCAR-2012-MarshallN #algorithm #unification
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
ISSTAISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
ISSTAISSTA-2012-ZhangJWLZ #algorithm #detection #towards
A first step towards algorithm plagiarism detection (FZ, YcJ, DW, PL, SZ), pp. 111–121.
LICSLICS-2012-GrigorieffV #algorithm #bound #using
Functionals Using Bounded Information and the Dynamics of Algorithms (SG, PV), pp. 345–354.
ICSTSAT-2012-AchlioptasM #algorithm #bound #exponential #random #satisfiability
Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas (DA, RMM), pp. 327–340.
ICSTSAT-2012-BaylessH #algorithm
Single-Solver Algorithms for 2QBF — (Poster Presentation) (SB, AJH), pp. 487–488.
ICSTSAT-2012-GoultiaevaB #algorithm
Off the Trail: Re-examining the CDCL Algorithm (AG, FB), pp. 30–43.
ICSTSAT-2012-Gupta #algorithm #proving #reduction
Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.
ICSTSAT-2012-XuHHL #algorithm #component
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (LX, FH, HH, KLB), pp. 228–241.
VMCAIVMCAI-2012-AlbarghouthiGC #algorithm #interprocedural #named #verification
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (AA, AG, MC), pp. 39–55.
ASEASE-2011-InsaS #algorithm #debugging
An optimal strategy for algorithmic debugging (DI, JS), pp. 203–212.
ASEASE-2011-PohlLP #algorithm #analysis #automation #comparison #feature model #modelling #performance
A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models (RP, KL, KP), pp. 313–322.
CASECASE-2011-KalinovcicPBB #algorithm #multi #scheduling
Modified Banker’s algorithm for scheduling in multi-AGV systems (LK, TP, SB, VB), pp. 351–356.
CASECASE-2011-MaiHHH #adaptation #algorithm #performance #speech
A fast adaptive Kalman filtering algorithm for speech enhancement (QM, DH, YH, ZH), pp. 327–332.
DACDAC-2011-HsuSPCH #algorithm #distributed #geometry #layout
A distributed algorithm for layout geometry operations (KTH, SS, YCP, CC, TYH), pp. 182–187.
DACDAC-2011-HuangY #algorithm
An exact algorithm for the construction of rectilinear Steiner minimum trees among complex obstacles (TH, EFYY), pp. 164–169.
DACDAC-2011-KesturIPANC #architecture #co-evolution #design #framework #re-engineering #using
An algorithm-architecture co-design framework for gridding reconstruction using FPGAs (SK, KMI, SP, AAM, VN, CC), pp. 585–590.
DACDAC-2011-KoseF #algorithm #analysis #information retrieval #locality #performance
Fast algorithms for IR voltage drop analysis exploiting locality (SK, EGF), pp. 996–1001.
DACDAC-2011-LiuZYZ #3d #algorithm
An integrated algorithm for 3D-IC TSV assignment (XL, YZ, GKY, XZ), pp. 652–657.
DACDAC-2011-MaYW #algorithm
An optimal algorithm for layer assignment of bus escape routing on PCBs (QM, EFYY, MDFW), pp. 176–181.
DACDAC-2011-ShoaibJV #algorithm #data-driven #energy #framework #monitoring
A low-energy computation platform for data-driven biomedical monitoring algorithms (MS, NKJ, NV), pp. 591–596.
DATEDATE-2011-AkinBNRSA #algorithm #implementation #parallel
A high-performance parallel implementation of the Chambolle algorithm (AA, IB, AAN, VR, MDS, DA), pp. 1436–1441.
DATEDATE-2011-BeltrameN #algorithm #design #multi
A multi-objective decision-theoretic exploration algorithm for platform-based design (GB, GN), pp. 1192–1195.
DATEDATE-2011-ChrysanthouCSP #algorithm #parallel
Parallel accelerators for GlimmerHMM bioinformatics algorithm (NC, GC, ES, IP), pp. 94–99.
DATEDATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DATEDATE-2011-FerreiraBCMM #algorithm #process
Impact of process variation on endurance algorithms for wear-prone memories (APF, SB, BRC, RGM, DM), pp. 962–967.
DATEDATE-2011-PaternaACPDB #algorithm #energy #manycore #online #performance
An efficient on-line task allocation algorithm for QoS and energy efficiency in multicore multimedia platforms (FP, AA, AC, FP, GD, LB), pp. 100–105.
DATEDATE-2011-RoyRM #algorithm #modelling #performance
Theoretical modeling of the Itoh-Tsujii Inversion algorithm for enhanced performance on k-LUT based FPGAs (SSR, CR, DM), pp. 1231–1236.
DATEDATE-2011-SabatelliSFR #algorithm #estimation #metric
A sensor fusion algorithm for an integrated angular position estimation with inertial measurement units (SS, FS, LF, AR), pp. 273–276.
DATEDATE-2011-TsukiyamaF #algorithm #analysis #statistics
An algorithm to improve accuracy of criticality in statistical static timing analysis (ST, MF), pp. 1529–1532.
DATEDATE-2011-ZhiLZYZZ #algorithm #multi #performance #scheduling
An efficient algorithm for multi-domain clock skew scheduling (YZ, WSL, HZ, CY, HZ, XZ), pp. 1364–1369.
DATEDATE-2011-ZiermannTS #adaptation #algorithm #named
DynOAA — Dynamic offset adaptation algorithm for improving response times of CAN systems (TZ, JT, ZS), pp. 269–272.
DocEngDocEng-2011-GippM #algorithm #detection #pattern matching #sequence
Citation pattern matching algorithms for citation-based plagiarism detection: greedy citation tiling, citation chunking and longest common citation sequence (BG, NM), pp. 249–258.
DRRDRR-2011-BukhariSB #algorithm #documentation #image #multi #segmentation #using
Improved document image segmentation algorithm using multiresolution morphology (SSB, FS, TMB), pp. 1–10.
HTHT-2011-ChilukuriI #algorithm
An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
ICDARICDAR-2011-AlaeiNP11a #algorithm #approach #documentation
A New Text-Line Alignment Approach Based on Piece-Wise Painting Algorithm for Handwritten Documents (AA, PN, UP), pp. 324–328.
ICDARICDAR-2011-BerettaL #algorithm #evaluation #identification #performance
Performance Evaluation of Algorithms for Newspaper Article Identification (RB, LL), pp. 394–398.
ICDARICDAR-2011-ChenL11a #algorithm #detection #documentation #modelling
A Model-Based Ruling Line Detection Algorithm for Noisy Handwritten Documents (JC, DPL), pp. 404–408.
ICDARICDAR-2011-CoustatyBBL #algorithm #image #ontology #semantic gap #using
Using Ontologies to Reduce the Semantic Gap between Historians and Image Processing Algorithms (MC, AB, KB, GL), pp. 156–160.
ICDARICDAR-2011-JiangDLW #algorithm #markov #novel #segmentation #string #using
A Novel Short Merged Off-line Handwritten Chinese Character String Segmentation Algorithm Using Hidden Markov Model (ZJ, XD, CL, YW), pp. 668–672.
ICDARICDAR-2011-KessentiniPG #algorithm #multi #recognition #word
An Optimized Multi-stream Decoding Algorithm for Handwritten Word Recognition (YK, TP, AG), pp. 192–196.
ICDARICDAR-2011-LamiroyLS #algorithm #analysis #contest #documentation
Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest (BL, DPL, TS), pp. 1521–1525.
ICDARICDAR-2011-LeloreB #algorithm
Super-Resolved Binarization of Text Based on the FAIR Algorithm (TL, FB), pp. 839–843.
ICDARICDAR-2011-SongXZYZ #algorithm #documentation #image #multi
A Handwritten Character Extraction Algorithm for Multi-language Document Image (YS, GX, YZ, LY, LZ), pp. 93–98.
ICDARICDAR-2011-VincentNP #algorithm #documentation #using
Document Recto-verso Registration Using a Dynamic Time Warping Algorithm (VR, NJ, JPD), pp. 1230–1234.
ICDARICDAR-2011-WinderAS #algorithm #documentation #segmentation
Extending Page Segmentation Algorithms for Mixed-Layout Document Processing (AW, TLA, EHBS), pp. 1245–1249.
PODSPODS-2011-MirMNW #algorithm #sketching #statistics
Pan-private algorithms via statistics on sketches (DJM, SM, AN, RNW), pp. 37–48.
SIGMODSIGMOD-2011-BlanasLP #algorithm #design #evaluation #in memory #manycore #memory management
Design and evaluation of main memory hash join algorithms for multi-core CPUs (SB, YL, JMP), pp. 37–48.
SIGMODSIGMOD-2011-CaoSSYDGW #algorithm #consistency #performance
Fast checkpoint recovery algorithms for frequently consistent applications (TC, MAVS, BS, YY, AJD, JG, WMW), pp. 265–276.
SIGMODSIGMOD-2011-HuangWYL #algorithm #network
Sampling based algorithms for quantile computation in sensor networks (ZH, LW, KY, YL), pp. 745–756.
SIGMODSIGMOD-2011-LiDF #algorithm #approximate #named #performance
Faerie: efficient filtering algorithms for approximate dictionary-based entity extraction (GL, DD, JF), pp. 529–540.
SIGMODSIGMOD-2011-OrdonezP #algorithm #data mining #mining
One-pass data mining algorithms in a DBMS with UDFs (CO, SKP), pp. 1217–1220.
SIGMODSIGMOD-2011-ZhaiLG #algorithm #named #probability #similarity
ATLAS: a probabilistic algorithm for high dimensional similarity search (JZ, YL, JG), pp. 997–1008.
VLDBVLDB-2011-AoZWSWLLL #algorithm #parallel #performance #using
Efficient Parallel Lists Intersection and Index Compression Algorithms using Graphics Processing Units (NA, FZ, DW, DSS, GW, XL, JL, SL), pp. 470–481.
VLDBVLDB-2011-NutanongJS #algorithm #distance #incremental
An Incremental Hausdorff Distance Calculation Algorithm (SN, EHJ, HS), pp. 506–517.
VLDBVLDB-2011-YanZN #algorithm #network #performance
Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.
VLDBVLDB-2012-PawlikA11 #algorithm #distance #edit distance #named #robust
RTED: A Robust Algorithm for the Tree Edit Distance (MP, NA), pp. 334–345.
ITiCSEITiCSE-2011-LeeR #algorithm #behaviour #towards #visualisation
Toward replicating handmade algorithm visualization behaviors in a digital environment: a pre-study (MHL, GR), pp. 198–202.
ITiCSEITiCSE-2011-RosslingMS #algorithm #animation #automation #named
AnimalSense: combining automated exercise evaluations with algorithm animations (GR, MM, JS), pp. 298–302.
ITiCSEITiCSE-2011-Sanchez-TorrubiaTT #algorithm #assessment #automation #learning
GLMP for automatic assessment of DFS algorithm learning (MGST, CTB, GT), p. 351.
ITiCSEITiCSE-2011-Velazquez-Iturbide #algorithm #design #revisited
The design and coding of greedy algorithms revisited (JÁVI), pp. 8–12.
ESOPESOP-2011-MurawskiT #algorithm #game studies #semantics
Algorithmic Nominal Game Semantics (ASM, NT), pp. 419–438.
FoSSaCSFoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
TACASTACAS-2011-ChengKLB #algorithm #framework #game studies #research
GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.
CSMRCSMR-2011-LamkanfiDSV #algorithm #debugging #mining #predict
Comparing Mining Algorithms for Predicting the Severity of a Reported Bug (AL, SD, QDS, TV), pp. 249–258.
ICSMEICSM-2011-TarvoZC #algorithm #branch #integration #mining #multi #version control
An integration resolution algorithm for mining multiple branches in version control systems (AT, TZ, JC), pp. 402–411.
MSRMSR-2011-SadowskiLLZW #algorithm #analysis #empirical
An empirical analysis of the FixCache algorithm (CS, CL, ZL, XZ, EJWJ), pp. 219–222.
SCAMSCAM-2011-SawinR #algorithm #graph
Assumption Hierarchy for a CHA Call Graph Construction Algorithm (JS, AR), pp. 35–44.
PLDIPLDI-2011-PingaliNKBHKLLMMPS #algorithm #parallel
The tao of parallelism in algorithms (KP, DN, MK, MB, MAH, RK, THL, AL, RM, MML, DP, XS), pp. 12–25.
PLDIPLDI-2011-ZhouCC #algorithm #execution
An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
STOCSTOC-2011-AdsulGMS #algorithm #game studies #morphism #polynomial
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm (BA, JG, RM, MAS), pp. 195–204.
STOCSTOC-2011-BrandaoCY #algorithm #problem #quantum
A quasipolynomial-time algorithm for the quantum separability problem (FGSLB, MC, JY), pp. 343–352.
STOCSTOC-2011-Chuzhoy #algorithm #graph #problem
An algorithm for the graph crossing number problem (JC), pp. 303–312.
STOCSTOC-2011-DemaineHK #algorithm #composition #graph
Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.
STOCSTOC-2011-FriedmannHZ #algorithm #bound #random
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm (OF, TDH, UZ), pp. 283–292.
STOCSTOC-2011-HansenKLMT #algorithm #game studies #probability
Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.
STOCSTOC-2011-ImmorlicaKLMPT #algorithm
Dueling algorithms (NI, ATK, BL, AM, AP, MT), pp. 215–224.
STOCSTOC-2011-ItalianoNSW #algorithm #graph
Improved algorithms for min cut and max flow in undirected planar graphs (GFI, YN, PS, CWN), pp. 313–322.
STOCSTOC-2011-KawarabayashiK #algorithm #approximate #problem
Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two (KiK, YK), pp. 81–88.
STOCSTOC-2011-KawarabayashiW #algorithm #composition #graph #proving
A simpler algorithm and shorter proof for the graph minor decomposition (KiK, PW), pp. 451–458.
STOCSTOC-2011-MoserS #algorithm #satisfiability
A full derandomization of schöning’s k-SAT algorithm (RAM, DS), pp. 245–252.
STOCSTOC-2011-NovocinSV #algorithm #complexity
An LLL-reduction algorithm with quasi-linear time complexity: extended abstract (AN, DS, GV), pp. 403–412.
STOCSTOC-2011-Yoshida #algorithm #approximate #bound #csp
Optimal constant-time approximation algorithms and (unconditional) inapproximability results for every bounded-degree CSP (YY), pp. 665–674.
CIAACIAA-J-2010-AllauzenCM11 #algorithm #coordination #kernel
A Dual Coordinate Descent Algorithm for SVMs Combined with Rational Kernels (CA, CC, MM), pp. 1761–1779.
CIAACIAA-J-2010-AllauzenRS11 #algorithm #composition #finite #performance #transducer
A Filter-Based Algorithm for Efficient Composition of Finite-State Transducers (CA, MR, JS), pp. 1781–1795.
CIAACIAA-J-2010-CzumajCGJLZ11 #algorithm #approximate #design #geometry #network
Approximation Algorithms for Buy-at-Bulk Geometric Network Design (AC, JC, LG, JJ, AL, PZ), pp. 1949–1969.
AFLAFL-2011-Egri-NagyMN #algorithm #composition #performance
Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.
AFLAFL-2011-Umeo #2d #algorithm #automaton #implementation
Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
CIAACIAA-2011-Buchnik #algorithm #multi #named #string
Bouma2 — A High-Performance Input-Aware Multiple String-Match Algorithm (EB), pp. 53–64.
CIAACIAA-2011-CastiglioneRS #algorithm #automaton #nondeterminism
Nondeterministic Moore Automata and Brzozowski’s Algorithm (GC, AR, MS), pp. 88–99.
ICALPICALP-v1-2011-AbrahamDFGW #algorithm
VC-Dimension and Shortest Path Algorithms (IA, DD, AF, AVG, RFFW), pp. 690–699.
ICALPICALP-v1-2011-AroraG #algorithm #fault #learning
New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
ICALPICALP-v1-2011-FeldmanNS #algorithm
Nonmonotone Submodular Maximization via a Structural Continuous Greedy Algorithm — (Extended Abstract) (MF, JN, RS), pp. 342–353.
ICALPICALP-v1-2011-GoldbergJ #algorithm #polynomial
A Polynomial-Time Algorithm for Estimating the Partition Function of the Ferromagnetic Ising Model on a Regular Matroid (LAG, MJ), pp. 521–532.
ICALPICALP-v1-2011-HarkinsH #algorithm #bound #game studies #learning
Exact Learning Algorithms, Betting Games, and Circuit Lower Bounds (RCH, JMH), pp. 416–423.
ICALPICALP-v1-2011-Laekhanukit #algorithm #approximate #low cost #set
An Improved Approximation Algorithm for Minimum-Cost Subset k-Connectivity — (Extended Abstract) (BL), pp. 13–24.
ICALPICALP-v1-2011-Moldenhauer #algorithm #approximate #graph
Primal-Dual Approximation Algorithms for Node-Weighted Steiner Forest on Planar Graphs (CM), pp. 748–759.
ICALPICALP-v1-2011-QianW #algorithm #online #problem
An O(logn)-Competitive Algorithm for Online Constrained Forest Problems (JQ, DPW), pp. 37–48.
ICALPICALP-v2-2011-Cord-LandwehrDFHKKKKMHRSWWW #algorithm #approach #convergence #mobile
A New Approach for Analyzing Convergence Algorithms for Mobile Robots (ACL, BD, MF, MH, BK, AK, PK, SK, MM, FMadH, CR, KS, DW, CW, DW), pp. 650–661.
ICALPICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALPICALP-v2-2011-Husfeldt #algorithm
Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.
ICALPICALP-v2-2011-KieferMOWZ #algorithm #on the
On Stabilization in Herman’s Algorithm (SK, ASM, JO, JW, LZ), pp. 466–477.
ICALPICALP-v2-2011-Li #algorithm #approximate #problem
A 1.488 Approximation Algorithm for the Uncapacitated Facility Location Problem (SL), pp. 77–88.
ICALPICALP-v2-2011-MegowMS #algorithm #graph #online
Online Graph Exploration: New Results on Old and New Algorithms (NM, KM, PS), pp. 478–489.
LATALATA-2011-ConleyK #algorithm #multi
Improved Alignment Based Algorithm for Multilingual Text Compression (ESC, STK), pp. 238–249.
FMFM-2011-MeryMT #algorithm #verification
Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.
HCIHCI-DDA-2011-LuoY #algorithm #clustering #framework #network #novel #parallel #using
A Novel Parallel Clustering Algorithm Based on Artificial Immune Network Using nVidia CUDA Framework (RL, QY), pp. 598–607.
HCIHCI-DDA-2011-WangDL #algorithm
A Global Optimal Algorithm for Camera Calibration with One-Dimensional Objects (LW, FD, CL), pp. 660–669.
HCIHCI-DDA-2011-XuZC #algorithm #image #performance
High-Quality Fast Image Upsampling Algorithm Based on CUDA (QX, XZ, JC), pp. 677–683.
HCIHCI-DDA-2011-ZablotskiyPZM #algorithm #estimation #parametricity #search-based
GMM Parameter Estimation by Means of EM and Genetic Algorithms (SZ, TP, KZ, WM), pp. 527–536.
ICEISICEIS-J-2011-Moghadampour11b #algorithm #random #search-based
Outperforming Mutation Operator with Random Building Block Operator in Genetic Algorithms (GM), pp. 178–192.
ICEISICEIS-v1-2011-BiniLSSA #algorithm
Non-exhaustive Join Ordering Search Algorithms for LJQO (TAB, AL, MSS, FS, ECdA), pp. 151–156.
ICEISICEIS-v1-2011-HaoSHS #algorithm #in the cloud #modelling #optimisation #scheduling
A Cloud Computing Model based on Hadoop with an Optimization of Its Task Scheduling Algorithms (YH, MS, JH, JS), pp. 524–528.
ICEISICEIS-v1-2011-LuoYHJCH #algorithm #named #query
IRTA: An Improved Threshold Algorithm for Reverse Top-k Queries (CL, FY, WCH, ZJ, DC, SH), pp. 135–140.
ICEISICEIS-v2-2011-BadarudinSSMM #algorithm #memory management #problem #representation #search-based
An Improved Genetic Algorithm with Gene Value Representation and Short Term Memory for Shape Assignment Problem (IB, ABMS, MNS, AM, MTMM), pp. 178–183.
ICEISICEIS-v2-2011-LongLG #algorithm #performance #predict #search-based
High-speed Railway based on Genetic Algorithm for Prediction of Travel Choice (CL, JL, YG), pp. 26–31.
ICEISICEIS-v2-2011-Moghadampour #algorithm #random #search-based
Random Building Block Operator for Genetic Algorithms (GM), pp. 54–62.
ICEISICEIS-v2-2011-Moghadampour11a #adaptation #algorithm #integer #search-based #self
Self-adaptive Integer and Decimal Mutation Operators for Genetic Algorithms (GM), pp. 184–191.
ICEISICEIS-v2-2011-Santibanez-GonzalezLM #algorithm #design #problem #search-based
A Genetic Algorithm for Solving a Public Sector Sustainable Supply Chain Design Problem (EDRSG, HPLL, GRM), pp. 222–227.
ICEISICEIS-v2-2011-ZhangZ #algorithm #optimisation #research
Research on the Route Optimization of Book Distribution based on the Tabu Search Algorithm (PZ, ZZ), pp. 125–130.
ICEISICEIS-v3-2011-ZhangF #algorithm #evaluation #performance
Performance Evaluation of Emergency Logistics based on DEA-AHP Algorithm (JZ, SF), pp. 527–532.
ICEISICEIS-v4-2011-LuCGD #algorithm #multi #network #optimisation #quality #using
Quality of Service Optimization of Wireless Sensor Networks using a Multi-objective Immune Co-evolutionary Algorithm (XL, ZRC, LG, YD), pp. 160–164.
ICEISICEIS-v4-2011-ZhangZ11a #algorithm #contest #game studies #performance
Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.
CIKMCIKM-2011-CachedaCFF #algorithm #analysis #dataset #nearest neighbour
Improving k-nearest neighbors algorithms: practical application of dataset analysis (FC, VC, DF, VF), pp. 2253–2256.
CIKMCIKM-2011-ChengQ #algorithm #axiom #incremental
An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.
CIKMCIKM-2011-ChuiKLC #algorithm #query #sequence
I/O-efficient algorithms for answering pattern-based aggregate queries in a sequence OLAP system (CKC, BK, EL, RC), pp. 1619–1628.
CIKMCIKM-2011-HanusseM #algorithm #parallel
A parallel algorithm for computing borders (NH, SM), pp. 1639–1648.
CIKMCIKM-2011-LadwigT #algorithm #database #keyword
Index structures and top-k join algorithms for native keyword search databases (GL, TT), pp. 1505–1514.
CIKMCIKM-2011-LeeRK #algorithm #recognition #using
Named entity recognition using a modified Pegasos algorithm (CL, PMR, HK), pp. 2337–2340.
CIKMCIKM-2011-RotaBG #algorithm #database #keyword
The list Viterbi training algorithm and its application to keyword search over databases (SR, SB, FG), pp. 1601–1606.
CIKMCIKM-2011-Zobel #algorithm #challenge #health
Data, health, and algorithmics: computational challenges for biomedicine (JZ), pp. 3–4.
ECIRECIR-2011-AddisAV #algorithm #assessment #categorisation #comparative
A Comparative Experimental Assessment of a Threshold Selection Algorithm in Hierarchical Text Categorization (AA, GA, EV), pp. 32–42.
ICMLICML-2011-DasK #algorithm #approximate #set #taxonomy
Submodular meets Spectral: Greedy Algorithms for Subset Selection, Sparse Approximation and Dictionary Selection (AD, DK), pp. 1057–1064.
ICMLICML-2011-GrubbB #algorithm #optimisation
Generalized Boosting Algorithms for Convex Optimization (AG, DB), pp. 1209–1216.
ICMLICML-2011-HockingVBJ #algorithm #clustering #named #using
Clusterpath: an Algorithm for Clustering using Convex Fusion Penalties (TH, JPV, FRB, AJ), pp. 745–752.
ICMLICML-2011-KarasuyamaT #algorithm
Suboptimal Solution Path Algorithm for Support Vector Machine (MK, IT), pp. 473–480.
ICMLICML-2011-KnowlesGG #algorithm #message passing
Message Passing Algorithms for the Dirichlet Diffusion Tree (DAK, JVG, ZG), pp. 721–728.
ICMLICML-2011-OrabonaC #algorithm
Better Algorithms for Selective Sampling (FO, NCB), pp. 433–440.
ICMLICML-2011-OrabonaL #algorithm #kernel #learning #multi #optimisation
Ultra-Fast Optimization Algorithm for Sparse Multi Kernel Learning (FO, JL), pp. 249–256.
ICMLICML-2011-ParikhSX #algorithm #modelling #visual notation
A Spectral Algorithm for Latent Tree Graphical Models (APP, LS, EPX), pp. 1065–1072.
ICMLICML-2011-TamarCM #algorithm
Integrating Partial Model Knowledge in Model Free RL Algorithms (AT, DDC, RM), pp. 305–312.
KDDKDD-2011-BhaduriMG #algorithm #detection
Algorithms for speeding up distance-based outlier detection (KB, BLM, CG), pp. 859–867.
KDDKDD-2011-ChenBAD #algorithm #realtime
Real-time bidding algorithms for performance-based display ad allocation (YC, PB, BA, NRD), pp. 1307–1315.
KDDKDD-2011-GhotingKPK #algorithm #data mining #implementation #machine learning #mining #named #parallel #pipes and filters #tool support
NIMBLE: a toolkit for the implementation of parallel data mining and machine learning algorithms on mapreduce (AG, PK, EPDP, RK), pp. 334–342.
KDDKDD-2011-GilpinD #algorithm #approach #clustering #flexibility #performance #satisfiability
Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach (SG, IND), pp. 1136–1144.
KDDKDD-2011-MesterharmP #algorithm #learning #online #using
Active learning using on-line algorithms (CM, MJP), pp. 850–858.
KDDKDD-2011-MukerjeePG #algorithm #framework #linear #mining #semantics #sql
Linear scale semantic mining algorithms in microsoft SQL server’s semantic platform (KM, TP, SG), pp. 213–221.
KDIRKDIR-2011-AlkhalidCM #algorithm #comparison
Comparison of Greedy Algorithms for Decision Tree Construction (AA, IC, MM), pp. 438–443.
KDIRKDIR-2011-GeraciM #algorithm #detection #multi #web
A Multi-sequence Alignment Algorithm for Web Template Detection (FG, MM), pp. 121–128.
KDIRKDIR-2011-Ibrahim #algorithm #clustering #network
Enhancing Clustering Network Planning Algorithm in the Presence of Obstacles (LFI), pp. 480–486.
KDIRKDIR-2011-LachetarB #algorithm #categorisation #metadata #using
Application of an Ant Colony Algorithm — For Song Categorising using Metadata (NL, HB), pp. 379–384.
KDIRKDIR-2011-MartelotH #algorithm #community #detection #multi #optimisation #using
Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.
KDIRKDIR-2011-OmerBG #algorithm #mining #motivation #using
A New Frequent Similar Tree Algorithm Motivated by Dom Mining — Using RTDM and its New Variant — SiSTeR (OB, RB, SG), pp. 238–243.
KDIRKDIR-2011-Potuzak #algorithm #network #search-based
Suitability of a Genetic Algorithm for Road Traffic Network Division (TP), pp. 448–451.
KDIRKDIR-2011-Vanetik #algorithm #graph #mining #performance
A Fast Algorithm for Mining Graphs of Prescribed Connectivity (NV), pp. 5–13.
KDIRKDIR-2011-ZalikZ #algorithm #clustering #network
Network Clustering by Advanced Label Propagation Algorithm (KRZ, BZ), pp. 444–447.
MLDMMLDM-2011-GunesCO #algorithm #classification #named #novel #relational #search-based #using
GA-TVRC: A Novel Relational Time Varying Classifier to Extract Temporal Information Using Genetic Algorithms (IG, , SGÖ), pp. 568–583.
MLDMMLDM-2011-LozanoA #algorithm #clustering
Comparing Clustering and Metaclustering Algorithms (EL, EA), pp. 306–319.
RecSysRecSys-2011-BelloginCC #algorithm #comparison #evaluation #recommendation
Precision-oriented evaluation of recommender systems: an algorithmic comparison (AB, PC, IC), pp. 333–336.
SEKESEKE-2011-VilkomirKT #algorithm #case study #interface #testing #using
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (SV, AAK, NT), pp. 219–224.
SIGIRSIGIR-2011-KanoulasSMPA #algorithm #ranking #scalability #set
A large-scale study of the effect of training set characteristics over learning-to-rank algorithms (EK, SS, PM, VP, JAA), pp. 1243–1244.
SIGIRSIGIR-2011-PaikPP #algorithm #novel #statistics #using
A novel corpus-based stemming algorithm using co-occurrence statistics (JHP, DP, SKP), pp. 863–872.
SIGIRSIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards
SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.
MODELSMoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MODELSMoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
ECOOPECOOP-2011-ZaparanuksH #algorithm #design
The Beauty and the Beast: Separating Design from Algorithm (DZ, MH), pp. 27–51.
OOPSLAOOPSLA-2011-PuBS #algorithm #first-order #programming #synthesis
Synthesis of first-order dynamic programming algorithms (YP, RB, SS), pp. 83–98.
POPLPOPL-2011-AlurC #algorithm #source code #streaming #transducer #verification
Streaming transducers for algorithmic verification of single-pass list-processing programs (RA, PC), pp. 599–610.
POPLPOPL-2011-AttiyaGHKMV #algorithm #concurrent #order
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated (HA, RG, DH, PK, MMM, MTV), pp. 487–498.
SACSAC-2011-DaniAS #algorithm #architecture #manycore #search-based
Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures (AMD, BA, YNS), pp. 1090–1091.
SACSAC-2011-DingSW #algorithm #parallel #transitive
FPGA based parallel transitive closure algorithm (ZD, WS, MYW), pp. 393–394.
SACSAC-2011-HuangWCL #algorithm #automation #image
An automatic selective color transfer algorithm for images (YHH, PCW, CCC, KPL), pp. 66–71.
SACSAC-2011-KatayamaKKM #algorithm #clique #problem
Memetic algorithm with strategic controller for the maximum clique problem (KK, AK, KK, HM), pp. 1062–1069.
SACSAC-2011-KienHB #algorithm #communication #hybrid #problem #search-based
New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SACSAC-2011-KuoLC #algorithm #clustering #testing
Testing a binary space partitioning algorithm with metamorphic testing (FCK, SL, TYC), pp. 1482–1489.
SACSAC-2011-LanLSH #algorithm #analysis #case study #classification #comparative #image
A comparative study and analysis on K-view based algorithms for image texture classification (YL, HL, ES, CCH), pp. 859–860.
SACSAC-2011-Muramatsu #algorithm #online #random #verification
Random forgery attacks against DTW-based online signature verification algorithm (DM), pp. 27–28.
SACSAC-2011-OliveiraLTFT #algorithm #documentation #image
A new algorithm for segmenting warped text-lines in document images (DMdO, RDL, GT, JF, MT), pp. 259–265.
SACSAC-2011-SeokPP #algorithm #hybrid #in memory #memory management #migration
Migration based page caching algorithm for a hybrid main memory of DRAM and PRAM (HS, YP, KHP), pp. 595–599.
SACSAC-2011-YueFCY #algorithm
ID* Lite: improved D* Lite algorithm (WY, JF, WC, HY), pp. 1364–1369.
SACSAC-2011-YukselBK #algorithm #estimation #framework #parametricity #search-based
A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.
ICSEICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using
A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.
SLESLE-2011-JongeV #algorithm #layout #refactoring
An Algorithm for Layout Preservation in Refactoring Transformations (MdJ, EV), pp. 40–59.
ASPLOSASPLOS-2011-NguyenP #algorithm #concurrent
Synthesizing concurrent schedulers for irregular algorithms (DN, KP), pp. 333–344.
CGOCGO-2011-AnselWCOEA #algorithm #compilation
Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
HPDCHPDC-2011-Chen
Algorithm-based recovery for iterative methods without checkpointing (ZC), pp. 73–84.
LCTESLCTES-2011-ChangH #algorithm #low cost
A low-cost wear-leveling algorithm for block-mapping solid-state disks (LPC, LCH), pp. 31–40.
PPoPPPPoPP-2011-DaviesCKL
Algorithm-based recovery for HPL (TD, ZC, CK, HL), pp. 303–304.
PPoPPPPoPP-2011-HassaanBP #algorithm #comparison #order #parallel
Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms (MAH, MB, KP), pp. 3–12.
PPoPPPPoPP-2011-HongKOO #algorithm #graph
Accelerating CUDA graph algorithms at maximum warp (SH, SKK, TO, KO), pp. 267–276.
PPoPPPPoPP-2011-MurarasuWBBP #algorithm #data type #grid #scalability
Compact data structure and scalable algorithms for the sparse grid technique (AFM, JW, GB, DB, DP), pp. 25–34.
CADECADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
CAVCAV-2011-BuchholzHHZ #algorithm #model checking
Model Checking Algorithms for CTMDPs (PB, EMH, HH, LZ), pp. 225–242.
CAVCAV-2011-ChatterjeeHJS #algorithm #analysis #automaton #markov #process
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (KC, MH, MJ, NS), pp. 260–276.
CAVCAV-2011-JohnC #algorithm #composition #equation #linear #quantifier
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.
ICSTICST-2011-HanselRHG #algorithm #embedded #generative #realtime
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
LICSLICS-2011-LeC #algorithm #formal method #random
Formalizing Randomized Matching Algorithms (DTML, SAC), pp. 185–194.
ICSTSAT-2011-JanotaS #algorithm
Abstraction-Based Algorithm for 2QBF (MJ, JPMS), pp. 230–244.
ICSTSAT-2011-MalitskySSS #algorithm #satisfiability
Non-Model-Based Algorithm Portfolios for SAT (YM, AS, HS, MS), pp. 369–370.
ICSTSAT-2011-SilvaL #algorithm #on the
On Improving MUS Extraction Algorithms (JPMS, IL), pp. 159–173.
ICSTSAT-2011-Williams #algorithm #bound #complexity #satisfiability
Connecting SAT Algorithms and Complexity Lower Bounds (RW), pp. 1–2.
VMCAIVMCAI-2011-HooimeijerV #algorithm #analysis #automaton #evaluation #string
An Evaluation of Automata Algorithms for String Analysis (PH, MV), pp. 248–262.
ASEASE-2010-DuleySK #algorithm #difference
A program differencing algorithm for verilog HDL (AD, CS, MK), pp. 477–486.
CASECASE-2010-ChoiTGLNJK #algorithm #web
Web register control algorithm for roll-to-roll system based printed electronics (KHC, TTT, PG, KHL, MNN, JDJ, DSK), pp. 867–872.
CASECASE-2010-HassanzadehMB #algorithm #mobile #optimisation
Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
CASECASE-2010-SunCL #algorithm #scheduling #using
Scheduling of steel-making and continuous casting system using the surrogate subgradient algorithm for lagrangian relaxation (LS, TC, PBL), pp. 885–890.
CASECASE-2010-TaoW #3d #algorithm #constraints #heuristic #problem
A new packing heuristic based algorithm for Vehicle Routing Problem with Three-dimensional Loading constraints (YT, FW), pp. 972–977.
CASECASE-2010-XuSY #algorithm #problem
Exact algorithms for non-overlapping 2-frame problem with non-partial coverage for networked robotic cameras (YX, DS, JY), pp. 503–508.
DACDAC-2010-ChippaMRRC #algorithm #design #energy #hardware #performance #scalability
Scalable effort hardware design: exploiting algorithmic resilience for energy efficiency (VKC, DM, AR, KR, STC), pp. 555–560.
DACDAC-2010-Coudert #algorithm #performance #verification
An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
DACDAC-2010-KinsmanN #algorithm #design #hardware #robust
Robust design methods for hardware accelerators for iterative algorithms in scientific computing (ABK, NN), pp. 254–257.
DACDAC-2010-KongMYW #algorithm
An optimal algorithm for finding disjoint rectangles and its application to PCB routing (HK, QM, TY, MDFW), pp. 212–217.
DACDAC-2010-LiuYT #algorithm #analysis #performance #robust #scalability
A robust periodic arnoldi shooting algorithm for efficient analysis of large-scale RF/MM ICs (XL, HY, SXDT), pp. 573–578.
DACDAC-2010-ShenTX #algorithm #analysis #correlation #linear #power management #statistics
A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation (RS, SXDT, JX), pp. 481–486.
DACDAC-2010-ThongN #algorithm #constant #multi #novel
A novel optimal single constant multiplication algorithm (JT, NN), pp. 613–616.
DACDAC-2010-XiaoSH #algorithm
A universal state-of-charge algorithm for batteries (BX, YS, LH), pp. 687–692.
DACDAC-2010-XiongW #algorithm #constraints #grid #linear #performance #power management #verification
An efficient dual algorithm for vectorless power grid verification under linear current constraints (XX, JW), pp. 837–842.
DACDAC-2010-YeL #modelling #optimisation #parallel #performance #runtime #simulation
Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DATEDATE-2010-AliARA #algorithm #design #energy #evaluation #predict
Evaluation and design exploration of solar harvested-energy prediction algorithm (MIA, BMAH, JR, DA), pp. 142–147.
DATEDATE-2010-ChenDS #algorithm #analysis
Properties of and improvements to time-domain dynamic thermal analysis algorithms (XC, RPD, LS), pp. 1165–1170.
DATEDATE-2010-CongHJ #algorithm #behaviour #pattern matching #pattern recognition #recognition #synthesis
A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis (JC, HH, WJ), pp. 1255–1260.
DATEDATE-2010-JanapsatyaIPP #adaptation #algorithm #policy
Dueling CLOCK: Adaptive cache replacement policy based on the CLOCK algorithm (AJ, AI, JP, SP), pp. 920–925.
DATEDATE-2010-LiuTQ #algorithm #constraints #performance #power management
Enhanced Q-learning algorithm for dynamic power management with performance constraint (WL, YT, QQ), pp. 602–605.
DATEDATE-2010-LuckenbillLHMH #algorithm #analysis #fault #logic #named #reliability
RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.
DATEDATE-2010-Mirza-AghatabarBG #algorithm #pipes and filters
Algorithms to maximize yield and enhance yield/area of pipeline circuitry by insertion of switches and redundant modules (MMA, MAB, SKG), pp. 1249–1254.
DATEDATE-2010-PakerEB #algorithm #architecture #low cost #multi #standard
A low cost multi-standard near-optimal soft-output sphere decoder: Algorithm and architecture (ÖP, SE, AB), pp. 1402–1407.
DATEDATE-2010-SterponeB #algorithm #multi
A new placement algorithm for the mitigation of multiple cell upsets in SRAM-based FPGAs (LS, NB), pp. 1231–1236.
DATEDATE-2010-UgryumovaS #algorithm #modelling #on the
On passivity of the super node algorithm for EM modeling of interconnect systems (MVU, WHAS), pp. 471–476.
DATEDATE-2010-Zhu #algorithm #multi #realtime
Retiming multi-rate DSP algorithms to meet real-time requirement (XYZ), pp. 1785–1790.
DocEngDocEng-2010-Hassan #algorithm #evaluation #recognition #towards
Towards a common evaluation strategy for table structure recognition algorithms (TH), pp. 255–258.
DRRDRR-2010-BelaidMR #algorithm #documentation #modelling
Improved CHAID algorithm for document structure modelling (AB, TM, YR), pp. 1–10.
PODSPODS-2010-GrecoS #algorithm #consistency #power of
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability (GG, FS), pp. 327–338.
PODSPODS-2010-KaneNW #algorithm #problem
An optimal algorithm for the distinct elements problem (DMK, JN, DPW), pp. 41–52.
PODSPODS-2010-LemayMN #algorithm #learning #top-down #xml
A learning algorithm for top-down XML transformations (AL, SM, JN), pp. 285–296.
SIGMODSIGMOD-2010-Amer-YahiaDKKF #algorithm #big data
Crowds, clouds, and algorithms: exploring the human side of “big data” applications (SAY, AD, JMK, NK, MJF), pp. 1259–1260.
SIGMODSIGMOD-2010-BlanasPERST #algorithm #comparison #pipes and filters
A comparison of join algorithms for log processing in MaPreduce (SB, JMP, VE, JR, EJS, YT), pp. 975–986.
SIGMODSIGMOD-2010-ParameswaranKBG #algorithm #mining #named #precedence #recommendation
Recsplorer: recommendation algorithms based on precedence mining (AGP, GK, BB, HGM), pp. 87–98.
SIGMODSIGMOD-2010-TranPLDL #algorithm #data type #named #nondeterminism
PODS: a new model and processing algorithms for uncertain data streams (TTLT, LP, BL, YD, AL), pp. 159–170.
SIGMODSIGMOD-2010-WangWLW #algorithm #approach #summary
An algorithmic approach to event summarization (PW, HW, ML, WW), pp. 183–194.
VLDBVLDB-2010-MahPC #algorithm #functional #named #realtime #set
UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.
VLDBVLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance
Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
ITiCSEITiCSE-2010-LeeR #algorithm #category theory #design #learning #visualisation
Integrating categories of algorithm learning objective into algorithm visualization design: a proposal (MHL, GR), pp. 289–293.
FoSSaCSFoSSaCS-2010-ToL #algorithm #decidability #infinity #ltl #model checking
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems (AWT, LL), pp. 221–236.
TACASTACAS-2010-DoyenR #algorithm #automaton #finite
Antichain Algorithms for Finite Automata (LD, JFR), pp. 2–22.
TACASTACAS-2010-GoreKP #algebra #algorithm #logic
Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.
ICPCICPC-2010-ScannielloDDD #algorithm #clustering #using
Using the Kleinberg Algorithm and Vector Space Model for Software System Clustering (GS, AD, CD, TD), pp. 180–189.
ICPCICPC-2010-ShternT #algorithm #clustering #on the
On the Comparability of Software Clustering Algorithms (MS, VT), pp. 64–67.
ICPCICPC-2010-Taherkhani #algorithm #classification #sorting
Recognizing Sorting Algorithms with the C4.5 Decision Tree Classifier (AT), pp. 72–75.
ICSMEICSM-2010-InsaS #algorithm #debugging #java
An algorithmic debugger for Java (DI, JS), pp. 1–6.
STOCSTOC-2010-CardinalFJJM #algorithm #sorting
Sorting under partial information (without the ellipsoid algorithm) (JC, SF, GJ, RMJ, JIM), pp. 359–368.
STOCSTOC-2010-HartlineL #algorithm #design
Bayesian algorithmic mechanism design (JDH, BL), pp. 301–310.
STOCSTOC-2010-KawarabayashiW #algorithm #graph #proving #theorem
A shorter proof of the graph minor algorithm: the unique linkage theorem (KiK, PW), pp. 687–694.
STOCSTOC-2010-Madry #algorithm #approximate #graph #multi #performance #problem
Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms (AM), pp. 121–130.
STOCSTOC-2010-MicciancioV #algorithm #exponential #problem
A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations (DM, PV), pp. 351–358.
STOCSTOC-2010-Montanari #algorithm #message passing
Message passing algorithms: a success looking for theoreticians (AM), pp. 37–38.
STOCSTOC-2010-Orlin #algorithm
Improved algorithms for computing fisher’s market clearing prices: computing fisher’s market clearing prices (JBO), pp. 291–300.
CIAACIAA-2010-CastiglioneNS #algorithm #automaton #product line
A Challenging Family of Automata for Classical Minimization Algorithms (GC, CN, MS), pp. 251–260.
DLTDLT-2010-BenschBD #algorithm
Algorithmic Properties of Millstream Systems (SB, HB, FD), pp. 54–65.
DLTDLT-2010-Okhotin #algorithm #boolean grammar #parsing #performance
Fast Parsing for Boolean Grammars: A Generalization of Valiant’s Algorithm (AO), pp. 340–351.
ICALPICALP-v1-2010-BansalKN #algorithm #scalability #scheduling
Better Scalable Algorithms for Broadcast Scheduling (NB, RK, VN), pp. 324–335.
ICALPICALP-v1-2010-FakcharoenpholLN #algorithm #performance #problem
Faster Algorithms for Semi-matching Problems (Extended Abstract) (JF, BL, DN), pp. 176–187.
ICALPICALP-v1-2010-GuptaNR #algorithm #optimisation #robust
Thresholded Covering Algorithms for Robust and Max-min Optimization (AG, VN, RR), pp. 262–274.
ICALPICALP-v1-2010-GuptaNR10a #adaptation #algorithm #approximate #problem
Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems (AG, VN, RR), pp. 690–701.
ICALPICALP-v1-2010-HalldorssonHLS #algorithm #independence #set #streaming
Streaming Algorithms for Independent Sets (BVH, MMH, EL, MS), pp. 641–652.
ICALPICALP-v1-2010-MakarychevMS #algorithm #approximate #polynomial #problem #reduction
Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm (KM, RM, MS), pp. 594–604.
ICALPICALP-v1-2010-RudraU #algorithm #data type #testing
Data Stream Algorithms for Codeword Testing (AR, SU), pp. 629–640.
ICALPICALP-v2-2010-BansalJKN #algorithm #approximate #ranking
Approximation Algorithms for Diversified Search Ranking (NB, KJ, AK, JN), pp. 273–284.
ICALPICALP-v2-2010-EvenM #algorithm #online #random
An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines (GE, MM), pp. 139–150.
ICALPICALP-v2-2010-Wattenhofer #algorithm #physics
Physical Algorithms (RW), pp. 38–51.
LATALATA-2010-Arslan #algorithm #performance #sequence #string
A Fast Longest Common Subsequence Algorithm for Similar Strings (ANA), pp. 82–93.
LATALATA-2010-MarschallR #algorithm #analysis #automaton #pattern matching #probability
Exact Analysis of Horspool’s and Sunday’s Pattern Matching Algorithms with Probabilistic Arithmetic Automata (TM, SR), pp. 439–450.
IFMIFM-2010-BouchenebIN #algorithm #model checking #replication
Symbolic Model-Checking of Optimistic Replication Algorithms (HB, AI, MN), pp. 89–104.
ICFPICFP-2010-Blelloch #algorithm #functional #parallel
Functional parallel algorithms (GEB), pp. 247–248.
CHICHI-2010-LeeSL #adaptation #algorithm #evaluation
An adaptive speed-call list algorithm and its evaluation with ESM (SL, JS, GL), pp. 2019–2022.
CSCWCSCW-2010-ShaoLG #algorithm #mobile #sequence
A sequence transformation algorithm for supporting cooperative work on mobile devices (BS, DL, NG), pp. 159–168.
SOFTVISSOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process
An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
AdaEuropeAdaEurope-2010-AlbertosCSF #algorithm #co-evolution #design #implementation
Control Co-design: Algorithms and Their Implementation (PA, AC, JES, AF), pp. 19–40.
AdaEuropeAdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.
ICEISICEIS-AIDSS-2010-Chatzinikolaou #adaptation #algorithm #coordination #design #distributed #evolution #search-based #self
Coordinating Evolution — Designing a Self-adapting Distributed Genetic Algorithm (NC), pp. 13–20.
ICEISICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology #sequence
KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.
ICEISICEIS-AIDSS-2010-LafuenteP #algorithm
Algorithm Applied in the Prioritisation of the Stakeholders (AMGL, LBdP), pp. 181–186.
ICEISICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #semantics
NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEISICEIS-AIDSS-2010-Moghadampour #algorithm #search-based
Male and Female Chromosomes in Genetic Algorithms (GM), pp. 220–225.
ICEISICEIS-DISI-2010-KalsingTI #algorithm #incremental #mining #process
An Incremental Process Mining Algorithm (AK, LHT, CI), pp. 263–268.
ICEISICEIS-DISI-2010-MoraesZF #algorithm #concept #distributed
A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEISICEIS-J-2010-Chatzinikolaou10a #adaptation #algorithm #architecture #coordination #evolution #peer-to-peer #search-based #self
Coordinating Evolution: An Open, Peer-to-Peer Architecture for a Self-adapting Genetic Algorithm (NC), pp. 164–176.
CIKMCIKM-2010-ChenJPL #algorithm #database #mining #performance #scalability
An efficient algorithm for mining time interval-based patterns in large database (YCC, JCJ, WCP, SYL), pp. 49–58.
CIKMCIKM-2010-ChrysakisCP #algorithm #evaluation #network #peer-to-peer #query #using
Evaluation of top-k queries in peer-to-peer networks using threshold algorithms (IC, CC, DP), pp. 1305–1308.
CIKMCIKM-2010-CormodeKW #algorithm #dataset #scalability #set
Set cover algorithms for very large datasets (GC, HJK, AW), pp. 479–488.
CIKMCIKM-2010-DillonC #algorithm #feedback #framework #optimisation #pseudo #robust
A unified optimization framework for robust pseudo-relevance feedback algorithms (JVD, KCT), pp. 1069–1078.
CIKMCIKM-2010-GargNB #algorithm #memory management #performance #realtime
Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.
CIKMCIKM-2010-GyllstromM #algorithm #towards #web
Wisdom of the ages: toward delivering the children’s web with the link-based agerank algorithm (KG, MFM), pp. 159–168.
CIKMCIKM-2010-HeMW #algorithm #evaluation #learning #metric #optimisation #rank
Directly optimizing evaluation measures in learning to rank based on the clonal selection algorithm (QH, JM, SW), pp. 1449–1452.
CIKMCIKM-2010-HuangSHDSL #algorithm #clustering #community #detection #named #network
SHRINK: a structural clustering algorithm for detecting hierarchical communities in networks (JH, HS, JH, HD, YS, YL), pp. 219–228.
CIKMCIKM-2010-MassSS #algorithm #information retrieval
A peer-selection algorithm for information retrieval (YM, YS, MSS), pp. 1601–1604.
CIKMCIKM-2010-VijayalakshmiMMDRM #algorithm #search-based #using
Intelligent sales forecasting engine using genetic algorithms (MV, BM, RM, AD, RR, KM), pp. 1669–1672.
ECIRECIR-2010-AgarwalC #algorithm #information retrieval #ranking
Maximum Margin Ranking Algorithms for Information Retrieval (SA, MC), pp. 332–343.
ECIRECIR-2010-AthanasakosSJ #algorithm #automation #framework #image
A Framework for Evaluating Automatic Image Annotation Algorithms (KA, VS, JMJ), pp. 217–228.
ICMLICML-2010-BardenetK #algorithm #optimisation
Surrogating the surrogate: accelerating Gaussian-process-based global optimization with a mixture cross-entropy algorithm (RB, BK), pp. 55–62.
ICMLICML-2010-Carreira-Perpinan #algorithm #reduction
The Elastic Embedding Algorithm for Dimensionality Reduction (MÁCP), pp. 167–174.
ICMLICML-2010-CortesMR #algorithm #kernel #learning
Two-Stage Learning Kernel Algorithms (CC, MM, AR), pp. 239–246.
ICMLICML-2010-DuchiMJ #algorithm #consistency #on the #ranking
On the Consistency of Ranking Algorithms (JCD, LWM, MIJ), pp. 327–334.
ICMLICML-2010-FaivishevskyG #algorithm #clustering #parametricity
Nonparametric Information Theoretic Clustering Algorithm (LF, JG), pp. 351–358.
ICMLICML-2010-JaggiS #algorithm #problem
A Simple Algorithm for Nuclear Norm Regularized Problems (MJ, MS), pp. 471–478.
ICMLICML-2010-KimSD #algorithm #scalability
A scalable trust-region algorithm with application to mixed-norm regression (DK, SS, ISD), pp. 519–526.
ICMLICML-2010-LazaricGM #algorithm #analysis #classification #policy
Analysis of a Classification-based Policy Iteration Algorithm (AL, MG, RM), pp. 607–614.
ICMLICML-2010-TomiokaSSK #algorithm #learning #matrix #performance #rank
A Fast Augmented Lagrangian Algorithm for Learning Low-Rank Matrices (RT, TS, MS, HK), pp. 1087–1094.
ICPRICPR-2010-AbergW #3d #algorithm #clustering
A Memetic Algorithm for Selection of 3D Clustered Features with Applications in Neuroscience (MBÅ, JW), pp. 1076–1079.
ICPRICPR-2010-AroraS #algorithm #learning #performance
An Efficient and Stable Algorithm for Learning Rotations (RA, WAS), pp. 2993–2996.
ICPRICPR-2010-BaldacciBD #3d #algorithm #bound #design #framework #graph #segmentation
Oriented Boundary Graph: A Framework to Design and Implement 3D Segmentation Algorithms (FB, AJPB, JPD), pp. 1116–1119.
ICPRICPR-2010-CalanaROD #algorithm #difference #prototype #representation #search-based
Prototype Selection for Dissimilarity Representation by a Genetic Algorithm (YPC, EBGR, MOA, RPWD), pp. 177–180.
ICPRICPR-2010-CetinH #adaptation #algorithm #estimation #video
An Adaptive True Motion Estimation Algorithm for Frame Rate Conversion of High Definition Video (MC, IH), pp. 4109–4112.
ICPRICPR-2010-Chicheva #2d #algorithm #data transformation #parallel #representation
Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.
ICPRICPR-2010-DitzlerPC #algorithm #incremental #learning
An Incremental Learning Algorithm for Non-stationary Environments and Class Imbalance (GD, RP, NVC), pp. 2997–3000.
ICPRICPR-2010-FahnC #algorithm #realtime #recognition
Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.
ICPRICPR-2010-FerrerB #algorithm #approximate #graph
An Iterative Algorithm for Approximate Median Graph Computation (MF, HB), pp. 1562–1565.
ICPRICPR-2010-GlumovM #algorithm #image #robust #scalability
The New Blockwise Algorithm for Large-Scale Images Robust Watermarking (NIG, VAM), pp. 1453–1456.
ICPRICPR-2010-GranaBC #algorithm #performance
Decision Trees for Fast Thinning Algorithms (CG, DB, RC), pp. 2836–2839.
ICPRICPR-2010-GriniasKT #algorithm #interactive #segmentation
Flooding and MRF-based Algorithms for Interactive Segmentation (IG, NK, GT), pp. 3943–3946.
ICPRICPR-2010-HarirchiRMDG #algorithm #detection #using
Two-Level Algorithm for MCs Detection in Mammograms Using Diverse-Adaboost-SVM (FH, PR, HAM, FD, MG), pp. 269–272.
ICPRICPR-2010-HasanbelliuGP #algorithm #kernel #online #recursion
A Recursive Online Kernel PCA Algorithm (EH, LGSG, JCP), pp. 169–172.
ICPRICPR-2010-JouiliTL #algorithm #clustering #graph
Median Graph Shift: A New Clustering Algorithm for Graph Domain (SJ, ST, VL), pp. 950–953.
ICPRICPR-2010-KimKP #algorithm #generative #simulation
A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
ICPRICPR-2010-KopenkovM #algorithm #performance #recursion #research
Research the Performance of a Recursive Algorithm of the Local Discrete Wavelet Transform (VNK, VVM), pp. 4452–4455.
ICPRICPR-2010-LeeCL #algorithm #data-driven #graph #markov #monte carlo #using
A Graph Matching Algorithm Using Data-Driven Markov Chain Monte Carlo Sampling (JL, MC, KML), pp. 2816–2819.
ICPRICPR-2010-MicoO #algorithm #constant #nearest neighbour #performance
A Constant Average Time Algorithm to Allow Insertions in the LAESA Fast Nearest Neighbour Search Index (LM, JO), pp. 3911–3914.
ICPRICPR-2010-Mirzaei #algorithm #clustering #multi #novel
A Novel Multi-view Agglomerative Clustering Algorithm Based on Ensemble of Partitions on Different Views (HM), pp. 1007–1010.
ICPRICPR-2010-NacereddineTZH10a #algorithm #image #modelling #segmentation #symmetry
Asymmetric Generalized Gaussian Mixture Models and EM Algorithm for Image Segmentation (NN, ST, DZ, LH), pp. 4557–4560.
ICPRICPR-2010-NishidaKOH #algorithm #using #visual notation
Visual Tracking Algorithm Using Pixel-Pair Feature (KN, TK, YO, MH), pp. 1808–1811.
ICPRICPR-2010-NovoSPF #algorithm #modelling #multi #optimisation
Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms (JN, JSR, MGP, AF), pp. 2226–2229.
ICPRICPR-2010-PhilippotBB #algorithm #classification #learning #network #online
Bayesian Networks Learning Algorithms for Online Form Classification (EP, YB, AB), pp. 1981–1984.
ICPRICPR-2010-SoltanaACA #adaptation #algorithm #search-based #using
Adaptive Feature and Score Level Fusion Strategy Using Genetic Algorithms (WBS, MA, LC, CBA), pp. 4316–4319.
ICPRICPR-2010-SomolGP #algorithm #feature model #problem #set
The Problem of Fragile Feature Subset Preference in Feature Selection Methods and a Proposal of Algorithmic Workaround (PS, JG, PP), pp. 4396–4399.
ICPRICPR-2010-StadelmannWSEF #algorithm #design #development #speech
Rethinking Algorithm Design and Development in Speech Processing (TS, YW, MS, RE, BF), pp. 4476–4479.
ICPRICPR-2010-SuzukiIAT #algorithm #estimation #image #using
A Scale Estimation Algorithm Using Phase-Based Correspondence Matching for Electron Microscope Images (AS, KI, TA, RT), pp. 2420–2423.
ICPRICPR-2010-TakasuFA #algorithm #similarity
A Variational Bayesian EM Algorithm for Tree Similarity (AT, DF, TA), pp. 1056–1059.
ICPRICPR-2010-TasdizenH #algorithm #estimation #recursion #video
Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.
ICPRICPR-2010-VuLB #algorithm #clustering #constraints #performance
An Efficient Active Constraint Selection Algorithm for Clustering (VVV, NL, BBM), pp. 2969–2972.
ICPRICPR-2010-XiongOL #algorithm #composition #recursion
A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition (WX, SHO, JHL), pp. 4416–4419.
ICPRICPR-2010-YoonW #algorithm
Improved Mean Shift Algorithm with Heterogeneous Node Weights (JWY, SPW), pp. 4222–4225.
KDDKDD-2010-DasMSO #algorithm #case study #detection #kernel #learning #multi #safety
Multiple kernel learning for heterogeneous anomaly detection: algorithm and aviation safety case study (SD, BLM, ANS, NCO), pp. 47–56.
KDDKDD-2010-LiLZ #algorithm #collaboration #concept #correlation
Negative correlations in collaboration: concepts and algorithms (JL, QL, TZ), pp. 463–472.
KDDKDD-2010-LiuYY #algorithm #performance #problem
An efficient algorithm for a class of fused lasso problems (JL, LY, JY), pp. 323–332.
KDDKDD-2010-MarchRG #algorithm #analysis #performance
Fast euclidean minimum spanning tree: algorithm, analysis, and applications (WBM, PR, AGG), pp. 603–612.
KDDKDD-2010-TsengWSY #algorithm #mining #named #performance
UP-Growth: an efficient algorithm for high utility itemset mining (VST, CWW, BES, PSY), pp. 253–262.
KDDKDD-2010-WangC #algorithm #linear #modelling #performance
An efficient causal discovery algorithm for linear models (ZW, LC), pp. 1109–1118.
KDDKDD-2010-WangCSX #algorithm #mining #mobile #network #social
Community-based greedy algorithm for mining top-K influential nodes in mobile social networks (YW, GC, GS, KX), pp. 1039–1048.
KDIRKDIR-2010-GokceA #algorithm #trade-off
A Tradeoff Balancing Algorithm for Hiding Sensitive Frequent Itemsets (HG, OA), pp. 200–205.
KDIRKDIR-2010-GudysS #algorithm
An Algorithm for Decision Rules Aggregation (AG, MS), pp. 216–225.
KDIRKDIR-2010-TsaiHYC #algorithm #clustering #performance
An Efficient PSO-based Clustering Algorithm (CWT, KWH, CSY, MCC), pp. 150–155.
KEODKEOD-2010-LeraJP #algorithm #ambiguity #concept #ontology #semantics
Unsupervised Algorithm for the Concept Disambiguation in Ontologies — Semantic Rules and Voting System to Determine Suitable Senses (IL, CJ, RP), pp. 388–391.
KRKR-2010-DvorakPW #algorithm #parametricity #towards
Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).
RecSysRecSys-2010-AdomaviciusZ #algorithm #on the #recommendation
On the stability of recommendation algorithms (GA, JZ), pp. 47–54.
RecSysRecSys-2010-BerkovskyFCB #algorithm #game studies #process #recommendation
Recommender algorithms in activity motivating games (SB, JF, MC, DB), pp. 175–182.
RecSysRecSys-2010-Burke #algorithm #recommendation
Evaluating the dynamic properties of recommendation algorithms (RDB), pp. 225–228.
RecSysRecSys-2010-CremonesiKT #algorithm #performance #recommendation
Performance of recommender algorithms on top-n recommendation tasks (PC, YK, RT), pp. 39–46.
RecSysRecSys-2010-MarxHM #algorithm #comprehension #hybrid #recommendation
Increasing consumers’ understanding of recommender results: a preference-based hybrid algorithm with strong explanatory power (PM, THT, AM), pp. 297–300.
RecSysRecSys-2010-PessemierDDM #algorithm #collaboration #dependence #quality
Time dependency of data quality for collaborative filtering algorithms (TDP, SD, TD, LM), pp. 281–284.
SEKESEKE-2010-AbuzeidHT #algorithm #performance #reduction #testing
FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction (ARA, HSH, IAHT), p. 67.
SEKESEKE-2010-AndresMN #algorithm #multi #search-based #testing
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
SEKESEKE-2010-BackerM #algorithm #network
Evaluating the Weighted Sum Algorithm for Estimating Conditional Probabilities in Bayesian Networks (SB, EM), pp. 319–324.
SIGIRSIGIR-2010-CaiZDC #algorithm #similarity
Closed form solution of similarity algorithms (YC, MZ, CHQD, SC), pp. 709–710.
SIGIRSIGIR-2010-LiL #algorithm #clustering #named
HCC: a hierarchical co-clustering algorithm (JL, TL), pp. 861–862.
SIGIRSIGIR-2010-SallesRPMMG #algorithm #classification #documentation
Temporally-aware algorithms for document classification (TS, LCdR, GLP, FM, WMJ, MAG), pp. 307–314.
SIGIRSIGIR-2010-SinglaWH #algorithm #web
Studying trailfinding algorithms for enhanced web search (AS, RW, JH), pp. 443–450.
ECMFAECMFA-2010-Balderas-ContrerasGC #algorithm #uml
A UML 2.0 Profile to Model Block Cipher Algorithms (TBC, GRG, RC), pp. 20–31.
LOPSTRLOPSTR-2010-GiorginoSMP #algorithm #graph #verification
Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.
LOPSTRLOPSTR-2010-InsaS #algorithm #debugging #execution #scalability
Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
POPLPOPL-2010-JimMW #algorithm #semantics
Semantics and algorithms for data-dependent grammars (TJ, YM, DW), pp. 417–430.
SACSAC-OOPS-J-2008-PirkelbauerPMS10 #algorithm #concept #runtime
Dynamic algorithm selection for runtime concepts (PP, SP, MM, BS), pp. 773–786.
SACSAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
SACSAC-2010-AquinoOW #algorithm #network
A wavelet-based sampling algorithm for wireless sensor networks applications (ALLdA, RARO, EFW), pp. 1604–1608.
SACSAC-2010-AyyappanWN #algorithm #constraints #learning #named #network #scalability
MICHO: a scalable constraint-based algorithm for learning Bayesian networks (MA, YKW, WKN), pp. 985–989.
SACSAC-2010-BaeAVNB #algorithm #performance #search-based
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature (WDB, SA, PV, SN, KYB), pp. 892–899.
SACSAC-2010-BaudetD #algorithm #permutation
An improved algorithm to enumerate all traces that sort a signed permutation by reversals (CB, ZD), pp. 1521–1525.
SACSAC-2010-BlundoC #algorithm #mining
A simple role mining algorithm (CB, SC), pp. 1958–1962.
SACSAC-2010-Chen #algorithm #query
A time optimal algorithm for evaluating tree pattern queries (YC), pp. 1638–1642.
SACSAC-2010-GuoH #algorithm #clustering
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SACSAC-2010-HautakorpiM #algorithm #network #using
Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA) (JH, JM), pp. 655–662.
SACSAC-2010-HoL #algorithm #constraints
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SACSAC-2010-LanLSH #algorithm #classification #image #using
An improved K-view algorithm for image texture classification using new characteristic views selection methods (YL, HL, ES, CCH), pp. 959–963.
SACSAC-2010-LeeST #algorithm #database #incremental #performance
An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
SACSAC-2010-LinsOTFT #algorithm #documentation
A dewarping algorithm to compensate volume binding distortion in scanned documents (RDL, DMdO, GT, JF, MT), pp. 61–62.
SACSAC-2010-LlorensOST #algorithm #control flow #graph
An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
SACSAC-2010-MatteoPTV #algorithm #ambiguity #clustering #folksonomy
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies (NRDM, SP, FT, FV), pp. 844–848.
SACSAC-2010-OssaPSG #algorithm #graph #low cost #predict #web
Referrer graph: a low-cost web prediction algorithm (BdlO, AP, JS, JAG), pp. 831–838.
SACSAC-2010-PortugalR #algorithm #clustering #graph #multi #using
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning (DP, RPR), pp. 1271–1276.
SACSAC-2010-RomaniAZCTT #algorithm #mining #named
CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data (LASR, AMHdÁ, JZJ, RC, CTJ, AJMT), pp. 900–905.
SACSAC-2010-SchiperP #algorithm #flexibility #multi #performance
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms (NS, FP), pp. 418–422.
SACSAC-2010-TeixeiraG #algorithm #network #scheduling
Uplink scheduling algorithm with dynamic polling management in IEEE 802.16 broadband wireless networks (MAT, PRG), pp. 601–602.
SACSAC-2010-ToledoOOP #algorithm #parallel #problem #scheduling #search-based
Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem (CFMT, LdO, RRRdO, MRP), pp. 1148–1152.
SACSAC-2010-WangLZY #algorithm
An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.
LDTALDTA-2009-DennisJW10 #algorithm #analysis #automation #memory management #named
SLAMM — Automating Memory Analysis for Numerical Algorithms (JMD, ERJ, WMW), pp. 89–104.
CCCC-2010-DingO #algorithm #representation #strict
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values (SD, ), pp. 26–45.
CCCC-2010-NaeemLR #algorithm
Practical Extensions to the IFDS Algorithm (NAN, OL, JR), pp. 124–144.
HPCAHPCA-2010-KimHMH #algorithm #memory management #multi #named #scalability #scheduling
ATLAS: A scalable and high-performance scheduling algorithm for multiple memory controllers (YK, DH, OM, MHB), pp. 1–12.
PPoPPPPoPP-2010-AliMP #algorithm #communication #modelling
Modeling advanced collective communication algorithms on cell-based systems (QA, SPM, VSP), pp. 293–304.
PPoPPPPoPP-2010-LiuL #algorithm #locality #parallel
Improving parallelism and locality with asynchronous algorithms (LL, ZL), pp. 213–222.
CAVCAV-2010-Michael #algorithm #concurrent #memory management
Memory Management in Concurrent Algorithms (MMM), p. 23.
CAVCAV-2010-PnueliSZ #algorithm #framework #named #verification
Jtlv: A Framework for Developing Verification Algorithms (AP, YS, LDZ), pp. 171–174.
CSLCSL-2010-BlassDG #algorithm
Exact Exploration and Hanging Algorithms (AB, ND, YG), pp. 140–154.
CSLCSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
ICSTICST-2010-HuangCM #algorithm #search-based #testing #user interface #using
Repairing GUI Test Suites Using a Genetic Algorithm (SH, MBC, AMM), pp. 245–254.
ICTSSICTSS-2010-CabralPV #algorithm #integration #order #problem
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem (RdVC, AP, SRV), pp. 16–29.
RTARTA-2010-LevyV #algorithm #performance #unification
An Efficient Nominal Unification Algorithm (JL, MV), pp. 209–226.
ICSTSAT-2010-MakinoTY #algorithm #problem
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (KM, ST, MY), pp. 172–180.
ICSTSAT-2010-ManquinhoML #algorithm #optimisation #satisfiability
Improving Unsatisfiability-Based Algorithms for Boolean Optimization (VMM, RM, IL), pp. 181–193.
ICSTSAT-2010-Paturi #algorithm #complexity
Exact Algorithms and Complexity (RP), pp. 8–9.
VMCAIVMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
ASEASE-2009-Hall #algorithm #quantum #re-engineering
A Quantum Algorithm for Software Engineering Search (RJH), pp. 40–51.
CASECASE-2009-BermanK #abstraction #algorithm #assembly #scalability
Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.
CASECASE-2009-BountourelisR #algorithm #learning
Customized learning algorithms for episodic tasks with acyclic state spaces (TB, SR), pp. 627–634.
CASECASE-2009-DInnocenzoWAIJP #algorithm #scalability #scheduling
Scalable scheduling algorithms for wireless networked control systems (AD, GW, RA, AJI, KHJ, GJP), pp. 409–414.
CASECASE-2009-GargM #agile #algorithm #clustering #named #using
RACK: RApid clustering using K-means algorithm (VKG, MNM), pp. 621–626.
CASECASE-2009-GirishJ #algorithm #flexibility #optimisation #problem #scheduling
A particle swarm optimization algorithm for flexible job shop scheduling problem (BSG, NJ), pp. 298–303.
CASECASE-2009-MysoreNUMR #algorithm #performance
An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas (NM, PN, RSU, RM, SR), pp. 233–240.
CASECASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using
Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.
DACDAC-2009-CromarLC #algorithm #reduction
FPGA-targeted high-level binding algorithm for power and area reduction with glitch-estimation (SC, JL, DC), pp. 838–843.
DACDAC-2009-El-MoselhyED #algorithm #performance
An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes (TAEM, IME, BD), pp. 770–775.
DACDAC-2009-FengZYTZ #algorithm #performance
Provably good and practically efficient algorithms for CMP dummy fill (CF, HZ, CY, JT, XZ), pp. 539–544.
DACDAC-2009-LiS #algorithm #optimisation #robust
Yield-driven iterative robust circuit optimization algorithm (YL, VS), pp. 599–604.
DACDAC-2009-LiuWQ #adaptation #algorithm #energy #realtime #scheduling
An adaptive scheduling and voltage/frequency selection algorithm for real-time energy harvesting systems (SL, QW, QQ), pp. 782–787.
DACDAC-2009-LiuYKC #algorithm
An O(n log n) path-based obstacle-avoiding algorithm for rectilinear Steiner tree construction (CHL, SYY, SYK, YHC), pp. 314–319.
DACDAC-2009-LuZSZ #algorithm #manycore #parallel
Multicore parallel min-cost flow algorithm for CAD applications (YL, HZ, LS, XZ), pp. 832–837.
DACDAC-2009-ShengXM #algorithm #fault #multi #optimisation #search-based #standard
Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.
DATEDATE-2009-AlimohammadFC #algorithm #architecture #development #flexibility #verification
A flexible layered architecture for accurate digital baseband algorithm development and verification (AA, SFF, BFC), pp. 45–50.
DATEDATE-2009-ConcerIB #algorithm #named #network #novel
aEqualized: A novel routing algorithm for the Spidergon Network On Chip (NC, SI, LB), pp. 749–754.
DATEDATE-2009-FickDCBSB #algorithm #fault tolerance
A highly resilient routing algorithm for fault-tolerant NoCs (DF, AD, GKC, VB, DS, DB), pp. 21–26.
DATEDATE-2009-GaluzziTMB #algorithm #automation
Algorithms for the automatic extension of an instruction-set (CG, DT, RM, KB), pp. 548–553.
DATEDATE-2009-HeH #algorithm #encoding #performance #verification
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
DATEDATE-2009-HolstW #algorithm
A diagnosis algorithm for extreme space compaction (SH, HJW), pp. 1355–1360.
DATEDATE-2009-KeinertDHHT #algorithm #image #modelling #multi #optimisation #synthesis
Model-based synthesis and optimization of static multi-rate image processing algorithms (JK, HD, FH, CH, JT), pp. 135–140.
DATEDATE-2009-LiFNBPC #architecture #co-evolution #design #detection #ml #parallel #set
Algorithm-architecture co-design of soft-output ML MIMO detector for parallel application specific instruction set processors (ML, RF, DN, BB, LVdP, FC), pp. 1608–1613.
DATEDATE-2009-WhittySEP #algorithm #architecture #configuration management
Mapping of a film grain removal algorithm to a heterogeneous reconfigurable architecture (SW, HS, RE, WPR), pp. 27–32.
DRRDRR-2009-MeilenderB #algorithm #documentation #segmentation
Segmentation of continuous document flow by a modified backward-forward algorithm (TM, AB), pp. 1–10.
ICDARICDAR-2009-BoubakerKA #algorithm #detection
New Algorithm of Straight or Curved Baseline Detection for Short Arabic Handwritten Writing (HB, MK, AMA), pp. 778–782.
ICDARICDAR-2009-BoussellaaBZAA #algorithm #documentation #image #using
Enhanced Text Extraction from Arabic Degraded Document Images Using EM Algorithm (WB, AB, AZ, HEA, AMA), pp. 743–747.
ICDARICDAR-2009-DaifallahZJ #algorithm #online #segmentation
Recognition-Based Segmentation Algorithm for On-Line Arabic Handwriting (KD, NZ, HJ), pp. 886–890.
ICDARICDAR-2009-HanifP #algorithm #detection #image #locality #using
Text Detection and Localization in Complex Scene Images using Constrained AdaBoost Algorithm (SMH, LP), pp. 1–5.
SIGMODSIGMOD-2009-FingerP #algorithm #evaluation #performance #rank #robust
Robust and efficient algorithms for rank join evaluation (JF, NP), pp. 415–428.
VLDBVLDB-2009-HassanzadehCML #algorithm #clustering #detection #framework
Framework for Evaluating Clustering Algorithms in Duplicate Detection (OH, FC, RJM, HCL), pp. 1282–1293.
VLDBVLDB-2009-SarmaLNX #algorithm #multi #random #streaming
Randomized Multi-pass Streaming Skyline Algorithms (ADS, AL, DN, J(X), pp. 85–96.
VLDBVLDB-2009-UMM #algorithm #multi #query
A Fair Assignment Algorithm for Multiple Preference Queries (LHU, NM, KM), pp. 1054–1065.
ITiCSEITiCSE-2009-Garcia-MateosA #algorithm #data type #online #using
A course on algorithms and data structures using on-line judging (GGM, JLFA), pp. 45–49.
ITiCSEITiCSE-2009-KiesmullerB #algorithm #automation #identification #problem
Automatically identifying learners’ problem solving strategies in-process solving algorithmic problems (UK, TB), p. 354.
ITiCSEITiCSE-2009-MoffatT #algorithm #education
The use of MUVE technology in teaching AI algorithms (DCM, KT), p. 396.
ITiCSEITiCSE-2009-RosslingL #algorithm #on the fly #visualisation
Visualizing compression algorithms on-the-fly (GR, FL), p. 376.
ITiCSEITiCSE-2009-Velazquez-IturbideP #algorithm #interactive #learning
Active learning of greedy algorithms by means of interactive experimentation (JÁVI, APC), pp. 119–123.
ESOPESOP-2009-BonchiM #algorithm #similarity
Minimization Algorithm for Symbolic Bisimilarity (FB, UM), pp. 267–284.
ESOPESOP-2009-YuanE #algorithm #performance #problem #reachability
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.
FASEFASE-2009-SumnerZ #algorithm #automation
Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.
CSMRCSMR-2009-BittencourtG #algorithm #architecture #clustering #comparison #graph
Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views (RAB, DDSG), pp. 251–254.
CSMRCSMR-2009-KpodjedoRGA #algorithm #evolution #question #using
Recovering the Evolution Stable Part Using an ECGM Algorithm: Is There a Tunnel in Mozilla? (SK, FR, PG, GA), pp. 179–188.
ICPCICPC-2009-ShternT #algorithm #clustering
Methods for selecting and improving software clustering algorithms (MS, VT), pp. 248–252.
WCREWCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.
PLDIPLDI-2009-AnselCWOZEA #algorithm #compilation #named
PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
SASSAS-2009-Bodik #algorithm #source code #synthesis
Algorithmic Program Synthesis with Partial Programs and Decision Procedures (RB), p. 1.
SASSAS-2009-Bouissou #algorithm #correctness #implementation #proving
Proving the Correctness of the Implementation of a Control-Command Algorithm (OB), pp. 102–119.
SASSAS-2009-Qadeer #algorithm #smt #using #verification
Algorithmic Verification of Systems Software Using SMT Solvers (SQ), p. 2.
STOCSTOC-2009-AroraDS #algorithm #message passing
Message passing algorithms and improved LP decoding (SA, CD, DS), pp. 3–12.
STOCSTOC-2009-CardinalFJJM #algorithm #partial order #performance
An efficient algorithm for partial order production (JC, SF, GJ, RMJ, JIM), pp. 93–100.
STOCSTOC-2009-ChadhaGKM #algorithm
A competitive algorithm for minimizing weighted flow time on unrelatedmachines with speed augmentation (JSC, NG, AK, VNM), pp. 679–684.
STOCSTOC-2009-CleveGMSY #algorithm #performance #quantum #query #simulation
Efficient discrete-time simulations of continuous-time quantum query algorithms (RC, DG, MM, RDS, DLYM), pp. 409–416.
STOCSTOC-2009-DworkNRRV #algorithm #complexity #on the #performance
On the complexity of differentially private data release: efficient algorithms and hardness results (CD, MN, OR, GNR, SPV), pp. 381–390.
STOCSTOC-2009-Liu #algorithm #quantum #using
Quantum algorithms using the curvelet transform (YKL), pp. 391–400.
STOCSTOC-2009-NguyenDT #algorithm #approximate #matrix #performance #rank
A fast and efficient algorithm for low-rank approximation of a matrix (NHN, TTD, TDT), pp. 215–224.
STOCSTOC-2009-YoshidaYI #algorithm #approximate
An improved constant-time approximation algorithm for maximum~matchings (YY, MY, HI), pp. 225–234.
CIAACIAA-J-2008-ChamparnaudDJ09 #algorithm #geometry #performance #regular expression
An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical (JMC, JPD, HJ), pp. 763–774.
CIAACIAA-2009-CastiglioneRS #algorithm #on the
On Extremal Cases of Hopcroft’s Algorithm (GC, AR, MS), pp. 14–23.
CIAACIAA-2009-CleophasH #algorithm #automaton #tool support
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms (LGC, KH), pp. 245–248.
CIAACIAA-2009-HolzerM #algorithm #automaton
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton (MH, AM), pp. 4–13.
ICALPICALP-v1-2009-AgnarssonHL #algorithm #independence #problem #set
SDP-Based Algorithms for Maximum Independent Set Problems on Hypergraphs (GA, MMH, EL), pp. 12–23.
ICALPICALP-v1-2009-BorosM #algorithm #parallel #performance #problem
A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (EB, KM), pp. 183–194.
ICALPICALP-v1-2009-Coja-Oghlan #algorithm #random #satisfiability
A Better Algorithm for Random k-SAT (ACO), pp. 292–303.
ICALPICALP-v1-2009-DemaineHK #algorithm #approximate #graph
Approximation Algorithms via Structural Results for Apex-Minor-Free Graphs (EDD, MH, KiK), pp. 316–327.
ICALPICALP-v1-2009-KoufogiannakisY #algorithm #approximate #constraints
Greedy Δ-Approximation Algorithm for Covering with Arbitrary Constraints and Submodular Cost (CK, NEY), pp. 634–652.
ICALPICALP-v1-2009-McDermid #algorithm #approximate
A 3/2-Approximation Algorithm for General Stable Marriage (EM), pp. 689–700.
ICALPICALP-v1-2009-Nederlof #algorithm #performance #problem #using
Fast Polynomial-Space Algorithms Using Möbius Inversion: Improving on Steiner Tree and Related Problems (JN), pp. 713–725.
ICALPICALP-v1-2009-Papadimitriou #algorithm #game studies
Algorithmic Game Theory: A Snapshot (CHP), pp. 3–11.
ICALPICALP-v2-2009-FanghanelKV #algorithm #latency #network
Improved Algorithms for Latency Minimization in Wireless Networks (AF, TK, BV), pp. 447–458.
ICALPICALP-v2-2009-KorulaP #algorithm #graph #problem
Algorithms for Secretary Problems on Graphs and Hypergraphs (NK, MP), pp. 508–520.
LATALATA-2009-BalbachZ #algorithm #education
Recent Developments in Algorithmic Teaching (FJB, TZ), pp. 1–18.
LATALATA-2009-Blanchet-SadriMRW #algorithm #using #word
An Answer to a Conjecture on Overlaps in Partial Words Using Periodicity Algorithms (FBS, RM, AR, EW), pp. 188–199.
LATALATA-2009-Courcelle #algorithm #graph #higher-order #logic #monad
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (BC), pp. 19–22.
LATALATA-2009-LiefoogheTV #algorithm #self
Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching (AL, HT, JSV), pp. 481–492.
LATALATA-2009-Roman #algorithm #search-based
Genetic Algorithm for Synchronization (AR), pp. 684–695.
HCIDHM-2009-Weber #algorithm
Intelligent Motion Tracking by Combining Specialized Algorithms (MW), pp. 170–179.
AdaSIGAda-2009-Barkstrom #ada #algorithm #concurrent #multi #on the #problem #using
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
ICEISICEIS-AIDSS-2009-AbdoIE #algorithm #rank
Ant PageRank Algorithm (MZA, MAI, MIE), pp. 73–79.
ICEISICEIS-AIDSS-2009-Jou #algorithm #hybrid #mining
A Projection-based Hybrid Sequential Patterns Mining Algorithm (CJ), pp. 152–157.
ICEISICEIS-AIDSS-2009-MarinicaOG #algorithm #mining #using
User-driven Association Rule Mining using a Local Algorithm (CM, AO, FG), pp. 200–205.
ICEISICEIS-AIDSS-2009-OReilly #algorithm #multi #optimisation #using
Frequency Assignment Optimization using the Swarm Intelligence Multi-agent based Algorithm (SIMBA) (GBO), pp. 25–32.
ICEISICEIS-AIDSS-2009-TangL #algorithm #quality #search-based
A Fuzzy-guided Genetic Algorithm for Quality Enhancement in the Supply Chain (CXHT, HCWL), pp. 85–89.
ICEISICEIS-DISI-2009-GorawskiD #algorithm #distributed #execution #performance #query
Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.
ICEISICEIS-DISI-2009-Perez-CebrerosMC #algorithm #parallel #query #scheduling
PSO-based Resource Scheduling Algorithm for Parallel Query Processing on Grids (APC, GML, NCC), pp. 131–137.
ICEISICEIS-HCI-2009-TroianoBAC #algorithm #layout #mobile #optimisation #search-based #web
Web Form Page in Mobile Devices — Optimization of Layout with a Simple Genetic Algorithm (LT, CB, RA, GC), pp. 118–123.
ICEISICEIS-J-2009-MianiYSB #algorithm #fuzzy #mining #ontology
NARFO Algorithm: Mining Non-redundant and Generalized Association Rules Based on Fuzzy Ontologies (RGM, CAY, MTPS, MB), pp. 415–426.
ICEISICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling
A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.
CIKMCIKM-2009-JinSLY #algorithm #flexibility #simulation
A flexible simulation environment for flash-aware algorithms (PJ, XS, ZL, LY), pp. 2093–2094.
CIKMCIKM-2009-KanungoGKW #algorithm #summary #user satisfaction #web
Web search result summarization: title selection algorithms and user satisfaction (TK, NG, KYK, LW), pp. 1581–1584.
CIKMCIKM-2009-LuHM #algorithm #approximate #performance #using
Efficient algorithms for approximate member extraction using signature-based inverted lists (JL, JH, XM), pp. 315–324.
CIKMCIKM-2009-WangCH #algorithm #clustering #performance #scalability #topic #web
An efficient clustering algorithm for large-scale topical web pages (LW, PC, LH), pp. 1851–1854.
CIKMCIKM-2009-ZhuCZWWC #algorithm #ranking
A general magnitude-preserving boosting algorithm for search ranking (CZ, WC, ZAZ, GW, DW, ZC), pp. 817–826.
ECIRECIR-2009-Ailon #algorithm #linear #query #ranking #using
A Simple Linear Ranking Algorithm Using Query Dependent Intercept Variables (NA), pp. 685–690.
ECIRECIR-2009-PaltoglouSS #adaptation #algorithm #data fusion
Simple Adaptations of Data Fusion Algorithms for Source Selection (GP, MS, MS), pp. 497–508.
ECIRECIR-2009-ParaparB #algorithm #clustering #documentation #evaluation
Evaluation of Text Clustering Algorithms with N-Gram-Based Document Fingerprints (JP, AB), pp. 645–653.
ICMLICML-2009-FooDN #algorithm #learning #multi
A majorization-minimization algorithm for (multiple) hyperparameter learning (CSF, CBD, AYN), pp. 321–328.
ICMLICML-2009-GargK #algorithm #strict
Gradient descent with sparsification: an iterative algorithm for sparse recovery with restricted isometry property (RG, RK), pp. 337–344.
ICMLICML-2009-HazanS #algorithm #learning #performance
Efficient learning algorithms for changing environments (EH, CS), pp. 393–400.
ICMLICML-2009-LanLML #algorithm #analysis #ranking
Generalization analysis of listwise learning-to-rank algorithms (YL, TYL, ZM, HL), pp. 577–584.
KDDKDD-2009-CherkasovaEMTV #algorithm #enterprise #information management #similarity
Applying syntactic similarity algorithms for enterprise information management (LC, KE, CBMI, JT, ACV), pp. 1087–1096.
KDDKDD-2009-DengLK #algorithm #graph
A generalized Co-HITS algorithm and its application to bipartite graphs (HD, MRL, IK), pp. 239–248.
KDDKDD-2009-GamaSR #algorithm #evaluation #learning
Issues in evaluation of stream learning algorithms (JG, RS, PPR), pp. 329–338.
KDDKDD-2009-OnumaTF #algorithm #named #novel #recommendation
TANGENT: a novel, “Surprise me”, recommendation algorithm (KO, HT, CF), pp. 657–666.
KDDKDD-2009-TantipathananandhB #algorithm #approximate #community #identification
Constant-factor approximation algorithms for identifying dynamic communities (CT, TYBW), pp. 827–836.
KEODKEOD-2009-LocoroM #algorithm #ambiguity #ontology #word
A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies (AL, VM), pp. 239–246.
KEODKEOD-2009-YiR #algorithm #clustering #ontology #using
Using a Clustering Algorithm for Domain Related Ontology Construction (HY, VJRS), pp. 336–341.
MLDMMLDM-2009-IsakssonD #algorithm #case study #comparative #detection
A Comparative Study of Outlier Detection Algorithms (CI, MHD), pp. 440–453.
MLDMMLDM-2009-SmaouiMM #algorithm #assessment #clustering #named #quality
CSBIterKmeans: A New Clustering Algorithm Based on Quantitative Assessment of the Clustering Quality (TS, SM, CMS), pp. 337–346.
MLDMMLDM-2009-YuksekC #algorithm
An Improved Tabu Search (ITS) Algorithm Based on Open Cover Theory for Global Extremums (KY, SC), pp. 505–515.
SEKESEKE-2009-LinWK #algorithm #feature model #hybrid #novel
A Novel Hybrid Search Algorithm for Feature Selection (PL, HW, TMK), pp. 81–86.
SEKESEKE-2009-PengLPF #algorithm #requirements #using
Requirements Discovery Based on RGPS Using Evolutionary Algorithm (TP, BL, WP, ZF), pp. 286–290.
SEKESEKE-2009-RusNSC #algorithm #clustering #fault #graph #using
Clustering of Defect Reports Using Graph Partitioning Algorithms (VR, XN, SGS, YC), pp. 442–445.
SIGIRSIGIR-2009-AminiU #algorithm #information management #multi #ranking #summary
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization (MRA, NU), pp. 704–705.
ICMTICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
MODELSMoDELS-2009-WolfeGP #algorithm #consistency #incremental #runtime
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
MODELSMoDELS-2009-WolfeGP #algorithm #consistency #incremental #runtime
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
GPCEGPCE-2009-JarviMPFS #algorithm #user interface
Algorithms for user interfaces (JJ, MM, SP, JF, JNS), pp. 147–156.
PPDPPPDP-2009-NigamM #algorithm #linear #logic #specification
Algorithmic specifications in linear logic with subexponentials (VN, DM), pp. 129–140.
PPDPPPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification
A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.
POPLPOPL-2009-GotsmanCPV #algorithm #proving
Proving that non-blocking algorithms don’t block (AG, BC, MJP, VV), pp. 16–28.
SACSAC-2009-BasgaluppBCFR #algorithm #induction #multi #named #search-based
LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction (MPB, RCB, ACPLFdC, AAF, DDR), pp. 1085–1090.
SACSAC-2009-FaggioliTC #algorithm #implementation #linux
An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
SACSAC-2009-GamaRS #algorithm #data type
Evaluating algorithms that learn from data streams (JG, PPR, RS), pp. 1496–1500.
SACSAC-2009-GaoZL #algorithm #constraints #fuzzy #optimisation
A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SACSAC-2009-HijikataHON #algorithm #analysis #using
HITS algorithm improvement using anchor-related text extracted by DOM structure analysis (YH, BQH, MO, SN), pp. 1691–1698.
SACSAC-2009-JangYC #algorithm #clustering #multi #set
A smart clustering algorithm for photo set obtained from multiple digital cameras (CJJ, TY, HGC), pp. 1784–1791.
SACSAC-2009-LiuDSYH #algorithm #classification #image #invariant #using
A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.
SACSAC-2009-MasaruS #algorithm #modelling #search-based
Daily demand forecasting of new products utilizing diffusion models and genetic algorithms (TM, MS), pp. 1106–1107.
SACSAC-2009-ParkPR #algorithm #automation #using
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
SACSAC-2009-ParkYAMP #algorithm #approach #detection #novel #search-based #segmentation #using
A novel approach to detect copy number variation using segmentation and genetic algorithm (CP, YY, JA, MM, SP), pp. 788–792.
SACSAC-2009-RyuKC #algorithm #detection #documentation #evolution #using
A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model (CKR, HJK, HGC), pp. 863–868.
SACSAC-2009-UddinZ #algorithm #automation #monitoring #named #trust
ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.
SACSAC-2009-WakataniK #algorithm #grid #parallel
Reduced parallel PNN algorithm for PC grid systems (AW, TK), pp. 1009–1010.
SACSAC-2009-WangT #algorithm #morphism
An algorithm for optimal comma free codes with isomorphism rejection (HW, VDT), pp. 1007–1008.
SACSAC-2009-WeiSW #algorithm #clustering #email #fuzzy #novel #string
Clustering malware-generated spam emails with a novel fuzzy string matching algorithm (CW, AS, GW), pp. 889–890.
CGOCGO-2009-RoyS #algorithm #profiling
Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm (SR, YNS), pp. 70–80.
ISMMISMM-2009-OanceaMW #algorithm #approach
A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.
PPoPPPPoPP-2009-KangB #algorithm #graph #memory management #performance #transaction
An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs (SK, DAB), pp. 15–24.
CADECADE-2009-LahiriQ #abstraction #algorithm #complexity
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (SKL, SQ), pp. 214–229.
CAVCAV-2009-FiliotJR #algorithm #ltl
An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.
CSLCSL-2009-AlurCW #algorithm #analysis #source code
Algorithmic Analysis of Array-Accessing Programs (RA, PC, SW), pp. 86–101.
ICLPICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
LICSLICS-2009-Friedmann #algorithm #bound #exponential #game studies
An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (OF), pp. 145–156.
ICSTSAT-2009-AtseriasFT #algorithm #bound
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (AA, JKF, MT), pp. 114–127.
ICSTSAT-2009-ManquinhoSP #algorithm #optimisation
Algorithms for Weighted Boolean Optimization (VMM, JPMS, JP), pp. 495–508.
ICSTSAT-2009-Nieuwenhuis #algorithm #modulo theories #satisfiability
SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms (RN), p. 1.
TLCATLCA-2009-AbelCP #algorithm #composition #proving #type system
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (AA, TC, MP), pp. 5–19.
CASECASE-2008-ArnaoutMR #algorithm #optimisation #parallel #problem #scheduling
Ant colony optimization algorithm to parallel machine scheduling problem with setups (JPA, RM, GR), pp. 578–582.
CASECASE-2008-BandaruN #algorithm #combinator #composition #performance #web #web service
Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition (PB, YN), pp. 995–1000.
CASECASE-2008-BeghiBBC #algorithm #design #simulation
A simulation environment for dry-expansion evaporators with application to the design of autotuning control algorithms for electronic (AB, UB, CB, LC), pp. 814–820.
CASECASE-2008-BittonG #algorithm #framework #named
Hydra: A framework and algorithms for mixed-initiative UAV-assisted search and rescue (EB, KG), pp. 61–66.
CASECASE-2008-ChuCSC #algorithm #polynomial
An O(T3) Polynomial algorithm for crude oil transportation (FC, CC, QS, HC), pp. 303–308.
CASECASE-2008-DangWLZ #algorithm #image
Heavy-ion radiotherapy treatment planning system and medical image processing algorithm used in it (JD, YW, SL, ZZ), pp. 726–731.
CASECASE-2008-SakuraiOKT #algorithm #multi #problem #search-based
A multi-inner-world Genetic Algorithm to optimize delivery problem with interactive-time (YS, TO, SK, ST), pp. 583–590.
CASECASE-2008-SongQXKLG #algorithm
System and algorithms for an autonomous observatory assisting the search for the Ivory-Billed Woodpecker (DS, NQ, YX, CYK, DL, KG), pp. 200–205.
CASECASE-2008-TanakaF #algorithm #performance #scheduling
An efficient exact algorithm for general single-machine scheduling with machine idle time (ST, SF), pp. 371–376.
CASECASE-2008-WengF #algorithm #evolution #problem #scheduling
Self evolution algorithm for common due date scheduling problem (WW, SF), pp. 790–795.
CASECASE-2008-XuFWY #algorithm #multi #problem
An Or-opt NSGA-II algorithm for multi-objective Vehicle Routing Problem with Time Windows (HX, WF, TW, LY), pp. 309–314.
DACDAC-2008-BharathES #algorithm #automation #search-based #using
Automatic package and board decoupling capacitor placement using genetic algorithms and M-FDM (KB, EE, MS), pp. 560–565.
DACDAC-2008-CaoFHS #algorithm #multi #scalability
Optimality and improvement of dynamic voltage scaling algorithms for multimedia applications (ZC, BF, LH, MvdS), pp. 179–184.
DACDAC-2008-ChangWSC #algorithm #energy #multi #named
ETAHM: an energy-aware task allocation algorithm for heterogeneous multiprocessor (PCC, IWW, JJJS, CPC), pp. 776–779.
DACDAC-2008-El-MoselhyEW #algorithm #parametricity #performance #scalability #set
Efficient algorithm for the computation of on-chip capacitance sensitivities with respect to a large set of parameters (TAEM, IME, DW), pp. 906–911.
DACDAC-2008-HsuW #algorithm #memory management #network #power management
A generalized network flow based algorithm for power-aware FPGA memory mapping (TYH, TCW), pp. 30–33.
DACDAC-2008-JiangS #algorithm #scalability
Circuit-wise buffer insertion and gate sizing algorithm with scalability (ZJ, WS), pp. 708–713.
DACDAC-2008-WangZ #algorithm #incremental #performance
An efficient incremental algorithm for min-area retiming (JW, HZ), pp. 528–533.
DACDAC-2008-YuhSYC #algorithm
A progressive-ILP based routing algorithm for cross-referencing biochips (PHY, SSS, CLY, YWC), pp. 284–289.
DACDAC-2008-ZhangGT #2d #algorithm #configuration management #fault tolerance
A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip (ZZ, AG, ST), pp. 441–446.
DATEDATE-2008-AltCS #algorithm #architecture #detection #hardware #realtime
Hardware/software architecture of an algorithm for vision-based real-time vehicle detection in dark environments (NA, CC, WS), pp. 176–181.
DATEDATE-2008-FangH #algorithm #approximate #performance #satisfiability
A Fast Approximation Algorithm for MIN-ONE SAT (LF, MSH), pp. 1087–1090.
DATEDATE-2008-FrechetteL #algorithm #detection #fault #self
Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.
DATEDATE-2008-HashemiG #algorithm #approximate #pipes and filters #synthesis
Exact and Approximate Task Assignment Algorithms for Pipelined Software Synthesis (MH, SG), pp. 746–751.
DATEDATE-2008-KoenigSB #algorithm #novel #recursion
A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.
DATEDATE-2008-LuMGB #algorithm #for free #performance
An efficient algorithm for free resources management on the FPGA (YL, TM, GG, KB), pp. 1095–1098.
DATEDATE-2008-MarconiLBG #algorithm #configuration management #online
Intelligent Merging Online Task Placement Algorithm for Partial Reconfigurable Systems (TM, YL, KB, GG), pp. 1346–1351.
DATEDATE-2008-Marques-SilvaP #algorithm #satisfiability #using
Algorithms for Maximum Satisfiability using Unsatisfiable Cores (JMS, JP), pp. 408–413.
DATEDATE-2008-MeisterLT #algorithm #component #novel
Novel Pin Assignment Algorithms for Components with Very High Pin Counts (TM, JL, GT), pp. 837–842.
DATEDATE-2008-SathanurPBMMP #algorithm #framework #scalability
A Scalable Algorithmic Framework for Row-Based Power-Gating (AVS, AP, LB, AM, EM, MP), pp. 379–384.
DATEDATE-2008-VillenaS #algorithm #named #order #reduction #scalability
SPARE — a Scalable algorithm for passive, structure preserving, Parameter-Aware model order REduction (JFV, LMS), pp. 586–591.
DATEDATE-2008-WuH #algorithm #design #performance #validation
Efficient Design Validation Based on Cultural Algorithms (WW, MSH), pp. 402–407.
DocEngDocEng-2008-Nguyen #algorithm #documentation #image #using
A rotation method for binary document images using DDA algorithm (DTN), pp. 267–270.
DocEngDocEng-2008-Oliveira #algorithm #automation #documentation #layout
Two algorithms for automatic document page layout (JBSdO), pp. 141–149.
DocEngDocEng-2008-SturgillS #algorithm #approach #recognition
An optical character recognition approach to qualifying thresholding algorithms (MS, SJS), pp. 263–266.
PODSPODS-2008-AnagnostopoulosDK #algorithm #approximate #clustering
Approximation algorithms for co-clustering (AA, AD, RK), pp. 201–210.
PODSPODS-2008-CormodeM #algorithm #approximate #clustering #nondeterminism
Approximation algorithms for clustering uncertain data (GC, AM), pp. 191–200.
PODSPODS-2008-LiuPRY #algorithm #problem
A generic flow algorithm for shared filter ordering problems (ZL, SP, AR, HY), pp. 79–88.
SIGMODSIGMOD-2008-GouC #algorithm #graph #pattern matching #performance
Efficient algorithms for exact ranked twig-pattern matching over graphs (GG, RC), pp. 581–594.
SIGMODSIGMOD-2008-LiuPRY #algorithm #data type #evaluation
Near-optimal algorithms for shared filter evaluation in data stream systems (ZL, SP, AR, HY), pp. 133–146.
SIGMODSIGMOD-2008-OConnell #algorithm #challenge #optimisation #streaming
Extreme streaming: business optimization driving algorithmic challenges (WO), pp. 13–14.
VLDBVLDB-2008-ShangZLY #algorithm #morphism #performance #testing #verification
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism (HS, YZ, XL, JXY), pp. 364–375.
VLDBVLDB-2008-XiaoWL #algorithm #constraints #distance #edit distance #named #performance #similarity
Ed-Join: an efficient algorithm for similarity joins with edit distance constraints (CX, WW, XL), pp. 933–944.
ITiCSEITiCSE-2008-Armoni #algorithm
Reductive thinking in a quantitative perspective: the case of the algorithm course (MA), pp. 53–57.
ITiCSEITiCSE-2008-Garcia-OsorioGG #algorithm #education #ll #lr #parsing
A tool for teaching LL and LR parsing algorithms (CGO, CGP, NGP), p. 317.
ITiCSEITiCSE-2008-KiesmullerB #algorithm #analysis #how #problem
How do 7th graders solve algorithmic problems?: a tool-based analysis (UK, TB), p. 353.
ITiCSEITiCSE-2008-MartinH #algorithm #design
Cognitive dimensions questionnaire applied to exploratory algorithm design (CJM, JMH), pp. 184–188.
ITiCSEITiCSE-2008-Velazquez-IturbidePU #algorithm #animation #named #recursion
SRec: an animation system of recursion for algorithm courses (JÁVI, APC, JUF), pp. 225–229.
ESOPESOP-2008-GulwaniM #algorithm
Cover Algorithms and Their Combination (SG, MM), pp. 193–207.
FASEFASE-2008-MohaGMD #algorithm #analysis #design #detection #fault
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms (NM, YGG, AFLM, LD), pp. 276–291.
TACASTACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.
ICSMEICSM-2008-KinneerR #algorithm #control flow #java #maintenance #representation #type inference
Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks (AK, GR), pp. 127–136.
PEPMPEPM-2008-Mu #algorithm #bound #problem
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths (SCM), pp. 31–39.
STOCSTOC-2008-BansalBN #algorithm #random
Randomized competitive algorithms for generalized caching (NB, NB, JN), pp. 235–244.
STOCSTOC-2008-ChenLL #algorithm #feedback #parametricity #problem #set
A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.
STOCSTOC-2008-ColeF #algorithm #problem
Fast-converging tatonnement algorithms for one-time and ongoing market problems (RC, LF), pp. 315–324.
STOCSTOC-2008-DaitchS #algorithm #approximate #performance
Faster approximate lossy generalized flow via interior point algorithms (SID, DAS), pp. 451–460.
STOCSTOC-2008-DasK #algorithm #linear #set
Algorithms for subset selection in linear regression (AD, DK), pp. 45–54.
STOCSTOC-2008-FakcharoenpholL #algorithm #approximate #problem
An o(log2 k)-approximation algorithm for the k-vertex connected spanning subgraph problem (JF, BL), pp. 153–158.
STOCSTOC-2008-Feldman #algorithm #learning
Evolvability from learning algorithms (VF), pp. 619–628.
STOCSTOC-2008-ODonnellW #algorithm #testing
An optimal sdp algorithm for max-cut, and equally optimal long code tests (RO, YW), pp. 335–344.
STOCSTOC-2008-Raghavendra #algorithm #csp #question
Optimal algorithms and inapproximability results for every CSP? (PR), pp. 245–254.
STOCSTOC-2008-ReichardtS #algorithm #quantum
Span-program-based quantum algorithm for evaluating formulas (BR, RS), pp. 103–112.
FLOPSFLOPS-2008-Yokouchi #algorithm #analysis #difference #lazy evaluation #strict
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.
AFLAFL-2008-Roska #algorithm
Cellular Wave Computers — Algorithms for million processor computers (Abstract) (TR), p. 352.
CIAACIAA-2008-GlabbeekP #algorithm #nondeterminism
Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
DLTDLT-2008-AllauzenMR #algorithm #ambiguity #automaton #finite #testing
General Algorithms for Testing the Ambiguity of Finite Automata (CA, MM, AR), pp. 108–120.
DLTDLT-2008-CaludeZ #independence #sequence
Algorithmically Independent Sequences (CSC, MZ), pp. 183–195.
ICALPICALP-A-2008-AzarBKMN #algorithm #approximate
Improved Approximation Algorithms for Budgeted Allocations (YA, BEB, ARK, CM, CTN), pp. 186–197.
ICALPICALP-A-2008-ChekuriK #algorithm #problem
Algorithms for 2-Route Cut Problems (CC, SK), pp. 472–484.
ICALPICALP-A-2008-HaeuplerKMST #algorithm #incremental #performance
Faster Algorithms for Incremental Topological Ordering (BH, TK, RM, SS, RET), pp. 421–433.
ICALPICALP-A-2008-JansenT #algorithm #approximate #parallel #scheduling
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 (KJ, RT), pp. 234–245.
ICALPICALP-A-2008-Koutis #algebra #algorithm #performance #problem
Faster Algebraic Algorithms for Path and Packing Problems (IK), pp. 575–586.
ICALPICALP-A-2008-LaberM #algorithm #approximate
An Approximation Algorithm for Binary Searching in Trees (ESL, MM), pp. 459–471.
ICALPICALP-A-2008-Phillips #algorithm #approximate
Algorithms for epsilon-Approximations of Terrains (JMP), pp. 447–458.
ICALPICALP-B-2008-SimmonsP #algorithm #linear #logic
Linear Logical Algorithms (RJS, FP), pp. 336–347.
LATALATA-2008-CastiglioneRS #algorithm #automaton
Hopcroft’s Algorithm and Cyclic Automata (GC, AR, MS), pp. 172–183.
LATALATA-2008-Yoshinaka #algorithm #performance #problem #subclass
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.
SEFMSEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
GT-VCGT-VC-2007-Pennemann08 #algorithm #approximate #problem #satisfiability
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (KHP), pp. 75–94.
GT-VMTGT-VMT-2008-MaierM #algorithm #layout
A Static Layout Algorithm for DiaMeta (SM, MM).
ICGTICGT-2008-MazanekMM #algorithm
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars (SM, SM, MM), pp. 39–53.
CHICHI-2008-EvansC #algorithm #social #web
Augmented information assimilation: social and algorithmic web aids for the information long tail (BE, SC), pp. 989–998.
CHICHI-2008-MatsuiY #algorithm #search-based
Genetic algorithm can optimize hierarchical menus (SM, SY), pp. 1385–1388.
SOFTVISSOFTVIS-2008-BernardinBH #algorithm #visualisation
Stacked-widget visualization of scheduling-based algorithms (TB, BB, BH), pp. 165–174.
SOFTVISSOFTVIS-2008-ParduhnSW #algorithm #graph #using #visualisation
Algorithm visualization using concrete and abstract shape graphs (SAP, RS, RW), pp. 33–36.
ICEISICEIS-AIDSS-2008-AjroudOBY #algorithm #approximate #network
An Approximate Propagation Algorithm for Product-Based Possibilistic Networks (AA, MNO, SB, HY), pp. 321–326.
ICEISICEIS-AIDSS-2008-BezerraW #algorithm #detection #process
Anomaly Detection Algorithms in Business Process Logs (FdLB, JW), pp. 11–18.
ICEISICEIS-AIDSS-2008-DeliasDM #algorithm #optimisation #workflow
A Joint Optimization Algorithm for Dispatching Tasks in Agent-Based Workflow Management Systems (PD, ADD, NFM), pp. 199–206.
ICEISICEIS-AIDSS-2008-MarinakisMMZ #algorithm #clustering
A Memetic-Grasp Algorithm for Clustering (YM, MM, NFM, CZ), pp. 36–43.
ICEISICEIS-AIDSS-2008-RybakovB #algorithm #logic #multi
Algorithms for AI Logic of Decisions in Multi-Agent Environment (VVR, SB), pp. 125–129.
ICEISICEIS-AIDSS-2008-StateCRP #algorithm #classification #learning
A New Learning Algorithm for Classification in the Reduced Space (LS, CC, IR, PV), pp. 155–160.
ICEISICEIS-HCI-2008-ConciNPS #algorithm #detection
Comparing Color and Texture-Based Algorithms for Human Skin Detection (AC, EN, JJP, ÁS), pp. 166–173.
ICEISICEIS-ISAS2-2008-BainaT #algorithm #graph #hybrid #towards #verification #workflow
Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
ICEISICEIS-J-2008-PapatheocharousA08a #algorithm #approach #hybrid #modelling #network #predict #search-based #using
Hybrid Computational Models for Software Cost Prediction: An Approach Using Artificial Neural Networks and Genetic Algorithms (EP, ASA), pp. 87–100.
CIKMCIKM-2008-AlqadahB #algorithm #clustering #effectiveness #mining
An effective algorithm for mining 3-clusters in vertically partitioned data (FA, RB), pp. 1103–1112.
CIKMCIKM-2008-KormilitsinCFS #algorithm #heuristic
View and index selection for query-performance improvement: quality-centered algorithms and heuristics (MK, RC, YF, MFS), pp. 1329–1330.
CIKMCIKM-2008-RodriguezB #algorithm
An algorithm to determine peer-reviewers (MAR, JB), pp. 319–328.
ICMLICML-2008-CortesMPR #algorithm
Stability of transductive regression algorithms (CC, MM, DP, AR), pp. 176–183.
ICMLICML-2008-FrancS #algorithm
Optimized cutting plane algorithm for support vector machines (VF, SS), pp. 320–327.
ICMLICML-2008-KakadeST #algorithm #multi #online #performance #predict
Efficient bandit algorithms for online multiclass prediction (SMK, SSS, AT), pp. 440–447.
ICMLICML-2008-RothF #algorithm #linear #modelling #performance
The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
ICMLICML-2008-Schnall-LevinCB #algorithm #design #framework
Inverting the Viterbi algorithm: an abstract framework for structure design (MSL, LC, BB), pp. 904–911.
ICMLICML-2008-XiaLWZL #algorithm #approach #learning #rank
Listwise approach to learning to rank: theory and algorithm (FX, TYL, JW, WZ, HL), pp. 1192–1199.
ICMLICML-2008-ZhangDT #algorithm
Estimating local optimums in EM algorithm over Gaussian mixture model (ZZ, BTD, AKHT), pp. 1240–1247.
ICPRICPR-2008-AlpcanB #algorithm #distributed #learning #parallel
A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.
ICPRICPR-2008-BenezethJELR #algorithm #bibliography #evaluation
Review and evaluation of commonly-implemented background subtraction algorithms (YB, PMJ, BE, HL, CR), pp. 1–4.
ICPRICPR-2008-ChenR #3d #algorithm #invariant #linear #recognition
Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.
ICPRICPR-2008-ChenSXS #algorithm #identification #search-based #using
Computer graphics identification using genetic algorithm (WC, YQS, GX, WS), pp. 1–4.
ICPRICPR-2008-ChouaibTTCV #algorithm #classification #feature model #search-based
Feature selection combining genetic algorithm and Adaboost classifiers (HC, ORT, ST, FC, NV), pp. 1–4.
ICPRICPR-2008-FerrerVSRB #algorithm #approximate #graph #using
An approximate algorithm for median graph computation using graph embedding (MF, EV, FS, KR, HB), pp. 1–4.
ICPRICPR-2008-HahnKW #3d #algorithm #estimation #using
Spatio-temporal 3D pose estimation and tracking of human body parts using the Shape Flow algorithm (MH, LK, CW), pp. 1–4.
ICPRICPR-2008-HortaMF #algorithm #clustering #comparison #image #using
A comparison of clustering fully polarimetric SAR images using SEM algorithm and G0P mixture modelwith different initializations (MMH, NDAM, ACF), pp. 1–4.
ICPRICPR-2008-HuaSY #algorithm #clustering #invariant
Scale-invariant density-based clustering initialization algorithm and its application (CH, RS, YY), pp. 1–4.
ICPRICPR-2008-KanataniS #algorithm #ml #strict
Compact algorithm for strictly ML ellipse fitting (KK, YS), pp. 1–4.
ICPRICPR-2008-KiserSM #algorithm
Accelerating active contour algorithms with the Gradient Diffusion Field (WK, PS, CM), pp. 1–4.
ICPRICPR-2008-KonyaSGE #algorithm #detection #robust #scalability
A robust front page detection algorithm for large periodical collections (IVK, CS, SG, SE), pp. 1–5.
ICPRICPR-2008-KrizekKH #algorithm #feature model
Feature condensing algorithm for feature selection (PK, JK, VH), pp. 1–4.
ICPRICPR-2008-LiZ #algorithm #fixpoint #matrix #named #performance
FastNMF: A fast monotonic fixed-point non-negative Matrix Factorization algorithm with high ease of use (LL, YJZ), pp. 1–4.
ICPRICPR-2008-MansouriSHV #adaptation #algorithm #estimation #image
An adaptive-PCA algorithm for reflectance estimation from color images (AM, TS, JYH, YV), pp. 1–4.
ICPRICPR-2008-ShanCW #algorithm #automation #image #novel
A novel automatic seed point selection algorithm for breast ultrasound images (JS, HDC, YW), pp. 1–4.
ICPRICPR-2008-ShettyA #algorithm #clustering
A uniformity criterion and algorithm for data clustering (SS, NA), pp. 1–4.
ICPRICPR-2008-ShinK #algorithm #using
Enhanced Resolution-aware Fitting algorithm using interpolation operator (JS, DK), pp. 1–4.
ICPRICPR-2008-StathisKP #algorithm #bibliography #documentation #evaluation
An evaluation survey of binarization algorithms on historical documents (PS, EK, NP), pp. 1–4.
ICPRICPR-2008-Vega-PonsRV #algorithm #segmentation #set #using
Active contour algorithm for texture segmentation using a texture feature set (SVP, JLGR, OLV), pp. 1–4.
ICPRICPR-2008-Wang #algorithm #string
A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
ICPRICPR-2008-WangW #algorithm #estimation
A factorization algorithm for trifocal tensor estimation (LW, FW), pp. 1–4.
ICPRICPR-2008-WangWCW #algorithm #clustering #learning
A clustering algorithm combine the FCM algorithm with supervised learning normal mixture model (WW, CW, XC, AW), pp. 1–4.
ICPRICPR-2008-WanYM #algorithm #segmentation
A new algorithm for static camera foreground segmentation via active coutours and GMM (CW, BY, ZM), pp. 1–4.
ICPRICPR-2008-WatanabeIHY #algorithm #performance #reduction #using #video
A fast algorithm of video super-resolution using dimensionality reduction by DCT and example selection (KW, YI, TH, MY), pp. 1–5.
ICPRICPR-2008-YangB #algorithm #fault #sketching #using
Curve fitting algorithm using iterative error minimization for sketch beautification (JY, HB), pp. 1–4.
ICPRICPR-2008-YangZS #algorithm #comparison #optimisation #search-based
Comparison of Particle Swarm Optimization and Genetic Algorithm for HMM training (FY, CZ, TS), pp. 1–4.
ICPRICPR-2008-ZaidiS #algorithm #detection
Confidence rated boosting algorithm for generic object detection (NAZ, DS), pp. 1–4.
ICPRICPR-2008-ZhongGA #algorithm #classification
Properties of the k-norm pruning algorithm for decision tree classifiers (MZ, MG, GCA), pp. 1–4.
ICPRICPR-2008-ZitouniSOD #algorithm #graph #image #ranking #using #web
Re-ranking of web image search results using a graph algorithm (HZ, SGS, DO, PD), pp. 1–4.
KDDKDD-2008-BecchettiBCG #algorithm #graph #performance
Efficient semi-streaming algorithms for local triangle counting in massive graphs (LB, PB, CC, AG), pp. 16–24.
KDDKDD-2008-GuptaFFSK #algorithm #approximate #evaluation #mining
Quantitative evaluation of approximate frequent pattern mining algorithms (RG, GF, BF, MS, VK), pp. 301–309.
KDDKDD-2008-ZhangZW #algorithm #named #performance
Fastanova: an efficient algorithm for genome-wide association study (XZ, FZ, WW), pp. 821–829.
KDDKDD-2008-ZhaoWZ #algorithm #named #performance #virtual machine
Cuts3vm: a fast semi-supervised svm algorithm (BZ, FW, CZ), pp. 830–838.
RecSysRecSys-2008-TakacsPNT #algorithm #matrix #problem
Matrix factorization and neighbor based algorithms for the netflix prize problem (GT, IP, BN, DT), pp. 267–274.
SEKESEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.
SEKESEKE-2008-DingH #algorithm #mining #named #performance
VP: an Efficient Algorithm for Frequent Itemset Mining (QD, WSH), pp. 381–386.
SEKESEKE-2008-MiliAN #algorithm
An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.
SIGIRSIGIR-2008-AminiTG #algorithm #learning #ranking
A boosting algorithm for learning bipartite ranking functions with partially labeled data (MRA, TVT, CG), pp. 99–106.
SIGIRSIGIR-2008-GkanogiannisK #algorithm #categorisation
An algorithm for text categorization (AG, TK), pp. 869–870.
SIGIRSIGIR-2008-LeeKJ #algorithm #constraints #learning
Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM (CL, HK, MGJ), pp. 829–830.
SIGIRSIGIR-2008-PickensGSQB #algorithm #collaboration
Algorithmic mediation for collaborative exploratory search (JP, GG, CS, PQ, MB), pp. 315–322.
SIGIRSIGIR-2008-ZhangZL #algorithm #rank #recommendation #topic
A topical PageRank based algorithm for recommender systems (LZ, KZ, CL), pp. 713–714.
MODELSMoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
MODELSMoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
GPCEGPCE-2008-JarviMPFS #algorithm #component #modelling #reuse
Property models: from incidental algorithms to reusable components (JJ, MM, SP, JF, JNS), pp. 89–98.
LOPSTRLOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
LOPSTRLOPSTR-2008-MontenegroPS #algorithm
An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.
PPDPPPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code
Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.
POPLPOPL-2008-Chaudhuri #algorithm #recursion #state machine
Subcubic algorithms for recursive state machines (SC), pp. 159–169.
SACSAC-2008-BezerraW #algorithm #detection #process
Anomaly detection algorithms in logs of process aware systems (FdLB, JW), pp. 951–952.
SACSAC-2008-BuenoTT #algorithm #data access #effectiveness #metric #optimisation
An algorithm for effective deletion and a new optimization technique for metric access methods (RB, AJMT, CTJ), pp. 1034–1035.
SACSAC-2008-Denner-Broser #algorithm #analysis #problem #using
An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.
SACSAC-2008-FonsecaCC #algorithm #named #nearest neighbour
k-RNN: k-relational nearest neighbour algorithm (NAF, VSC, RC), pp. 944–948.
SACSAC-2008-GoldbargGM #algorithm
Selecting beam directions in radiotherapy with an evolutionary algorithm (MCG, EFGG, CRAM), pp. 1420–1421.
SACSAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
SACSAC-2008-Kavallieratou #algorithm
An objective way to evaluate and compare binarization algorithms (EK), pp. 397–401.
SACSAC-2008-KuangZ #algorithm #detection #using
An anomaly intrusion detection method using the CSI-KNN algorithm (LK, MZ), pp. 921–926.
SACSAC-2008-LasserreLR #algebra #algorithm
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SACSAC-2008-MaK #algorithm #search-based
Dynamic populations in genetic algorithms (Z(M, AWK), pp. 1807–1811.
SACSAC-2008-MakrisPPS #algorithm #personalisation #web
An integrated web system to facilitate personalized web searching algorithms (CM, YP, YP, ES), pp. 2397–2402.
SACSAC-2008-MariSPZL #3d #algorithm #re-engineering
Improving the neural meshes algorithm for 3D surface reconstruction with edge swap operations (JFM, JHS, GP, MRZ, ALML), pp. 1236–1240.
SACSAC-2008-MengleG #algorithm #ambiguity #classification #feature model #using
Using ambiguity measure feature selection algorithm for support vector machine classifier (SSRM, NG), pp. 916–920.
SACSAC-2008-MontanaTT #algorithm #data type #mining
Data stream mining for market-neutral algorithmic trading (GM, KT, TT), pp. 966–970.
SACSAC-2008-RadtkeSW #algorithm #classification #using
Using the RRT algorithm to optimize classification systems for handwritten digits and letters (PVWR, RS, TW), pp. 1748–1752.
SACSAC-2008-RaveendranBG #algorithm #evaluation #realtime #scheduling #trade-off
Evaluation of priority based real time scheduling algorithms: choices and tradeoffs (BKR, SB, SG), pp. 302–307.
SACSAC-2008-RibeiroTT #algorithm #feature model
A new algorithm for data discretization and feature selection (MXR, AJMT, CTJ), pp. 953–954.
SACSAC-2008-SaffarianM #algorithm #novel #protocol
A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm (MS, MCM), pp. 1849–1853.
SACSAC-2008-SeifertWK #algorithm #detection #divide and conquer #interactive #paradigm
Application of divide-and-conquer algorithm paradigm to improve the detection speed of high interaction client honeypots (CS, IW, PK), pp. 1426–1432.
SACSAC-2008-SeoKRK #2d #algorithm #deployment #search-based
A genetic algorithm for sensor deployment based on two-dimensional operators (JHS, YHK, HBR, SJK), pp. 1812–1813.
SACSAC-2008-ToledoFR #algorithm #problem #scheduling #search-based
Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem (CFMT, PMF, KAR), pp. 1777–1781.
SACSAC-2008-Tso-SutterMS #algorithm #collaboration #recommendation
Tag-aware recommender systems by fusion of collaborative filtering algorithms (KHLTS, LBM, LST), pp. 1995–1999.
SACSAC-2008-VellosoR #algorithm #analysis
Percolation analyses in a swarm based algorithm for shortest-path finding (BPV, MR), pp. 1861–1865.
PPoPPPPoPP-2008-AnsariKJLKW #adaptation #algorithm #case study #concurrent #experience #memory management #transaction #using
Experiences using adaptive concurrency in transactional memory with Lee’s routing algorithm (MA, CK, KJ, ML, CCK, IW), pp. 261–262.
PPoPPPPoPP-2008-ChanZBQQG #named #parallel #runtime #scheduling #thread
SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks (EC, FGVZ, PB, ESQO, GQO, RAvdG), pp. 123–132.
CAVCAV-2008-GlabbeekP #algorithm #simulation
Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CSLCSL-2008-Schewe #algorithm #game studies
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (SS), pp. 369–384.
ICLPICLP-2008-CohenSS #algorithm #logic programming #source code
Dynamic Programming Algorithms as Products of Weighted Logic Programs (SBC, RJS, NAS), pp. 114–129.
ICLPICLP-2008-SenniPP #algorithm #constraints #logic programming #source code
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (VS, AP, MP), pp. 284–300.
ICLPICLP-2008-VanhoofD #algorithm #logic programming #source code
An Algorithm for Sophisticated Code Matching in Logic Programs (WV, FD), pp. 785–789.
ICLPICLP-2008-ZhangYLM #algorithm #constraints #functional #performance
Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.
ICSTSAT-2008-Gao #algorithm #complexity #problem #random
Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms (YG), pp. 91–104.
ICSTSAT-2008-GeorgiouP #algorithm #complexity #satisfiability
Complexity and Algorithms for Well-Structured k-SAT Instances (KG, PAP), pp. 105–118.
ICSTSAT-2008-LetombeM #algorithm #hybrid #incremental #satisfiability
Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
ICSTSAT-2008-Marques-SilvaM #algorithm #effectiveness #satisfiability #towards
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (JMS, VMM), pp. 225–230.
VMCAIVMCAI-2008-BagnaraHZ #algorithm #constraints #integer
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
VMCAIVMCAI-2008-RanzatoRT #abstraction #algorithm #refinement
A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
VMCAIVMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl
A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
CBSECBSE-2007-MallickS #algorithm #approach #constraints #web #web service
Capturing Web Services Provider Constraints — An Algorithmic Approach (SM, SVS), pp. 211–226.
CASECASE-2007-ChengOKKO #algorithm #problem #scheduling
Simulated Annealing Algorithm for Daily Nursing Care Scheduling Problem (MC, HIO, NK, KK, JO), pp. 507–512.
CASECASE-2007-FontanelliRS #algorithm #locality #metric #performance #using
A Fast RANSAC-Based Registration Algorithm for Accurate Localization in Unknown Environments using LIDAR Measurements (DF, LR, SS), pp. 597–602.
CASECASE-2007-GoemansAGS #algorithm #automation #composition #design #industrial #physics
Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm (OCG, MTA, KG, AFvdS), pp. 318–325.
CASECASE-2007-LiuWL #algorithm #design #effectiveness #multi #product line #search-based #towards #using
Towards Effective Multi-platforming Design of Product Family using Genetic Algorithm (ZL, YSW, KSL), pp. 300–305.
CASECASE-2007-MartinWS #algorithm #online #performance
Offline and Online Evolutionary Bi-Directional RRT Algorithms for Efficient Re-Planning in Dynamic Environments (SRM, SEW, JWS), pp. 1131–1136.
CASECASE-2007-MolterMZHBLM #algorithm #metric
Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates (TWM, SM, MZ, MH, LWB, MEL, DRM), pp. 386–391.
CASECASE-2007-PlanckaertDBBR #algorithm
Metal transfer characterization with an active contour algorithm in MIG/MAG welding movies (JPP, EHD, DB, FB, FR), pp. 933–938.
CASECASE-2007-SuLCW #algorithm #implementation
Implementation Considerations of Various Virtual Metrology Algorithms (YCS, THL, FTC, WMW), pp. 276–281.
CASECASE-2007-YogeswaranPT #algorithm #heuristic #hybrid #problem #search-based #using
An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS (MY, SGP, MKT), pp. 182–187.
CASECASE-2007-YoonHMSR #algorithm #image #navigation #performance #using
Efficient Navigation Algorithm Using 1D Panoramic Images (SY, WH, SKM, YS, KSR), pp. 536–541.
DACDAC-2007-ChenYCHL #algorithm #design #metaprogramming #named
MP-trees: A Packing-Based Macro Placement Algorithm for Mixed-Size Designs (TCC, PHY, YWC, FJH, DL), pp. 447–452.
DACDAC-2007-ChiouJCC #algorithm #fine-grained #power management
Fine-Grained Sleep Transistor Sizing Algorithm for Leakage Power Minimization (DSC, DCJ, YTC, SCC), pp. 81–86.
DACDAC-2007-FangHC #algorithm #design #integer #linear #programming
An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design (JWF, CHH, YWC), pp. 606–611.
DACDAC-2007-HanS #algorithm #named #performance #preprocessor
Alembic: An Efficient Algorithm for CNF Preprocessing (HH, FS), pp. 582–587.
DACDAC-2007-LiuLC #algorithm #approximate #multi #optimisation #using
A Provably Good Approximation Algorithm for Power Optimization Using Multiple Supply Voltages (HYL, WPL, YWC), pp. 887–890.
DACDAC-2007-OstlerC #algorithm #approximate #architecture #concurrent #multi #network #thread
Approximation Algorithm for Data Mapping on Block Multi-threaded Network Processor Architectures (CO, KSC), pp. 801–804.
DACDAC-2007-PanC #algorithm #named
IPR: An Integrated Placement and Routing Algorithm (MP, CCNC), pp. 59–62.
DATEDATE-2007-BrandenburgSHEE #algorithm #approach #design #novel #prototype
From algorithm to first 3.5G call in record time: a novel system design approach based on virtual prototyping and its consequences for interdisciplinary system design teams (MB, AS, SH, JE, TE), pp. 828–830.
DATEDATE-2007-CuiDHG #2d #algorithm #configuration management #online #performance
An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs (JC, QD, XH, ZG), pp. 129–134.
DATEDATE-2007-JayakumarK #algorithm
An algorithm to minimize leakage through simultaneous input vector control and circuit modification (NJ, SPK), pp. 618–623.
DATEDATE-2007-KhanATE #algorithm #implementation #pipes and filters #sorting
A new pipelined implementation for minimum norm sorting used in square root algorithm for MIMO-VBLAST systems (ZK, TA, JST, ATE), pp. 1569–1574.
DATEDATE-2007-MatarreseMCDB #algorithm #performance #validation
Experimental validation of a tuning algorithm for high-speed filters (GM, CM, FC, SD, AB), pp. 421–426.
DATEDATE-2007-SahinH #algorithm #architecture