BibSLEIGH — structur stem

Used together with:

data (563)
use (304)
base (287)
model (243)
document (228)

Stem structur$ (all stems)

3051 papers:

CASE-2015-FleischerAT #automation #composition #evaluation: A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASE-2015-GiulianiC #optimisation #problem: Derivative-free optimization with use of problem structure: Applications to oil production (CMG, EC), pp. 764–768.
CASE-2015-HillmannS #dependence #distributed #linear: Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
DAC-2015-OuTC #self: Cutting structure-aware analog placement based on self-aligned double patterning with e-beam lithography (HCO, KHT, YWC), p. 6.
DATE-2015-GuanTW0 #analysis #realtime: Delay analysis of structural real-time workload (NG, YT, YW, WY), pp. 223–228.
DATE-2015-WengCCHW #using: Using structural relations for checking combinationality of cyclic circuits (WCW, YCC, JHC, CYH, CYW), pp. 325–328.
DocEng-2015-JansenFC #distributed #documentation #multi: Multimedia Document Structure for Distributed Theatre (JJ, MF, PC), pp. 199–202.
DocEng-2015-Paoli #documentation #what: Documents as Data, Data as Documents: What we learned about Semi-Structured Information for our Open World of Cloud & Devices (JP), p. 1.
HT-2015-DimitrovSHS #design #user interface: The Role of Structural Information for Designing Navigational User Interfaces (DD, PS, DH, MS), pp. 59–68.
PODS-2015-MunroNV #data type #documentation #graph: Dynamic Data Structures for Document Collections and Graphs (JIM, YN, JSV), pp. 277–289.
SIGMOD-2015-BernsteinDDP #concurrent #database #optimisation: Optimizing Optimistic Concurrency Control for Tree-Structured, Log-Structured Databases (PAB, SD, BD, MP), pp. 1295–1309.
VLDB-2015-ChatzistergiouCV #in memory #named: REWIND: Recovery Write-Ahead System for In-Memory Non-Volatile Data-Structures (AC, MC, SDV), pp. 497–508.
VLDB-2015-DasD #social #social media: Structured Analytics in Social Media (MD, GD), pp. 2046–2057.
VLDB-2015-InoueT #algorithm #array #sorting: SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures (HI, KT), pp. 1274–1285.
VLDB-2015-ManabeT #documentation #html #logic: Extracting Logical Hierarchical Structure of HTML Documents Based on Headings (TM, KT), pp. 1606–1617.
VLDB-2015-TangCM #scalability #similarity: Scaling Similarity Joins over Tree-Structured Data (YT, YC, NM), pp. 1130–1141.
VLDB-2015-YingKSS #named: TreeScope: Finding Structural Anomalies In Semi-Structured Data (SY, FK, BS, DS), pp. 1904–1915.
ITiCSE-2015-MishraI #data type #student: Question-Posing strategies used by students for exploring Data Structures (SM, SI), pp. 171–176.
ESOP-2015-Ricciotti #data type: Binding Structures as an Abstract Data Type (WR), pp. 762–786.
SANER-2015-SinghGN #data type #graph #memory management: MG++: Memory graphs for analyzing dynamic data structures (VS, RG, IN), pp. 291–300.
PEPM-2015-VinayakaraoPN #source code: Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (VV, RP, AVN), pp. 21–26.
PLDI-2015-BarowyGHZ #named #relational #spreadsheet #using: FlashRelate: extracting relational data from semi-structured spreadsheets using examples (DWB, SG, TH, BGZ), pp. 218–228.
PLDI-2015-ChuJT #automation #imperative #induction #proving #source code: Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
PLDI-2015-FeserCD #data type: Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
PLDI-2015-KoBS #named: LaminarIR: compile-time queues for structured streams (YK, BB, BS), pp. 121–130.
STOC-2015-CzumajPS #clustering #graph #testing: Testing Cluster Structure of Graphs (AC, PP, CS), pp. 723–732.
STOC-2015-ElkinFN #metric: Prioritized Metric Structures and Embedding (ME, AF, ON), pp. 489–498.
ICALP-v1-2015-GoldbergGL #approximate: Approximately Counting Locally-Optimal Structures (LAG, RG, JL), pp. 654–665.
ICALP-v1-2015-KarpinskiLS #set: A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set (MK, AL, DS), pp. 785–796.
LATA-2015-AnselmoGM #2d #decidability: Structure and Measure of a Decidable Class of Two-dimensional Codes (MA, DG, MM), pp. 315–327.
LATA-2015-BilleGV #data type: Compressed Data Structures for Range Searching (PB, ILG, SV), pp. 577–586.
LATA-2015-BresolinMMSS #complexity #logic #on the: On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (DB, DDM, AM, PS, GS), pp. 511–523.
LATA-2015-JanickiKKM #order #subclass: Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
ICFP-2015-DownenJA #recursion: Structures for structural recursion (PD, PJF, ZMA), pp. 127–139.
CHI-2015-BakerML #named: StructJumper: A Tool to Help Blind Programmers Navigate and Understand the Structure of Code (CMB, LRM, REL), pp. 3043–3052.
CHI-2015-LernerFG #polymorphism #user interface: Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors (SL, SRF, WGG), pp. 3063–3072.
CHI-2015-OuVH #data type #development #interactive: An Interactive System for Data Structure Development (JO, MTV, OH), pp. 3053–3062.
CSCW-2015-CoetzeeLFHH #interactive #learning #scalability: Structuring Interactions for Large-Scale Synchronous Peer Learning (DC, SL, AF, BH, MAH), pp. 1139–1152.
CSCW-2015-KleinMC #collaboration #metric #recursion #wiki: The Virtuous Circle of Wikipedia: Recursive Measures of Collaboration Structures (MK, TM, JCIC), pp. 1106–1115.
CSCW-2015-LutherTWPBAHD #crowdsourcing #design: Structuring, Aggregating, and Evaluating Crowdsourced Design Critique (KL, JLT, WW, AP, BPB, MA, BH, SPD), pp. 473–485.
CSCW-2015-VoidaYK #volunteer: (Infra)structures of Volunteering (AV, ZY, MK), pp. 1704–1716.
DHM-HM-2015-FujiwaraSKFETY: Light Transmission Properties of Insert Molded GFRPs with Different Crape Structure of Silk Fabrics (KF, ES, TK, TF, AE, YT, YY), pp. 267–276.
DHM-HM-2015-WangTTITGH #analysis: Numerical Analysis on “Kana-Ami” Structure Between Expert and Non-expert (ZW, KiT, TT, KI, YT, AG, HH), pp. 192–200.
HIMI-IKC-2015-AraiTA #development #learning: Development of a Learning Support System for Class Structure Mapping Based on Viewpoint (TA, TT, TA), pp. 285–293.
HIMI-IKD-2015-0002S #approach #visualisation: An Approach to Spatial Visualizing Method for Information Structure to Enhance Remember to Look (JGL, DHS), pp. 67–73.
HIMI-IKD-2015-PiconeP #architecture #synthesis: A New Information Architecture: A Synthesis of Structure, Flow, and Dialectic (RARP, BP), pp. 320–331.
ICEIS-v1-2015-FolinoGP #behaviour #modelling #on the #process: On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEIS-v2-2015-BandyszakRWP #analysis #information management #specification #validation: Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration (TB, MR, TW, KP), pp. 252–259.
ICEIS-v2-2015-SmirnovP #architecture #hybrid #network #peer-to-peer #privacy #recommendation: Privacy-preserving Hybrid Peer-to-Peer Recommendation System Architecture — Locality-Sensitive Hashing in Structured Overlay Network (AVS, AP), pp. 532–542.
ECIR-2015-KuytenBHPA: A Discourse Search Engine Based on Rhetorical Structure Theory (PK, DB, BH, HP, KA), pp. 80–91.
ICML-2015-ChenSYU #learning #modelling: Learning Deep Structured Models (LCC, AGS, ALY, RU), pp. 1785–1794.
ICML-2015-CilibertoMPR #learning #multi: Convex Learning of Multiple Tasks and their Structure (CC, YM, TAP, LR), pp. 1548–1557.
ICML-2015-CohenH #learning #online: Following the Perturbed Leader for Online Structured Learning (AC, TH), pp. 1034–1042.
ICML-2015-CortesKMS #modelling: Structural Maxent Models (CC, VK, MM, US), pp. 391–399.
ICML-2015-GlobersonRSY #how #predict #question: How Hard is Inference for Structured Prediction? (AG, TR, DS, CY), pp. 2181–2190.
ICML-2015-HegdeIS #framework: A Nearly-Linear Time Framework for Graph-Structured Sparsity (CH, PI, LS), pp. 928–937.
ICML-2015-LiuHW #collaboration: Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
ICML-2015-MaLF #analysis #canonical #correlation #dataset #linear #scalability: Finding Linear Structure in Large Datasets with Scalable Canonical Correlation Analysis (ZM, YL, DPF), pp. 169–178.
ICML-2015-NarayanPA #metaprogramming: α-β Divergences Discover Micro and Macro Structures in Data (KSN, AP, PA), pp. 796–804.
ICML-2015-SteinhardtL15a #learning #modelling #predict: Learning Fast-Mixing Models for Structured Prediction (JS, PL), pp. 1063–1072.
ICML-2015-WilsonN #kernel #process #scalability: Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.
ICML-2015-WuGS #combinator #feedback #finite #identification #on the: On Identifying Good Options under Combinatorially Structured Feedback in Finite Noisy Environments (YW, AG, CS), pp. 1283–1291.
ICML-2015-ZhuSG #memory management #recursion: Long Short-Term Memory Over Recursive Structures (XDZ, PS, HG), pp. 1604–1612.
KDD-2015-DuS #adaptation #feature model #learning: Unsupervised Feature Selection with Adaptive Structure Learning (LD, YDS), pp. 209–218.
KDD-2015-HanZ #learning #multi: Learning Tree Structure in Multi-Task Learning (LH, YZ), pp. 397–406.
KDD-2015-JohnsonB #resource management: Structured Hedging for Resource Allocations with Leverage (NJ, AB), pp. 477–486.
KDD-2015-MaoWGS #graph #learning #reduction: Dimensionality Reduction Via Graph Structure Learning (QM, LW, SG, YS), pp. 765–774.
KDD-2015-YangSJWDY #learning #visual notation: Structural Graphical Lasso for Learning Mouse Brain Connectivity (SY, QS, SJ, PW, ID, JY), pp. 1385–1394.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability: SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SIGIR-2015-Makhani #personalisation: Structure, Personalization, Scale: A Deep Dive into LinkedIn Search (AM), p. 1081.
Onward-2015-WaelMKSM #data type: Just-in-time data structures (MDW, SM, JDK, JBS, WDM), pp. 61–75.
OOPSLA-2015-0003KLS #data type #memory management #multi #performance #scalability: Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
OOPSLA-2015-CohenP #automation #data type #memory management: Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.
OOPSLA-2015-KurajKJ #programming #set: Programming with enumerable sets of structures (IK, VK, DJ), pp. 37–56.
OOPSLA-2015-LopesO #how #java #source code: How scale affects structure in Java programs (CVL, JO), pp. 675–694.
POPL-2015-HinzeWG #morphism #recursion: Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
SAC-2015-FauconnierKR #approach #machine learning #recognition #taxonomy: A supervised machine learning approach for taxonomic relation recognition through non-linear enumerative structures (JPF, MK, BR), pp. 423–425.
SAC-2015-JamhourPPSB #network: Interference aware channel assignment for structured wireless sensor networks (EJ, MEP, MCP, RDS, GGdOB), pp. 716–719.
SAC-2015-JoselliJC #animation #data type #gpu #named #proximity: NGrid: a proximity data structure for fluids animation with GPU computing (MJ, JRdSJ, EC), pp. 1303–1308.
SAC-2015-LevoratoDFF #algorithm #network #social: An ILS algorithm to evaluate structural balance in signed social networks (ML, LMdAD, YF, RMVdF), pp. 1117–1122.
SAC-2015-PapeBH #adaptation #data type #execution #optimisation #performance: Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SAC-2015-Usener #assessment #automation #data type #education #named: EASy-DSBuilder: automated assessment of tree data structures in computer science teaching (CAU), pp. 220–226.
ESEC-FSE-2015-Vinayakarao #comprehension: Spotting familiar code snippet structures for program comprehension (VV), pp. 1054–1056.
ICSE-v1-2015-DeweyNH #automation #data type #generative: Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric: A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
ICSE-v2-2015-AugustineFQSSBF #case study #navigation: A Field Study on Fostering Structural Navigation with Prodet (VA, PF, XQ, DCS, WS, CB, TF), pp. 229–238.
ASPLOS-2015-DavidGT #concurrent #data type #scalability: Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures (TD, RG, VT), pp. 631–644.
ISMM-2015-CohenP #data type #garbage collection: Data structure aware garbage collector (NC, EP), pp. 28–40.
PPoPP-2015-ZhangCC: NUMA-aware graph-structured analytics (KZ, RC, HC), pp. 183–193.
ICLP-2015-JohannKK #logic programming: Structural Resolution for Logic Programming (PJ, EK, VK).
ICLP-2015-KieslST #analysis #on the #source code: On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).
SAT-2015-AnsoteguiGLS #community #detection #using: Using Community Structure to Detect Relevant Learnt Clauses (CA, JGC, JL, LS), pp. 238–254.
SAT-2015-BovaCMS #compilation #on the: On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
SAT-2015-GanianS #algorithm #community #satisfiability: Community Structure Inspired Algorithms for SAT and #SAT (RG, SS), pp. 223–237.
SAT-2015-NewshamLGLFC #evolution #named #satisfiability #visualisation: SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (ZN, WL, VG, JHL, SF, KC), pp. 62–70.
TAP-2015-AthanasiouLS #concurrent #generative #testing #using: Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAP-2015-GenestierGP #array #deduction #generative #verification: Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
CBSE-2014-Porter #adaptation #component #composition #fine-grained #runtime: Runtime modularity in complex structures: a component model for fine grained runtime adaptation (BP), pp. 29–34.
CASE-2014-JuZDL #bibliography #energy #hybrid: Review of structures and control of battery-supercapacitor hybrid energy storage system for electric vehicles (FJ, QZ, WD, JL), pp. 143–148.
DAC-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.
DAC-2014-GuinZFT #low cost: Low-cost On-Chip Structures for Combating Die and IC Recycling (UG, XZ, DF, MT), p. 6.
DATE-2014-DweikAD #array #exception #fault: Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
DATE-2014-SilvaLCH #multi: Electromigration-aware and IR-Drop avoidance routing in analog multiport terminal structures (RMAeS, NCL, AC, NH), pp. 1–6.
DocEng-2014-DohrnR #detection #documentation #fine-grained: Fine-grained change detection in structured text documents (HD, DR), pp. 87–96.
DRR-2014-FengLLLT #analysis #geometry: Structure analysis for plane geometry figures (TF, XL, LL, KL, ZT), p. ?–11.
DRR-2014-GaoRKL #database #documentation #image #performance #retrieval: Fast structural matching for document image retrieval through spatial databases (HG, MR, DK, JL), p. ?–10.
DRR-2014-KleberDS #classification #retrieval #using #word: Form classification and retrieval using bag of words with shape features of line structures (FK, MD, RS), pp. 902107–9.
DRR-2014-TaoTX #documentation #learning #random #using: Document page structure learning for fixed-layout e-books using conditional random fields (XT, ZT, CX), p. ?–9.
PODS-2014-GrecoS #hybrid #query: Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
PODS-2014-KolaitisPSS #dependence #reasoning: Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.
PODS-2014-Tao: A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.
SIGMOD-2014-HanW #mining: Mining latent entity structures from massive unstructured and interconnected data (JH, CW), pp. 1409–1410.
SIGMOD-2014-ParkW #named: CrowdFill: collecting structured data from the crowd (HP, JW), pp. 577–588.
SIGMOD-2014-TaharaDA #multi #named #sql: Sinew: a SQL system for multi-structured data (DT, TD, DJA), pp. 815–826.
SIGMOD-2014-ZaschkeZN #multi: The PH-tree: a space-efficient storage structure and multi-dimensional index (TZ, CZ, MCN), pp. 397–408.
VLDB-2014-AfratiDPU #query: Storing and Querying Tree-Structured Records in Dremel (FNA, DD, MP, JDU), pp. 1131–1142.
VLDB-2014-LiuCHLS #approximate #named #nearest neighbour #performance: SK-LSH: An Efficient Index Structure for Approximate Nearest Neighbor Search (YL, JC, ZH, HL, HTS), pp. 745–756.
VLDB-2014-MaeharaAIK #graph #personalisation #rank: Computing Personalized PageRank Quickly by Exploiting Graph Structures (TM, TA, YI, KiK), pp. 1023–1034.
VLDB-2014-WangMO #lightweight: Lightweight Indexing of Observational Data in Log-Structured Storage (SW, DM, BCO), pp. 529–540.
VLDB-2015-ThirumuruganathanRAD14 #mining: Beyond Itemsets: Mining Frequent Featuresets over Structured Items (ST, HR, SA, GD), pp. 257–268.
ITiCSE-2014-EllisH #learning #open source #re-engineering: Structuring software engineering learning within open source software participation (HJCE, GWH), p. 326.
ITiCSE-2014-HortonC: Impact of reward structures in an inverted course (DH, JC), p. 341.
FASE-2014-DuvalEPR: Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
FoSSaCS-2014-MossakowskiT #calculus #specification: A Relatively Complete Calculus for Structured Heterogeneous Specifications (TM, AT), pp. 441–456.
ICPC-2014-GuptaSVU #assessment #industrial #named #quality #scalability: SCQAM: a scalable structured code quality assessment method for industrial software (SG, HKS, RDV, UU), pp. 244–252.
ICPC-2014-JbaraF14a #comprehension #named #visual notation: JCSD: visual support for understanding code control structure (AJ, DGF), pp. 300–303.
ICPC-2014-WangL #debugging #locality #version control: Version history, similar report, and structure: putting them together for improved bug localization (SW, DL), pp. 53–63.
ICPC-2014-White #data type #identification #named: dsOli: data structure operation location and identification (DHW), pp. 48–52.
ICSME-2014-EddyK #code search #query #source code #using: Using Structured Queries for Source Code Search (BPE, NAK), pp. 431–435.
PLDI-2014-PekQM #c #data type #logic #proving #using: Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
PLDI-2014-SurendranRCMS #parallel #source code #testing: Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
FLOPS-2014-Bahr #compilation #correctness #graph #proving #using: Proving Correctness of Compilers Using Structured Graphs (PB), pp. 221–237.
FLOPS-2014-CaiO #automaton: Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.
AFL-2014-HolzerJ #automaton #product line #regular expression: More Structural Characterizations of Some Subregular Language Families by Biautomata (MH, SJ), pp. 271–285.
AFL-2014-Klima #algebra #automaton #on the: On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract) (OK), pp. 49–54.
ICALP-v1-2014-ReingoldRW #data type #graph #pseudo: Pseudorandom Graphs in Data Structures (OR, RDR, UW), pp. 943–954.
ICALP-v1-2014-WangY #data type: Certificates in Data Structures (YW, YY), pp. 1039–1050.
ICALP-v2-2014-Chaturvedi #towards: Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.
LATA-2014-CaronFM: (k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization (PC, MF, LM), pp. 260–272.
LATA-2014-DingSXHMC #modelling #probability: Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
IFM-2014-CalvaneseKSVZ #analysis #data type: Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.
ICGT-2014-DanosHS #refinement: Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
CHI-2014-AlperRH #case study #diagrams #visual notation: Structuring the space: a study on enriching node-link diagrams with visual references (BA, NHR, TH), pp. 1825–1834.
CHI-2014-AndreKK #collaboration #distributed: Effects of simultaneous and sequential work structures on distributed collaborative interdependent tasks (PA, REK, AK), pp. 139–148.
CHI-2014-BensonK #how #web #what #why: End-users publishing structured information on the web: an observational study of what, why, and how (EB, DRK), pp. 1265–1274.
CHI-2014-KuleszaACFC #concept #evolution #machine learning: Structured labeling for facilitating concept evolution in machine learning (TK, SA, RC, DF, DXC), pp. 3075–3084.
CHI-2014-LuFL #gesture #using: Gesture script: recognizing gestures and their structure using rendering scripts and interactively trained parts (HL, JF, YL), pp. 1685–1694.
CHI-2014-ORourkeHBDP #education #game studies #persistent: Brain points: a growth mindset incentive structure boosts persistence in an educational game (EO, KH, CB, CSD, ZP), pp. 3339–3348.
CHI-2014-TrinhYE #named: PitchPerfect: integrated rehearsal environment for structured presentation preparation (HT, KY, DE), pp. 1571–1580.
CSCW-2014-HomanLTLS #social: Social structure and depression in TrevorSpace (CMH, NL, XT, MCL, VS), pp. 615–625.
CSCW-2014-XuHB #design #feedback #generative #named #using #visual notation: Voyant: generating structured feedback on visual designs using a crowd of non-experts (AX, SWH, BPB), pp. 1433–1444.
DHM-2014-OhgiriYYKH #analysis #comparison: Comparison of Gait Analysis by the Way of Semi-structured Interviews (MO, KY, HY, NK, HH), pp. 43–54.
DUXU-DP-2014-KremerMSL #development #experience #user interface: User Experience Milestones — Structuring the Development of Experience Products (SK, IM, CvS, UL), pp. 308–318.
DUXU-TMT-2014-CoventryBJM #behaviour #named #security: SCENE: A Structured Means for Creating and Evaluating Behavioral Nudges in a Cyber Security Environment (LMC, PB, DJ, APAvM), pp. 229–239.
HIMI-AS-2014-HirashimaYH #learning #problem #word: Triplet Structure Model of Arithmetical Word Problems for Learning by Problem-Posing (TH, SY, YH), pp. 42–50.
HIMI-DE-2014-HoriguchiASN #dependence #generative: Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
HIMI-DE-2014-KatoM #deployment #modelling #quality #using: Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.
HIMI-DE-2014-SuzukiSI #interactive #multi: Analyzing Structure of Multiparty Interaction: Group Size Effect in Story-Retelling Task (NS, MS, NI), pp. 261–270.
VISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation: Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
ICEIS-v1-2014-PfaffK #benchmark #distributed #integration #metric #ontology #semantics #towards: Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.
ICEIS-v2-2014-MeloS #design #modelling #uml #using: Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ICEIS-v2-2014-TrienekensK #feedback #metric: Structuring Software Measurement — Metrication in the Context of Feedback Loops (JJMT, RJK), pp. 129–136.
CIKM-2014-BoghCSA #data type #named: Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKM-2014-Deolalikar14b #clustering #documentation #what: What is the Shape of a Cluster?: Structural Comparisons of Document Clusters (VD), pp. 1927–1930.
CIKM-2014-GoncalvesDCSZB #learning #multi: Multi-task Sparse Structure Learning (ARG, PD, SC, VS, FJVZ, AB), pp. 451–460.
CIKM-2014-KimHYCK #retrieval: Exploiting Knowledge Structure for Proximity-aware Movie Retrieval Model (SK, KH, MYY, SC, SK), pp. 1847–1850.
CIKM-2014-MeuselMB #crawling: Focused Crawling for Structured Data (RM, PM, RB), pp. 1039–1048.
CIKM-2014-ShenHGDM #information retrieval #semantics: A Latent Semantic Model with Convolutional-Pooling Structure for Information Retrieval (YS, XH, JG, LD, GM), pp. 101–110.
CIKM-2014-SondhiZ #community #knowledge base #mining #natural language #online: Mining Semi-Structured Online Knowledge Bases to Answer Natural Language Questions on Community QA Websites (PS, CZ), pp. 341–350.
CIKM-2014-TraniCLOP #documentation: Manual Annotation of Semi-Structured Documents for Entity-Linking (ST, DC, CL, SO, RP), pp. 2075–2077.
CIKM-2014-WangMC #learning #parametricity: Structure Learning via Parameter Learning (WYW, KM, WWC), pp. 1199–1208.
ICML-c1-2014-ZhouT #generative #network #predict #probability: Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.
ICML-c2-2014-AziziAG #composition #learning #network: Learning Modular Structures from Network Data and Node Variables (EA, EA, JEG), pp. 1440–1448.
ICML-c2-2014-BratieresQNG #graph #grid #predict #process #scalability: Scalable Gaussian Process Structured Prediction for Grid Factor Graph Applications (SB, NQ, SN, ZG), pp. 334–342.
ICML-c2-2014-CortesKM #predict: Ensemble Methods for Structured Prediction (CC, VK, MM), pp. 1134–1142.
ICML-c2-2014-DaneshmandGSS #algorithm #complexity #network: Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm (HD, MGR, LS, BS), pp. 793–801.
ICML-c2-2014-GunasekarRG #constraints #exponential #matrix #product line: Exponential Family Matrix Completion under Structural Constraints (SG, PR, JG), pp. 1917–1925.
ICML-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.
ICML-c2-2014-LindermanA #network #process: Discovering Latent Network Structure in Point Process Data (SWL, RPA), pp. 1413–1421.
ICML-c2-2014-LiZ #higher-order #learning #problem: High Order Regularization for Semi-Supervised Learning of Structured Output Problems (YL, RSZ), pp. 1368–1376.
ICML-c2-2014-MaddisonT #generative #modelling #source code: Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICML-c2-2014-MittelmanKSL #strict: Structured Recurrent Temporal Restricted Boltzmann Machines (RM, BK, SS, HL), pp. 1647–1655.
ICML-c2-2014-PingLI: Marginal Structured SVM with Hidden Variables (WP, QL, ATI), pp. 190–198.
ICML-c2-2014-SuGR #network #predict: Structured Prediction of Network Response (HS, AG, JR), pp. 442–450.
ICML-c2-2014-TorkamaniL #on the #robust: On Robustness and Regularization of Structural Support Vector Machines (MT, DL), pp. 577–585.
ICML-c2-2014-WangY #crowdsourcing: Ensemble-Based Tracking: Aggregating Crowdsourced Structured Time Series Data (NW, DYY), pp. 1107–1115.
ICML-c2-2014-YangLR14a #matrix: Elementary Estimators for Sparse Covariance Matrices and other Structured Moments (EY, ACL, PDR), pp. 397–405.
ICPR-2014-AkinM #detection #learning #online: Online Learning and Detection with Part-Based, Circulant Structure (OA, KM), pp. 4229–4233.
ICPR-2014-AlbarelliCBT #3d #online: High-Coverage 3D Scanning through Online Structured Light Calibration (AA, LC, FB, AT), pp. 4080–4085.
ICPR-2014-CaoMS #image #segmentation: Segmentation of Anatomical Structures in Four-Chamber View Echocardiogram Images (YC, PM, TSM), pp. 568–573.
ICPR-2014-ChernousovaLTMW #parametricity #validation: Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.
ICPR-2014-FernandezT #analysis #documentation #layout: EM-Based Layout Analysis Method for Structured Documents (FCF, ORT), pp. 315–320.
ICPR-2014-GaoHDJ #multi: Depth Structure Association for RGB-D Multi-target Tracking (SG, ZH, DSD, JJ), pp. 4152–4157.
ICPR-2014-GaoRKL #documentation: Embedding Document Structure to Bag-of-Words through Pair-wise Stable Key-Regions (HG, MR, DK, JL), pp. 2903–2908.
ICPR-2014-Kobayashi #named #pattern matching: S3CCA: Smoothly Structured Sparse CCA for Partial Pattern Matching (TK), pp. 1981–1986.
ICPR-2014-LiangLLFL #detection #modelling: Accurate Facial Landmarks Detection for Frontal Faces with Extended Tree-Structured Models (AL, WL, LL, MRF, VL), pp. 538–543.
ICPR-2014-LimKLC #detection #similarity: Crowd Saliency Detection via Global Similarity Structure (MKL, VJK, CCL, CSC), pp. 3957–3962.
ICPR-2014-LitvinovL #incremental #modelling #visual notation: Incremental Solid Modeling from Sparse Structure-from-Motion Data with Improved Visual Artifacts Removal (VL, ML), pp. 2745–2750.
ICPR-2014-LiYLMDWX #higher-order #multi: Multiple-Output Regression with High-Order Structure Information (CL, LY, QL, FM, WD, YW, JX), pp. 3868–3873.
ICPR-2014-MehnertMSMB #approach: A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform (AM, RM, KS, PM, EB), pp. 1189–1193.
ICPR-2014-MollerPB #analysis #quantifier #using: Quantification of Actin Structures Using Unsupervised Pattern Analysis Techniques (BM, EP, NB), pp. 3251–3256.
ICPR-2014-PistocchiCBFC #3d #classification #detection #kernel: Kernelized Structural Classification for 3D Dogs Body Parts Detection (SP, SC, SB, NF, RC), pp. 1993–1998.
ICPR-2014-TaoIWS #approximate #data transformation #rank #representation: Ensemble Manifold Structured Low Rank Approximation for Data Representation (LT, HHSI, YW, XS), pp. 744–749.
ICPR-2014-WangDWLZJ: Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.
ICPR-2014-WangYWWL: Discriminative Representative Selection via Structure Sparsity (BW, QY, SW, LW, GL), pp. 1401–1406.
ICPR-2014-XiongHL #3d #estimation: Gaze Estimation Based on 3D Face Structure and Pupil Centers (CX, LH, CL), pp. 1156–1161.
ICPR-2014-XuRVL #adaptation #multi: Cost-Sensitive Structured SVM for Multi-category Domain Adaptation (JX, SR, DV, AML), pp. 3886–3891.
ICPR-2014-XuS #learning #network #using: Bayesian Network Structure Learning Using Causality (ZX, SNS), pp. 3546–3551.
ICPR-2014-YanCS #multi: Hierarchical Group Structures in Multi-person Tracking (XY, AC, SKS), pp. 2221–2226.
ICPR-2014-YangXWL #learning #realtime: Real-Time Tracking via Deformable Structure Regression Learning (XY, QX, SW, PL), pp. 2179–2184.
ICPR-2014-YunJKHC #detection #modelling #performance #self: Self-Organizing Cascaded Structure of Deformable Part Models for Fast Object Detection (SY, HJ, WSK, BH, JYC), pp. 4246–4250.
ICPR-2014-ZhangCQ #realtime: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
ICPR-2014-ZhangM14a #detection #learning #multi: Simultaneous Detection of Multiple Facial Action Units via Hierarchical Task Structure Learning (XZ, MHM), pp. 1863–1868.
ICPR-2014-Zhao: Euclidean Structure from Conic Feature Correspondences (ZZ), pp. 4010–4014.
KDD-2014-AkibaMK #analysis #network: Network structural analysis via core-tree-decomposition Publication of this article pending inquiry (TA, TM, KiK), pp. 1476–1485.
KDD-2014-BensonRS #learning #multi #network #scalability: Learning multifractal structure in large networks (ARB, CR, SS), pp. 1326–1335.
KDD-2014-HanWE #mining #topic: Bringing structure to text: mining phrases, entities, topics, and hierarchies (JH, CW, AEK), p. 1968.
KDD-2014-LiangRR #learning #personalisation: Personalized search result diversification via structured learning (SL, ZR, MdR), pp. 751–760.
KDD-2014-PolozovG #automation #named #web: LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.
KDD-2014-QianHJPZ #approach #distance #learning #metric #using: Distance metric learning using dropout: a structured regularization approach (QQ, JH, RJ, JP, SZ), pp. 323–332.
KDD-2014-XiaoCT #network: Differentially private network data release via structural inference (QX, RC, KLT), pp. 911–920.
KDIR-2014-MaWQ #parsing: Time Phrase Parsing for Chinese Text with HowNet Temporal Information Structure (HmM, XyW, LQ), pp. 294–299.
KEOD-2014-MartinB #information management #ontology #parsing #specification: An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations (PM, JB), pp. 96–107.
KMIS-2014-HisakaneS #learning #visualisation: A Visualization System of Discussion Structure in Case Method Learning (DH, MS), pp. 126–132.
SEKE-2014-LingZF #approach #modelling #process #similarity: An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKE-2014-WangKS #semantics: An Exploratory Search for Presentation Contents based on Slide Semantic Structure (YW, YK, KS), pp. 665–670.
SIGIR-2014-BingGLNW #classification #predict #segmentation #web: Web page segmentation with structured prediction and its application in web page classification (LB, RG, WL, ZYN, HW), pp. 767–776.
SIGIR-2014-Sebastian #clustering #predict #semantics #using: Cluster links prediction for literature based discovery using latent structure and semantic features (YS), p. 1275.
AMT-2014-GholizadehDM #approach #model transformation #query: A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
ECOOP-2014-SunshineHA #documentation #empirical #programming #protocol: Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming (JS, JDH, JA), pp. 157–181.
Onward-2014-WalkingshawKEAB #data type #trade-off #variability: Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language: Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum #tutorial: On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance: Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
POPL-2014-MillerHKS #authentication #data type: Authenticated data structures, generically (AM, MH, JK, ES), pp. 411–424.
RE-2014-ZhuMR #modelling #multi: Structured multi-view modeling by tabular notation (XZ, DM, DR), pp. 327–328.
SAC-2014-GuoQS: Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.
SAC-2014-KrichenAB #health #monitoring: WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
SAC-2014-SeelandKK #clustering #graph: Structural clustering of millions of molecular graphs (MS, AK, SK), pp. 121–128.
SAC-2014-SeoKTC #analysis #framework #network #social: A structural analysis of literary fictions with social network framework (JS, SHK, HT, HGC), pp. 634–640.
ICSE-2014-MaozRR #component #modelling #verification: Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
ICSE-2014-ZayanAC #comprehension #empirical #using: Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.
CGO-2014-SureshS #algorithm #automation #detection #fault #grid #problem: Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
PPoPP-2014-0003VTCT #data type #scheduling: Data structures for task-based priority scheduling (MW, FV, JLT, DC, PT), pp. 379–380.
PPoPP-2014-AgrawalFSSU #data type #parallel #scheduling #source code: Provably good scheduling for parallel programs that use data structures through implicit batching (KA, JTF, BS, JS, RU), pp. 389–390.
PPoPP-2014-HerlihyL #locality: Well-structured futures and cache locality (MH, ZL), pp. 155–166.
PPoPP-2014-IsaacsGBBSH #execution #identification #logic #parallel: Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.
PPoPP-2014-TimnatP #data type #simulation: A practical wait-free simulation for lock-free data structures (ST, EP), pp. 357–368.
CAV-2014-LesaniMP #automation #concurrent #data type #verification: Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language: A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
ICTSS-2014-DoganayEAB #embedded #search-based #testing: Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ICTSS-2014-DwarakanathJ #test coverage: Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity: Equality and fixpoints in the calculus of structures (KC, NG), p. 10.
LICS-CSL-2014-GutierrezW #concurrent #game studies: Equilibria of concurrent games on event structures (JG, MW), p. 10.
LICS-CSL-2014-HarwathHS #bound #composition #theorem: Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.
LICS-CSL-2014-Khoussainov #infinity #random: A quest for algorithmically random infinite structures (BK), p. 9.
RTA-TLCA-2014-Maieli #proving: Construction of Retractile Proof Structures (RM), pp. 319–333.
RTA-TLCA-2014-RouxD #type system: The Structural Theory of Pure Type Systems (CR, FvD), pp. 364–378.
SAT-2014-NewshamGFAS #community #performance #satisfiability: Impact of Community Structure on SAT Solver Performance (ZN, VG, SF, GA, LS), pp. 252–268.
SAT-2014-SaetherTV #satisfiability: Solving MaxSAT and #SAT on Structured CNF Formulas (SHS, JAT, MV), pp. 16–31.
TAP-2014-KosmatovLA #case study #proving #testing #verification: A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.
CBSE-2013-BurtonS #correctness #data type #mixin #using: Correctness of intrusive data structures using mixins (EB, ES), pp. 53–58.
ASE-2013-OsterlundL #data type: Dynamically transforming data structures (EÖ, WL), pp. 410–420.
ASE-2013-PohlSP #complexity #feature model #modelling: Measuring the structural complexity of feature models (RP, VS, KP), pp. 454–464.
ASE-2013-SahaLKP #debugging #information retrieval #locality #using: Improving bug localization using structured information retrieval (RKS, ML, SK, DEP), pp. 345–355.
ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing: Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ASE-2013-ZhangCW #concurrent #data type #named #runtime: Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
CASE-2013-DingHMS #behaviour #collaboration #industrial: Structured collaborative behavior of industrial robots in mixed human-robot environments (HD, JH, BM, HS), pp. 1101–1106.
CASE-2013-SehestedtPRL #3d #maintenance #performance: Prior-knowledge assisted fast 3D map building of structured environments for steel bridge maintenance (SS, GP, DRS, DL), pp. 1040–1046.
CASE-2013-SeoYK #assembly #composition: Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
DAC-2013-GaillardonMABSLM #towards #using: Towards structured ASICs using polarity-tunable Si nanowire transistors (PEG, MDM, LGA, SB, DS, YL, GDM), p. 4.
DAC-2013-RoyCPP #parallel #synthesis #towards #trade-off: Towards optimal performance-area trade-off in adders by synthesis of parallel prefix structures (SR, MRC, RP, DZP), p. 8.
DATE-2013-PerelliCMBMB #design #health #monitoring #power management: Design of an ultra-low power device for aircraft structural health monitoring (AP, CC, LDM, DB, AM, LB), pp. 1127–1130.
DocEng-2013-BaAS #collaboration #documentation #editing #nondeterminism #version control: Uncertain version control in open collaborative editing of tree-structured documents (MLB, TA, PS), pp. 27–36.
DocEng-2013-NedelecMMD #adaptation #collaboration #distributed #editing #named #sequence: LSEQ: an adaptive structure for sequences in distributed collaborative editing (BN, PM, AM, ED), pp. 37–46.
DocEng-2013-Vion-Dury #documentation #integration #owl #semantics #using: Using RDFS/OWL to ease semantic integration of structured documents (JYVD), pp. 189–192.
DRR-2013-AugereauJD #documentation #image #recognition: Semi-structured document image matching and recognition (OA, NJ, JPD).
DRR-2013-SimistiraPKC #analysis #online: Structural analysis of online handwritten mathematical symbols based on support vector machines (FS, VP, VK, GC).
DRR-2013-ZanibbiMV #graph #pattern matching #pattern recognition #recognition: Evaluating structural pattern recognition for handwritten math via primitive label graphs (RZ, HM, CVG).
HT-2013-KangL #information management #network #social: Structural and cognitive bottlenecks to information access in social networks (JHK, KL), pp. 51–59.
ICDAR-2013-BreslerPH #modelling #problem #recognition: Modeling Flowchart Structure Recognition as a Max-Sum Problem (MB, DP, VH), pp. 1215–1219.
ICDAR-2013-CartonLC #recognition #statistics: Fusion of Statistical and Structural Information for Flowchart Recognition (CC, AL, BC), pp. 1210–1214.
ICDAR-2013-DoucetKCM #contest: ICDAR 2013 Competition on Book Structure Extraction (AD, GK, SC, GM), pp. 1438–1443.
ICDAR-2013-GerdjikovMN: Extraction of Spelling Variations from Language Structure for Noisy Text Correction (SG, SM, VN), pp. 324–328.
ICDAR-2013-Howe #modelling #word: Part-Structured Inkball Models for One-Shot Handwritten Word Spotting (NRH), pp. 582–586.
ICDAR-2013-KumarD #classification #documentation #image: Unsupervised Classification of Structurally Similar Document Images (JK, DSD), pp. 1225–1229.
ICDAR-2013-NayefB: Constructing a Hierarchical Structure from Symbol Alphabets of Technical Line Drawings (NN, TMB), pp. 773–777.
ICDAR-2013-PuriST #learning #network: Bayesian Network Structure Learning and Inference Methods for Handwriting (MP, SNS, YT), pp. 1320–1324.
ICDAR-2013-RusinolBD #documentation #incremental: Field Extraction from Administrative Documents by Incremental Structural Templates (MR, TB, VPD), pp. 1100–1104.
ICDAR-2013-TangHF #analysis #approach #recognition: A Progressive Structural Analysis Approach for Handwritten Chemical Formula Recognition (PT, SCH, CWF), pp. 359–363.
ICDAR-2013-TeradaHFU #detection #on the: On the Possibility of Structure Learning-Based Scene Character Detector (YT, RH, YF, SU), pp. 472–476.
ICDAR-2013-Zhu0N #learning #recognition: Sub-structure Learning Based Handwritten Chinese Text Recognition (YZ, JS, SN), pp. 295–299.
PODS-2013-KazanaS #bound #first-order #query: Enumeration of first-order queries on classes of structures with bounded expansion (WK, LS), pp. 297–308.
SIGMOD-2013-Horikawa #data type #design #evaluation #implementation: Latch-free data structures for DBMS: design, implementation, and evaluation (TH), pp. 409–420.
SIGMOD-2013-KaufmannMVFKFM #data type #query #timeline: Timeline index: a unified data structure for processing queries on temporal data in SAP HANA (MK, AAM, PV, PMF, DK, FF, NM), pp. 1173–1184.
SIGMOD-2013-SidirourgosK: Column imprints: a secondary index structure (LS, MLK), pp. 893–904.
VLDB-2013-FuhryZSNP #named: PLASMA-HD: Probing the LAttice Structure and MAkeup of High-dimensional Data (DF, YZ, VS, AN, SP), pp. 1318–1321.
VLDB-2013-HuaiMLO0 #clustering #comprehension: Understanding Insights into the Basic Structure and Essential Issues of Table Placement Methods in Clusters (YH, SM, RL, OO, XZ), pp. 1750–1761.
VLDB-2013-HuangCLQY #network #scalability: Top-K Structural Diversity Search in Large Networks (XH, HC, RHL, LQ, JXY), pp. 1618–1629.
VLDB-2013-KornSSY #on the #problem: On Repairing Structural Problems In Semi-structured Data (FK, BS, DS, SY), pp. 601–612.
VLDB-2013-KotsakosSKG #health #monitoring #named #smarttech #using: SmartMonitor: Using Smart Devices to Perform Structural Health Monitoring (DK, PS, VK, DG), pp. 1282–1285.
VLDB-2013-LiuSW #performance #query: A Performance Study of Three Disk-based Structures for Indexing and Querying Frequent Itemsets (GL, AS, LW), pp. 505–516.
VLDB-2014-ZhaoXLLZ13 #approach #similarity: A Partition-Based Approach to Structure Similarity Search (XZ, CX, XL, QL, WZ), pp. 169–180.
ITiCSE-2013-BergesH #concept #game studies #specification: Concept specification maps: displaying content structures (MB, PH), pp. 291–296.
ITiCSE-2013-BryfczynskiPCKD #data type #education: Teaching data structures with beSocratic (SB, RPP, MC, MK, BCD), pp. 105–110.
TFPIE-2013-Caldwell #functional #induction: Structural Induction Principles for Functional Programmers (JC), pp. 16–26.
ESOP-2013-LuPX #correlation: Structural Lock Correlation with Ownership Types (YL, JP, JX), pp. 391–410.
ESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning: Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
TACAS-2013-AbdullaHHJR #concurrent #data type #specification #verification: An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (PAA, FH, LH, BJ, AR), pp. 324–338.
TACAS-2013-BansalKWZ #abstraction: Structural Counter Abstraction (KB, EK, TW, DZ), pp. 62–77.
TACAS-2013-WhiteL #data type #evolution #identification #in memory #learning #memory management: Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory (DHW, GL), pp. 354–369.
CSMR-2013-PanichellaMMPOPL #how #traceability #using: When and How Using Structural Information to Improve IR-Based Traceability Recovery (AP, CM, EM, DP, RO, DP, ADL), pp. 199–208.
CSMR-2013-SnajberkHB #component #using #visualisation: Visualization of Component-Based Applications Structure Using AIVA (JS, LH, PB), pp. 409–412.
CSMR-2013-ThungBLJ #git #network #social: Network Structure of Social Coding in GitHub (FT, TFB, DL, LJ), pp. 323–326.
ICPC-2013-BassettK #feature model #retrieval: Structural information based term weighting in text retrieval for feature location (BB, NAK), pp. 133–141.
ICSM-2013-KhanBEL #evolution #named #using: eCITY: A Tool to Track Software Structural Changes Using an Evolving City (TK, HB, AE, PL), pp. 492–495.
WCRE-2013-AbdeenSSAD #automation #design #towards: Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.
WCRE-2013-HallerSB #c #c++ #data type #detection #named: MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
WCRE-2013-HallerSB13a #data type #detection #named: MemPick: A tool for data structure detection (IH, AS, HB), pp. 479–480.
PLDI-2013-Qiu0SM #proving: Natural proofs for structure, data, and separation (XQ, PG, AS, PM), pp. 231–242.
PLDI-2013-YuKL #data type #multi #thread: General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
SAS-2013-DragoiES #analysis #data type: Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.
STOC-2013-CaputoMSS #algorithm #random: Random lattice triangulations: structure and algorithms (PC, FM, AS, AS), pp. 615–624.
STOC-2013-KawarabayashiY #graph #testing: Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
STOC-2013-KleinMS #graph #linear #recursion: Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.
ICALP-v2-2013-HarrisMPRS #performance: Efficient Computation of Balanced Structures (DGH, EM, GP, PR, AS), pp. 581–593.
ICALP-v2-2013-LeivantM #complexity #evolution: Evolving Graph-Structures and Their Implicit Computational Complexity (DL, JYM), pp. 349–360.
IFM-2013-OlderogS #realtime: Structural Transformations for Data-Enriched Real-Time Systems (ERO, MS), pp. 378–393.
CEFP-2013-DaneluttoT #parallel #programming: Structured Parallel Programming with “core” FastFlow (MD, MT), pp. 29–75.
ICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification: The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
ICFP-2013-HidakaAHKN #graph #order #query #recursion: Structural recursion for querying ordered graphs (SH, KA, ZH, HK, KN), pp. 305–318.
ICFP-2013-HinzeWG #recursion: Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance: Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHI-2013-KitturPDTB #cost analysis #information management: Costs and benefits of structured information foraging (AK, AMP, AD, TT, MRB), pp. 2989–2998.
CHI-2013-SpiliotopoulosO #comprehension #facebook #metric #network #privacy: Understanding motivations for facebook use: usage metrics, network structure, and privacy (TS, IO), pp. 3287–3296.
CSCW-2013-GaoHZ #how #network #social: Closure vs. structural holes: how social network information and culture affect choice of collaborators (GG, PJH, CZ), pp. 5–18.
CSCW-2013-XuHKC #behaviour #twitter: Structures of broken ties: exploring unfollow behavior on twitter (BX, YH, HK, NSC), pp. 871–876.
DUXU-CXC-2013-SturmSG #locality #performance: Localization beyond National Characteristics: The Impact of Language on Users’ Performance with Different Menu Structures (CS, GS, SG), pp. 105–114.
HCI-AMTE-2013-UedaGTHYY #design #experience: Structured Scenario-Based Design Method for Experience Vision (YU, KG, KT, SH, KY, KY), pp. 500–509.
HIMI-D-2013-MaC #semantics: Semantically Structured VDL-Based Iconic Tags System (XM, JPC), pp. 465–474.
HIMI-D-2013-ShiozuYS #community #process: Incentive Structure of Participation in Community Activity (YS, KY, KS), pp. 259–268.
OCSC-2013-ChengYJK #collaboration #navigation #online: The Effects of Navigation Support and Group Structure on Collaborative Online Shopping (YC, YY, ZJJ, HJK), pp. 250–259.
OCSC-2013-SookhanaphibarnK #empirical: Empirical Study of Routine Structure in University Campus (KS, EK), pp. 201–209.
VISSOFT-2013-AbuthawabehBZD #matrix #multi #visualisation: Finding structures in multi-type code couplings with node-link and matrix visualizations (AA, FB, DZ, SD), pp. 1–10.
AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #safety #using: Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.
EDOC-2013-GuediHMN: Sizing the Underlying Factorization Structure of a Class Model (AOG, MH, AM, CN), pp. 167–172.
ICEIS-v2-2013-FakhfakhTM #documentation #metric #multi #retrieval: A New Metric for Multimedia Retrieval in Structured Documents (SF, MT, WM), pp. 240–247.
CIKM-2013-HachenbergG #classification #clustering #documentation #locality #scalability #web: Locality sensitive hashing for scalable structural classification and clustering of web documents (CH, TG), pp. 359–368.
CIKM-2013-Halevy #web: Structured data in web search (AYH), pp. 7–8.
CIKM-2013-LuBL #enterprise #retrieval: Structured positional entity language model for enterprise entity retrieval (CL, LB, WL), pp. 129–138.
CIKM-2013-MirylenkaP #navigation #network #topic #wiki: Navigating the topical structure of academic search results via the Wikipedia category network (DM, AP), pp. 891–896.
CIKM-2013-NoroziA #retrieval: Selection fusion in semi-structured retrieval (MAN, PA), pp. 1291–1300.
CIKM-2013-PalBP #named #query: RCached-tree: an index structure for efficiently answering popular queries (MP, AB, DP), pp. 1173–1176.
CIKM-2013-ParameswaranKA #performance: Efficient parsing-based search over structured data (AGP, RK, AA), pp. 49–58.
CIKM-2013-SeverynNM #classification #ranking: Building structures from classifiers for passage reranking (AS, MN, AM), pp. 969–978.
CIKM-2013-SymondsZKBS #perspective #query: Term associations in query expansion: a structural linguistic perspective (MS, GZ, BK, PB, LS), pp. 1189–1192.
ECIR-2013-HuiGHL #analysis #keyword: Sponsored Search Ad Selection by Keyword Structure Analysis (KH, BG, BH, TL), pp. 230–241.
ECIR-2013-JuMJ #classification #learning #rank: Learning to Rank from Structures in Hierarchical Text Classification (QJ, AM, RJ), pp. 183–194.
ECIR-2013-LaitangPB #distance #edit distance #information retrieval: DTD Based Costs for Tree-Edit Distance in Structured Information Retrieval (CL, KPS, MB), pp. 158–170.
ICML-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.
ICML-c1-2013-KadriGP #approach #kernel #learning: A Generalized Kernel Approach to Structured Output Learning (HK, MG, PP), pp. 471–479.
ICML-c1-2013-Lacoste-JulienJSP #coordination #optimisation: Block-Coordinate Frank-Wolfe Optimization for Structural SVMs (SLJ, MJ, MWS, PP), pp. 53–61.
ICML-c1-2013-LimLM #learning #metric #robust: Robust Structural Metric Learning (DL, GRGL, BM), pp. 615–623.
ICML-c1-2013-LiWWT #fixpoint: Fixed-Point Model For Structured Labeling (QL, JW, DPW, ZT), pp. 214–221.
ICML-c1-2013-NarasimhanA #approach #optimisation: A Structural SVM Based Approach for Optimizing Partial AUC (HN, SA), pp. 516–524.
ICML-c1-2013-Shin #design #future of #kernel: A New Frontier of Kernel Design for Structured Data (KS), pp. 401–409.
ICML-c3-2013-BalcanBM #learning #ontology: Exploiting Ontology Structures and Unlabeled Data for Learning (NB, AB, YM), pp. 1112–1120.
ICML-c3-2013-ChenC #matrix: Spectral Compressed Sensing via Structured Matrix Completion (YC, YC), pp. 414–422.
ICML-c3-2013-DembczynskiJKWH #approach #classification #multi #optimisation #plugin: Optimizing the F-Measure in Multi-Label Classification: Plug-in Rule Approach versus Structured Loss Minimization (KD, AJ, WK, WW, EH), pp. 1130–1138.
ICML-c3-2013-DuvenaudLGTG #composition #kernel #parametricity: Structure Discovery in Nonparametric Regression through Compositional Kernel Search (DKD, JRL, RBG, JBT, ZG), pp. 1166–1174.
ICML-c3-2013-GensD #learning #network: Learning the Structure of Sum-Product Networks (RG, PMD), pp. 873–880.
ICML-c3-2013-HerlauMS #evolution #modelling #multi #network: Modeling Temporal Evolution and Multiscale Structure in Networks (TH, MM, MNS), pp. 960–968.
ICML-c3-2013-IshtevaPS #order #using: Unfolding Latent Tree Structures using 4th Order Tensors (MI, HP, LS), pp. 316–324.
ICML-c3-2013-JancsaryNR #learning #predict: Learning Convex QP Relaxations for Structured Prediction (JJ, SN, CR), pp. 915–923.
ICML-c3-2013-KoppulaS #detection #learning #process: Learning Spatio-Temporal Structure from RGB-D Videos for Human Activity Detection and Anticipation (HSK, AS), pp. 792–800.
ICML-c3-2013-LondonHTG #predict: Collective Stability in Structured Prediction: Generalization from One Example (BL, BH, BT, LG), pp. 828–836.
ICML-c3-2013-RichardBV #estimation #multi: Intersecting singularities for multi-structured estimation (ER, FRB, JPV), pp. 1157–1165.
ICML-c3-2013-WangNH13a #clustering #learning #multi: Multi-View Clustering and Feature Learning via Structured Sparsity (HW, FN, HH), pp. 352–360.
KDD-2013-BahadoriLX #learning #performance #probability #process: Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDD-2013-KongY #automation #classification #distance #learning: Discriminant malware distance learning on structural information for automated malware classification (DK, GY), pp. 1357–1365.
KDD-2013-TaoLHZCDDDGJKKLLLLOSTWZZ #mining #multi #named: EventCube: multi-dimensional search and mining of structured and text data (FT, KHL, JH, CZ, XC, MD, ND, BD, JG, HJ, RK, AK, QL, YL, CXL, JL, NCO, ANS, RT, CW, DZ, BZ), pp. 1494–1497.
KDIR-KMIS-2013-Mechmache #documentation #towards: Toward a Neural Aggregated Search Model for Semi-structured Documents (FZBM), pp. 91–95.
KEOD-2013-JiC: From Structured Task Instructions to Robot Task Plans (JJ, XC), pp. 237–244.
KEOD-2013-OimK #comprehension #representation: Event Representation in Text Understanding — Transfer of Meaning Structures (HÕ, MK), pp. 367–372.
SEKE-2013-CarvalhoNM #exception #testing: Structural Testing of Exceptions Handling (S) (LAFC, VdON, PCM), pp. 206–209.
SEKE-2013-NevesDMMW #testing: Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
SEKE-2013-TerraBMVSCB #similarity #source code: Measuring the Structural Similarity between Source Code Entities (S) (RT, JB, LFM, MTV, DS, DC, RdSB), pp. 753–758.
SIGIR-2013-Hasibi #query: Indexing and querying overlapping structures (FH), p. 1144.
SIGIR-2013-LuWTZHZ #rank #ranking #scalability: A low rank structural large margin method for cross-modal ranking (XL, FW, ST, ZZ, XH, YZ), pp. 433–442.
SIGIR-2013-MiyanishiS #query: Time-aware structured query suggestion (TM, TS), pp. 809–812.
SIGIR-2013-Moschitti #kernel #learning #rank #semantics: Kernel-based learning to rank with syntactic and semantic structures (AM), p. 1128.
SIGIR-2013-NoroziA: Kinship contextualization: utilizing the preceding and following structural elements (MAN, PA), pp. 837–840.
MoDELS-2013-HamannG #concept #metamodelling #semantics #uml: Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
MoDELS-2013-HamannG #concept #metamodelling #semantics #uml: Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
OOPSLA-2013-NorrisD #c #c++ #concurrent #data type #named: CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
GPCE-2013-KurilovaR #data type #linked data #on the #open data: On the simplicity of synthesizing linked data structure operations (DK, DR), pp. 155–158.
LOPSTR-2013-PoulsenM #composition #generative #semantics: Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
PPDP-2013-StewartBN #data flow #data type #dependent type #policy #semistructured data: Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures (GS, AB, AN), pp. 145–156.
POPL-2013-AbelPTS #infinity #named #pattern matching #programming: Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.
POPL-2013-HenzingerKPSS #concurrent #data type: Quantitative relaxation of concurrent data structures (TAH, CMK, HP, AS, AS), pp. 317–328.
POPL-2013-HoborV #data type: The ramifications of sharing in data structures (AH, JV), pp. 523–536.
POPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging: Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
RE-2013-NistalaK #analysis #approach #consistency #requirements #validation: An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.
REFSQ-2013-FerrariGT #clustering #documentation #natural language #requirements #using: Using Clustering to Improve the Structure of Natural Language Requirements Documents (AF, SG, GT), pp. 34–49.
SAC-OOPS-J-2009-LievensH13 #abstraction #encapsulation #implementation #multi #symmetry: Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.
SAC-2013-GiustoP #adaptation #consistency #runtime: Disciplined structured communications with consistent runtime adaptation (CDG, JAP), pp. 1913–1918.
SAC-2013-WaflerH #analysis #approach #dependence #grid #modelling #smarttech: A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.
SAC-2013-WombacherI #estimation #process: Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
ESEC-FSE-2013-MaozRR #component #modelling #synthesis: Synthesis of component and connector models from crosscutting structural views (SM, JOR, BR), pp. 444–454.
ICSE-2013-SchwankeXC #analysis #architecture #quality: Measuring architecture quality by structure plus history analysis (RWS, LX, YC), pp. 891–900.
ICSE-2013-SmitSSL #development #in the cloud #query: Supporting application development with structured queries in the cloud (MS, BS, MS, ML), pp. 1213–1216.
LDTA-J-2009-LammelTK #fault #programming #source code #traversal: Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
CGO-2013-RenALMPS #data type #parallel: SIMD parallelization of applications that traverse irregular data structures (BR, GA, JRL, TM, TP, WS), p. 10.
PPoPP-2013-XiangS #compilation #concurrent #data type #performance: Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.
SOSP-2013-BalakrishnanMWWPWDRZZ #data type #distributed #named: Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
CAV-2013-0001LMN #data type #invariant #learning #linear #quantifier: Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.
CAV-2013-ItzhakyBINS #data type #effectiveness #linked data #open data #reachability #reasoning: Effectively-Propositional Reasoning about Reachability in Linked Data Structures (SI, AB, NI, AN, MS), pp. 756–772.
CSL-2013-GimenezM #interactive: The Structure of Interaction (SG, GM), pp. 316–331.
CSL-2013-ManuelZ #2d #logic: Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.
CSL-2013-MichaliszynO #logic #transitive: Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.
ICST-2013-NairVSB #assessment #bibliography #classification #perspective #safety: Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.
LICS-2013-HeimbergKS #bound #normalisation: An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.
LICS-2013-Vicary #algorithm #quantum: Topological Structure of Quantum Algorithms (JV), pp. 93–102.
RTA-2013-FujitaS #decidability: Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.
WICSA-ECSA-2012-BaelenC #design #evolution #simulation: Simulating Structural Design Evolution of Software (WB, YC), pp. 258–261.
ASE-2012-ApelLL #performance #precise: Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.
CASE-2012-LeeK #automation #development: Development of semi-automatic painting system for inner hull block structures (DHL, HKK), pp. 833–836.
CASE-2012-LinKH #analysis #functional #modelling: Fitting a functional structural plant model based on global sensitivity analysis (YL, MK, JH), pp. 790–795.
CASE-2012-ShinPKA #analysis #linear: Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.
DAC-2012-ChouHC #design: Structure-aware placement for datapath-intensive circuit designs (SC, MKH, YWC), pp. 762–767.
DAC-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.
DAC-2012-Seshia #deduction #induction #named #synthesis #verification: Sciduction: combining induction, deduction, and structure for verification and synthesis (SAS), pp. 356–365.
DATE-2012-EllenEO #automation #development #embedded #process #safety: Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.
DATE-2012-RayMEBJC: Mapping into LUT structures (SR, AM, NE, RKB, SJ, CC), pp. 1579–1584.
DATE-2012-TsaiLL #analysis #configuration management #design: Design and analysis of via-configurable routing fabrics for structured ASICs (HPT, RBL, LCL), pp. 1479–1482.
DATE-2012-XuYCJW #3d #performance: Efficient variation-aware EM-semiconductor coupled solver for the TSV structures in 3D IC (YX, WY, QC, LJ, NW), pp. 1409–1412.
DocEng-2012-ChuangW #documentation #graph #morphism #xml: Structure-conforming XML document transformation based on graph homomorphism (TRC, HYW), pp. 99–102.
DocEng-2012-Crozat #collaboration #xml: Structured and fragmented content in collaborative XML publishing chains (SC), pp. 145–148.
DocEng-2012-IorioPPV #approach #automation #documentation #recognition #xml: A first approach to the automatic recognition of structural patterns in XML documents (ADI, SP, FP, FV), pp. 85–94.
DocEng-2012-LawTGC #visual notation #web: Structural and visual comparisons for web page archiving (MTL, NT, SG, MC), pp. 117–120.
DocEng-2012-MarinaiQ #game studies: Displaying chemical structural formulae in ePub format (SM, SQ), pp. 125–128.
DocEng-2012-MeixnerK #interactive #video #xml: Interactive non-linear video: definition and XML structure (BM, HK), pp. 49–58.
DRR-2012-SadawiSS #approach #recognition #rule-based: Chemical structure recognition: a rule-based approach (NMS, APS, VS).
HT-2012-CravinoDF #clustering #community #network #using: Using the overlapping community structure of a network of tags to improve text clustering (NC, JLD, ÁF), pp. 239–244.
HT-2012-MatthesNS #folksonomy: Structuring folksonomies with implicit tag relations (FM, CN, AS), pp. 315–316.
SIGMOD-2012-BalminKT #named: Clydesdale: structured data processing on hadoop (AB, TK, ST), pp. 705–708.
SIGMOD-2012-RekatsinasDG #database #probability: Local structure and determinism in probabilistic databases (TR, AD, LG), pp. 373–384.
SIGMOD-2012-SearsR #named: bLSM: a general purpose log structured merge tree (RS, RR), pp. 217–228.
VLDB-2012-DalviMP #analysis #web: An Analysis of Structured Data on the Web (NND, AM, BP), pp. 680–691.
VLDB-2012-GuanYK #correlation #graph: Measuring Two-Event Structural Correlations on Graphs (ZG, XY, LMK), pp. 1400–1411.
VLDB-2012-SilvaMZ #correlation #graph #mining #scalability: Mining Attribute-structure Correlated Patterns in Large Attributed Graphs (AS, WMJ, MJZ), pp. 466–477.
VLDB-2012-VoWACO #database #in the cloud #named #scalability: LogBase: A Scalable Log-structured Database System in the Cloud (HTV, SW, DA, GC, BCO), pp. 1004–1015.
VLDB-2012-ZengJZ #logic #query: Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data (QZ, XJ, HZ), pp. 728–739.
ITiCSE-2012-MorgadoB12a #approach #problem: A structured approach to problem solving in CS1 (CM, FB), p. 399.
ITiCSE-2012-SchaferBBJSFKS #embedded #empirical: The empirically refined competence structure model for embedded micro- and nanosystems (AS, RB, SB, SJ, SES, DF, BK, HS), pp. 57–62.
FoSSaCS-2012-Chatterjee #concurrent #game studies #robust: Robustness of Structurally Equivalent Concurrent Parity Games (KC), pp. 270–285.
FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus: Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
TACAS-2012-SonnexDE #automation #data type #named #proving #recursion: Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
TACAS-2012-ZaeemGKM #data type #satisfiability #using: History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.
CSMR-2012-TerceiroMCC #analysis #complexity #comprehension #evolution: Understanding Structural Complexity Evolution: A Quantitative Analysis (ASdAT, MGM, CC, DSC), pp. 85–94.
ICPC-2012-KazatoHOMHS #feature model #towards: Toward structured location of features (HK, SH, SO, SM, TH, MS), pp. 255–256.
ICSM-2012-BasitAHJ: Things structural clones tell that simple clones don’t (HAB, UA, SH, SJ), pp. 275–284.
ICSM-2012-BauerHD #approach #library: A structured approach to assess third-party library usage (VB, LH, FD), pp. 483–492.
WCRE-2012-AmmarA #diagrams #empirical #evaluation #runtime: Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
WCRE-2012-BernatM #algebra #context-free grammar #editing: Structured Binary Editing with a CFG Transformation Algebra (ARB, BPM), pp. 9–18.
WCRE-2012-ChaparroAOM #automation #database #legacy #towards: Towards the Automatic Extraction of Structural Business Rules from Legacy Databases (OC, JA, FO, AM), pp. 479–488.
WCRE-2012-LavoieKMZ #clone detection #detection #nearest neighbour #repository #using: Inferring Repository File Structure Modifications Using Nearest-Neighbor Clone Detection (TL, FK, EM, YZ), pp. 325–334.
WCRE-2012-OssherSL #bottom-up #named #repository: Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.
PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability: Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
SAS-2012-Midtgaard0M #proving: A Structural Soundness Proof for Shivers’s Escape Technique — A Case for Galois Connections (JM, MDA, MM), pp. 352–369.
STOC-2012-GroheM #graph #morphism #theorem: Structure theorem and isomorphism test for graphs with excluded topological subgraphs (MG, DM), pp. 173–192.
STOC-2012-KuperbergLP #combinator #probability: Probabilistic existence of rigid combinatorial structures (GK, SL, RP), pp. 1091–1106.
FM-2012-DormoyKL #component #configuration management #refinement: When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.
ICFP-2012-OliveiraC #functional #graph #programming: Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.
IFL-2012-DieterleHBL #composition #parallel: Iterating Skeletons — Structured Parallelism by Composition (MD, TH, JB, RL), pp. 18–36.
GRAPHITE-2012-BeckmannFKM #analysis #graph: A structural analysis of the A5/1 state transition graph (AB, JF, JK, UM), pp. 5–19.
ICGT-2012-KonigS #graph transformation: Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
ICGT-2012-Vandin #specification #verification: Specification and Verification of Modal Properties for Structured Systems (AV), pp. 423–425.
CHI-2012-ButlerIHMHK: Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.
CHI-2012-CataldoE #communication #development: The impact of communication structure on new product development outcomes (MC, KE), pp. 3081–3090.
CHI-2012-HoarauC #interactive #visual notation: Augmenting the scope of interactions with implicit and explicit graphical structures (RH, SC), pp. 1937–1946.
CHI-2012-MetoyerLRC #comprehension #visualisation: Understanding the verbal language and structure of end-user descriptions of data visualizations (RAM, BL, NHR, MC), pp. 1659–1662.
CSCW-2012-Nagar #community #online #process #what: What do you think?: the structuring of an online community as a collective-sensemaking process (YN), pp. 393–402.
CSCW-2012-SuzukiKUII #collaboration #multi: Analyzing the structure of the emergent division of labor in multiparty collaboration (NS, TK, IU, SI, SI), pp. 1233–1236.
ICEIS-v1-2012-LouatiBDS #behaviour #database #modelling #realtime: Modeling Structural, Temporal and Behavioral Features of a Real-Time Database (NL, RB, CD, BS), pp. 119–125.
ICEIS-v2-2012-ChenFZ #3d #graph #visualisation #web: Exploring Structural Properties of Web Graphs through 3D Visualization (ZC, AF, KZ), pp. 233–238.
CIKM-2012-BohmKN #topic: Latent topics in graph-structured data (CB, GK, FN), pp. 2663–2666.
CIKM-2012-GollapudiIK #query: Structured query reformulations in commerce search (SG, SI, AK), pp. 1890–1894.
CIKM-2012-HanFJ #query: Schema-free structured querying of DBpedia data (LH, TF, AJ), pp. 2090–2093.
CIKM-2012-HasanMTK #query: Diversifying query results on semi-structured data (MH, AM, VJT, EJK), pp. 2099–2103.
CIKM-2012-KummamuruJD #generative #navigation: Generating facets for phone-based navigation of structured data (KK, AJ, MD), pp. 1283–1292.
CIKM-2012-NoroziAV #documentation #using #wiki: Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents (MAN, PA, APdV), pp. 734–743.
CIKM-2012-Vitter #data type: Compressed data structures with relevance (JSV), pp. 4–5.
CIKM-2012-WangYL #social: From face-to-face gathering to social structure (CW, MY, WCL), pp. 465–474.
CIKM-2012-WeiFLC #canonical #dependence #using: Model the complex dependence structures of financial variables by using canonical vine (WW, XF, JL, LC), pp. 1382–1391.
ECIR-2012-EskevichMJ #evaluation #metric #retrieval #speech: New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval (ME, WM, GJFJ), pp. 170–181.
ECIR-2012-KimC #documentation #retrieval: A Field Relevance Model for Structured Document Retrieval (JK, WBC), pp. 97–108.
ICML-2012-BronsteinSS #learning #modelling #performance: Learning Efficient Structured Sparse Models (AMB, PS, GS), p. 33.
ICML-2012-DoppaFT #predict: Output Space Search for Structured Prediction (JRD, AF, PT), p. 107.
ICML-2012-GongZM #learning #multi #robust: Robust Multiple Manifold Structure Learning (DG, XZ, GGM), p. 7.
ICML-2012-JawanpuriaN #learning: A Convex Feature Learning Formulation for Latent Task Structure Discovery (PJ, JSN), p. 199.
ICML-2012-KoS #modelling #scalability: Large Scale Variational Bayesian Inference for Structured Scale Mixture Models (YJK, MWS), p. 229.
ICML-2012-LouH #learning: Structured Learning from Partial Annotations (XL, FAH), p. 52.
ICML-2012-OuyangG #probability: Stochastic Smoothing for Nonsmooth Minimizations: Accelerating SGD by Exploiting Structure (HO, AGG), p. 198.
ICML-2012-PassosRWD #flexibility #learning #modelling #multi: Flexible Modeling of Latent Task Structures in Multitask Learning (AP, PR, JW, HDI), p. 167.
ICML-2012-PeharzP #learning #network: Exact Maximum Margin Structure Learning of Bayesian Networks (RP, FP), p. 102.
ICML-2012-SalazarC #category theory #relational: Inferring Latent Structure From Mixed Real and Categorical Relational Data (ES, LC), p. 219.
ICML-2012-SamdaniR #learning #performance #predict: Efficient Decomposed Learning for Structured Prediction (RS, DR), p. 200.
ICML-2012-SchwingHPU #modelling #performance #predict #visual notation: Efficient Structured Prediction with Latent Variables for General Graphical Models (AGS, TH, MP, RU), p. 216.
ICML-2012-ShivaswamyJ #learning #online #predict: Online Structured Prediction via Coactive Learning (PS, TJ), p. 12.
ICML-2012-YackleyL #learning: Smoothness and Structure Learning by Proxy (BY, TL), p. 57.
ICPR-2012-BaiZX #detection #linear #multi: Multi scale multi structuring element top-hat transform for linear feature detection (XB, FZ, BX), pp. 1920–1923.
ICPR-2012-BoumaizaT #recognition: Impact of a codebook filtering step on a galois lattice structure for graphics recognition (AB, ST), pp. 278–281.
ICPR-2012-CantoniOFP #analysis: Structural analysis of protein Secondary Structure by GHT (VC, OO, AF, AP), pp. 1767–1770.
ICPR-2012-ChenH0N #classification #documentation: Structured document classification by matching local salient features (SC, YH, JS, SN), pp. 653–656.
ICPR-2012-DecrouezDGC: Extracting planar structures efficiently with revisited BetaSAC (MD, RD, FG, JLC), pp. 2100–2103.
ICPR-2012-FiaschiKNH #learning: Learning to count with regression forest and structured labels (LF, UK, RN, FAH), pp. 2685–2688.
ICPR-2012-Gao #what: What entropy tells about man-made structures (JG), pp. 250–253.
ICPR-2012-HidoK #graph #learning #similarity: Hash-based structural similarity for semi-supervised Learning on attribute graphs (SH, HK), pp. 3009–3012.
ICPR-2012-KataokaSM #detection #using: Region of Interest detection using indoor structure and saliency map (KK, KS, MM), pp. 3329–3332.
ICPR-2012-KumarYD #classification #documentation #learning #retrieval: Learning document structure for retrieval and classification (JK, PY, DSD), pp. 1558–1561.
ICPR-2012-LuuSBS #adaptation #analysis #multi: Compressed Submanifold Multifactor Analysis with adaptive factor structures (KL, MS, TDB, CYS), pp. 2715–2718.
ICPR-2012-OuYCPGJ #image #representation: Structured sparse coding for image representation based on L1-graph (WO, XY, YmC, QP, MG, XJ), pp. 3220–3223.
ICPR-2012-RenLWG #image: Image super-resolution by structural sparse coding (JR, JL, MW, ZG), pp. 1936–1939.
ICPR-2012-SinghA #estimation: Exploiting ramp structures for improving optical flow estimation (AS, NA), pp. 2504–2507.
ICPR-2012-SuryantoJF #3d #image #multi #similarity #visualisation: Protein structure similarity based on multi-view images generated from 3D molecular visualization (CHS, SJ, KF), pp. 3447–3451.
ICPR-2012-TabernikKBL #learning #low level #statistics #visual notation: Learning statistically relevant edge structure improves low-level visual descriptors (DT, MK, MB, AL), pp. 1471–1474.
ICPR-2012-TanLZ #dataset: The dataset system of Economic Dispute handwritten (DSEDH) based on stroke shape and structure features (JT, JHL, XXZ), pp. 661–664.
ICPR-2012-ThakoorB #classification #video: Structural signatures for passenger vehicle classification in video (NT, BB), pp. 926–929.
ICPR-2012-XuTH #categorisation #representation #video #web: A structure-based video representation for web video categorization (PX, DMJT, AH), pp. 433–436.
ICPR-2012-YanKMW #automation #game studies #learning: Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.
ICPR-2012-YuL #3d #refinement: Genus refinement of a manifold surface reconstructed by sculpting the 3d-Delaunay triangulation of Structure-from-Motion points (SY, ML), pp. 1021–1025.
KDD-2012-AbrahaoSHK #community #on the: On the separability of structural classes of communities (BDA, SS, JEH, RK), pp. 624–632.
KDD-2012-HendersonGETBAKFL #graph #mining #named #scalability: RolX: structural role extraction & mining in large graphs (KH, BG, TER, HT, SB, LA, DK, CF, LL), pp. 1231–1239.
KDD-2012-HiraiY #clustering #detection #normalisation #using: Detecting changes of clustering structures using normalized maximum likelihood coding (SH, KY), pp. 343–351.
KDD-2012-SeelandKK #clustering #graph #kernel #learning: A structural cluster kernel for learning on graphs (MS, AK, SK), pp. 516–524.
KDIR-2012-Delmonte #dependence #information management #null: Predicate Argument Structures for Information Extraction from Dependency Representations — Null Elements are Missing (RD), pp. 463–474.
KDIR-2012-FontanLAP #automation #data type #web: Automatically Extracting Complex Data Structures from the Web (LF, RLG, MÁ, AP), pp. 246–251.
KDIR-2012-Machado #analysis #image #retrieval: Factor Analysis and the Retrieval of Medical Images Depicting Structures with Similar Shapes (AMCM), pp. 175–180.
KDIR-2012-MonizR #documentation: Extracting Structure, Text and Entities from PDF Documents of the Portuguese Legislation (NM, FR), pp. 123–131.
KDIR-2012-NguyenC #automation #ontology #similarity: A New Structure-based Similarity Measure for Automatic Ontology Matching (TTAN, SC), pp. 443–449.
KDIR-2012-WenerstromK #multi #summary: Search Result Summaries Improved by Structure and Multimedia (BW, MK), pp. 181–186.
KMIS-2012-VanharantaK #ontology: Strategy Needs Structure — Structure Needs Ontologies — Dynamic Ontologies Carry Meanings (HV, JK), pp. 261–264.
KR-2012-BudanLCS #framework #modelling #reliability: Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
MLDM-2012-BouhamedMLR #heuristic #learning #network: A New Learning Structure Heuristic of Bayesian Networks from Data (HB, AM, TL, AR), pp. 183–197.
MLDM-2012-Kovacs #distance #reduction: Reduction of Distance Computations in Selection of Pivot Elements for Balanced GHT Structure (LK), pp. 50–62.
RecSys-2012-DeDGM #difference #learning #using: Local learning of item dissimilarity using content and link structure (AD, MSD, NG, PM), pp. 221–224.
SEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread: Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SIGIR-2012-HeS #documentation #optimisation #version control: Optimizing positional index structures for versioned document collections (JH, TS), pp. 245–254.
SIGIR-2012-SeverynM #learning #ranking #scalability: Structural relationships for large-scale learning of answer re-ranking (AS, AM), pp. 741–750.
SIGIR-2012-SinghPR #approach #thread: Retrieving similar discussion forum threads: a structure based approach (AS, DP, DR), pp. 135–144.
SIGIR-2012-TononDC #ad hoc #retrieval: Combining inverted indices and structured search for ad-hoc object retrieval (AT, GD, PCM), pp. 125–134.
SIGIR-2012-ZhangZC #documentation #effectiveness #interactive: Summarizing highly structured documents for effective search interaction (LZ, YZ, YC), pp. 145–154.
MoDELS-2012-HamannHG #behaviour #modelling #ocl #on the: On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
MoDELS-2012-HamannHG #behaviour #modelling #ocl #on the: On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
ECOOP-2012-Wrigstad #alias: Structured Aliasing (TW), p. 232.
ECOOP-2012-XuYR #data type #detection #invariant #static analysis: Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
Onward-2012-Gabriel #programming language: The structure of a programming language revolution (RPG), pp. 195–214.
OOPSLA-2012-Xu #data type #reuse: Finding reusable data structures (G(X), pp. 1017–1034.
GPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse: An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.
PADL-2012-HaveC #performance #program transformation #using: Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPL-2012-MadhusudanQS #induction #proving #recursion: Recursive proofs for inductive tree data-structures (PM, XQ, AS), pp. 123–136.
SAC-2012-ArpiniA #behaviour #enterprise #modelling #on the: On the support for the assignment of active structure and behavior in enterprise modeling approaches (RHA, JPAA), pp. 1686–1693.
SAC-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.
SAC-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.
SAC-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.
ICSE-2012-Bavota #refactoring #semantics #using: Using structural and semantic information to support software refactoring (GB), pp. 1479–1482.
ICSE-2012-Zanetti #co-evolution #community #development #lessons learnt #open source: The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities (MSZ), pp. 1587–1590.
ASPLOS-2012-CheritonFSSA #architecture #data access #named #performance: HICAMP: architectural support for efficient concurrency-safe shared structured data access (DRC, AF, AS, JPS, OA), pp. 287–300.
ISMM-2012-Nasre #analysis #constraints #graph #performance #points-to: Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
PPoPP-2012-KoganP #data type #performance: A methodology for creating fast wait-free data structures (AK, EP), pp. 141–150.
CSL-2012-KaiserL #logic: A Counting Logic for Structure Transition Systems (LK, SL), pp. 366–380.
ICLP-J-2012-ZhouH #performance: Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.
ICST-2012-Li #automation #testing: A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
ICTSS-2012-GargantiniGM #robust #test coverage: Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.
LICS-2012-EngelmannKS #first-order #higher-order #model checking #monad: First-Order and Monadic Second-Order Model-Checking on Ordered Structures (VE, SK, SS), pp. 275–284.
SAT-2012-AnsoteguiGL #community #satisfiability: The Community Structure of SAT Formulas (CA, JGC, JL), pp. 410–423.
TAP-2012-KosmatovW #automation #testing #tutorial: Tutorial on Automated Structural Testing with PathCrawler — (Extended Abstract) (NK, NW), p. 176.
TAP-2012-KosmatovWBRC #testing: A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.
TAP-2012-LeonHL #consistency: Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.
TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using: Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
VMCAI-2012-ZuffereyWH #abstraction: Ideal Abstractions for Well-Structured Transition Systems (DZ, TW, TAH), pp. 445–460.
ASE-2011-BacchelliCLM #documentation #natural language #semiparsing: Extracting structured data from natural language documents with island parsing (AB, AC, ML, AM), pp. 476–479.
CASE-2011-MohanSBKE #3d #image #using: 3D scanning of object surfaces using structured light and a single camera image (SM, KBS, IB, VK, RDE), pp. 151–156.
DATE-2011-KernST #automation #concept #data type #embedded #migration: An automated data structure migration concept — From CAN to Ethernet/IP in automotive embedded systems (CANoverIP) (AK, TS, JT), pp. 112–117.
DATE-2011-SreedharK #design #identification #on the #process: On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATE-2011-StranoGLFGB #architecture #scalability #self: Exploiting Network-on-Chip structural redundancy for a cooperative and scalable built-in self-test architecture (AS, CGR, DL, MF, MEG, DB), pp. 661–666.
DATE-2011-XuDJX #design: Design implications of memristor-based RRAM cross-point structures (CX, XD, NPJ, YX), pp. 734–739.
DATE-2011-ZhangHCW #grid #network #power management #reduction: A block-diagonal structured model reduction scheme for power grid networks (ZZ, XH, CKC, NW), pp. 44–49.
HT-2011-GomezKK #evolution #modelling: Modeling the structure and evolution of discussion cascades (VG, HJK, AK), pp. 181–190.
HT-2011-JonesA #tool support: Many views, many modes, many tools & one structure (WJ, KMA), pp. 113–122.
HT-2011-LiuM: Extracting the mesoscopic structure from heterogeneous systems (XL, TM), pp. 211–220.
HT-2011-PetersenW #hypermedia: Hypertext structures for investigative teams (RRP, UKW), pp. 123–132.
HT-2011-TakahashiOYIOT #analysis #using #wiki: Evaluating significance of historical entities based on tempo-spatial impacts analysis using Wikipedia link structure (YT, HO, MY, HI, SO, KT), pp. 83–92.
ICDAR-2011-AbediF #analysis #documentation #image #locality #string #using: Localization of Digit Strings in Farsi/Arabic Document Images Using Structural Features and Syntactical Analysis (AA, KF), pp. 728–733.
ICDAR-2011-DoucetKM #contest: ICDAR 2011 Book Structure Extraction Competition (AD, GK, JLM), pp. 1501–1505.
ICDAR-2011-FangGBQTT #detection #documentation #multi #visual notation: A Table Detection Method for Multipage PDF Documents via Visual Seperators and Tabular Structures (JF, LG, KB, RQ, XT, ZT), pp. 779–783.
ICDAR-2011-HebertPN #multi: Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper (DH, TP, SN), pp. 493–497.
ICDAR-2011-LiuZLL #clustering #image #locality: A Chinese Character Localization Method Based on Intergrating Structure and CC-Clustering for Advertising Images (JL, SZ, HL, WL), pp. 1044–1048.
ICDAR-2011-MalleronE #analysis #approach #documentation: A Mixed Approach for Handwritten Documents Structural Analysis (VM, VE), pp. 269–273.
ICDAR-2011-Santos #automation #documentation: Automatic Content Extraction on Semi-structured Documents (JEBDS), pp. 1235–1239.
ICDAR-2011-XuDPL #grid #independence #recognition: An Improved Method Based on Weighted Grid Micro-structure Feature for Text-Independent Writer Recognition (LX, XD, LP, XL), pp. 638–642.
SIGMOD-2011-BunemanCLM #collaboration #data transformation #named #wiki: DBWiki: a structured wiki for curated data and collaborative data management (PB, JC, SL, HM), pp. 1335–1338.
SIGMOD-2011-CortezOSML #information management: Joint unsupervised structure discovery and information extraction (EC, DO, ASdS, ESdM, AHFL), pp. 541–552.
SIGMOD-2011-GuanWZSY #correlation #graph #ranking: Assessing and ranking structural correlations in graphs (ZG, JW, QZ, AKS, XY), pp. 937–948.
SIGMOD-2011-PoundPT #approach #mining #web: Facet discovery for structured web search: a query-log mining approach (JP, SP, PT), pp. 169–180.
SIGMOD-2011-SadoghiJ #named: BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
SIGMOD-2011-SchaikM #data type #memory management #performance #reachability: A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
VLDB-2011-BudakAA #analysis #network #online #social: Structural Trend Analysis for Online Social Networks (CB, DA, AEA), pp. 646–656.
VLDB-2011-CohenCD #flexibility #summary: Structure-Aware Sampling: Flexible and Accurate Summarization (EC, GC, NGD), pp. 819–830.
VLDB-2011-KarwaRSY #analysis #graph: Private Analysis of Graph Structure (VK, SR, AS, GY), pp. 1146–1157.
VLDB-2011-ZhuQLYHY #mining #network #scalability: Mining Top-K Large Structural Patterns in a Massive Network (FZ, QQ, DL, XY, JH, PSY), pp. 807–818.
CSEET-2011-CaiIW #design #education #matrix: Leveraging design structure matrices in software design education (YC, DI, SW), pp. 179–188.
CSEET-2011-Jazayeri #education #re-engineering #summary #tutorial: Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.
ITiCSE-2011-HubwieserM #object-oriented #programming: Investigating cognitive structures of object oriented programming (PH, AM), p. 377.
ITiCSE-2011-SchaferBJSFKS #development #embedded: A normative competence structure model for embedded micro- and nanosystems development (AS, RB, SJ, SES, DF, BK, HS), p. 375.
FoSSaCS-2011-BonnetFHR: Ordinal Theory for Expressiveness of Well Structured Transition Systems (RB, AF, SH, FRV), pp. 153–167.
FoSSaCS-2011-Panangaden #quantum: The Search for Structure in Quantum Computation (PP), pp. 1–11.
TACAS-2011-GarbervetskyGN #invariant #using: Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
ICSM-2011-BrunetGF #consistency #design #evaluation #testing #usability: Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.
WCRE-2011-SajnaniNL #architecture #towards: Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.
PEPM-J-2007-CunhaV11 #query #source code #xpath: Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.
PLDI-2011-JungRRCP #data type #effectiveness #named: Brainy: effective selection of data structures (CJ, SR, BPR, NC, SP), pp. 86–97.
PLDI-2011-KimR #commutative #data type #linked data #open data #semantics #verification: Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.
PLDI-2011-ZengWL #concurrent #data type #monitoring #named #using: Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.
DLT-J-2010-RahulGR11 #category theory #data type: Data Structures for Range-Aggregation over Categories (SR, PG, KSR), pp. 1707–1728.
CIAA-2011-FelscherT #composition #detection: Compositional Failure Detection in Structured Transition Systems (IF, WT), pp. 130–141.
CIAA-2011-PajicPP #approach #finite #information management #transducer: Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.
ICALP-v1-2011-FeldmanNS #algorithm: Nonmonotone Submodular Maximization via a Structural Continuous Greedy Algorithm — (Extended Abstract) (MF, JN, RS), pp. 342–353.
LATA-2011-Hadravova #morphism: The Block Structure of Successor Morphisms (JH), pp. 298–309.
LATA-2011-Khoussainov #automation: Automatic Structures and Groups (BK), pp. 22–40.
LATA-2011-PerrotR: Avalanche Structure in the Kadanoff Sand Pile Model (KP, ER), pp. 427–439.
FM-2011-GherghinaDQC #source code #specification #verification: Structured Specifications for Better Verification of Heap-Manipulating Programs (CG, CD, SQ, WNC), pp. 386–401.
CHI-2011-BakkeKM #user interface: A spreadsheet-based user interface for managing plural relationships in structured data (EB, DRK, RM), pp. 2541–2550.
CHI-2011-BillmanAFLST: Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.
CHI-2011-DenefKO #independence #monitoring: Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.
CHI-2011-DijkstraPV #flexibility #performance: Evaluating effects of structural holds on pointing and dragging performance with flexible displays (RD, CP, RV), pp. 1293–1302.
CHI-2011-DixonLF #interface #reverse engineering: Content and hierarchy in pixel-based methods for reverse engineering interface structure (MD, DL, JF), pp. 969–978.
CHI-2011-Kivran-SwaineGN #network #online #social #twitter: The impact of network structure on breaking ties in online social networks: unfollowing on twitter (FKS, PG, MN), pp. 1101–1104.
CHI-2011-WillettHHA #analysis #collaboration #named #visual notation: CommentSpace: structured support for collaborative visual analysis (WW, JH, JMH, MA), pp. 3131–3140.
DUXU-v1-2011-Davis #image #precise: Precise Mishandling of the Digital Image Structure (TD), pp. 211–220.
HCD-2011-TominagaDYMT #interactive: Structure of FUN Factors in the Interaction with Products (ST, TD, TY, YM, MT), pp. 138–143.
HCI-DDA-2011-KaelberM #analysis: From Structural Analysis to Scenarios and Patterns for Knowledge Sharing Applications (CK, CM), pp. 258–267.
HCI-ITE-2011-AbushamB #graph #recognition #using: Face Recognition Using Local Graph Structure (LGS) (EEAA, HKB), pp. 169–175.
VISSOFT-2011-ReniersVT #dependence #metric #visual notation: Visual exploration of program structure, dependencies and metrics with SolidSX (DR, LV, ACT), pp. 1–4.
CAiSE-2011-MoosaviLLP #collaboration #named: ONTECTAS: Bridging the Gap between Collaborative Tagging Systems and Structured Data (AM, TL, LVSL, RP), pp. 436–451.
ICEIS-v1-2011-ChagheriCRD #classification #documentation: Document Classification — Combining Structure and Content (SC, SC, CR, CD), pp. 95–100.
ICEIS-v1-2011-MessaoudFKZ #documentation #unification #xml: Unification of XML Document Structures for Document Warehouse (DocW) (IBM, JF, KK, GZ), pp. 85–94.
CIKM-2011-BelloginWC #collaboration: Structured collaborative filtering (AB, JW, PC), pp. 2257–2260.
CIKM-2011-BicerTN #keyword #modelling #ranking #using: Ranking support for keyword search on structured data using relevance models (VB, TT, RN), pp. 1669–1678.
CIKM-2011-ChengKGSH #automation #generative: Automated feature generation from structured knowledge (WC, GK, TG, DHS, RH), pp. 1395–1404.
CIKM-2011-CleuziouBLD #automation #framework #semantics: A pretopological framework for the automatic construction of lexical-semantic structures from texts (GC, DB, VL, GD), pp. 2453–2456.
CIKM-2011-DhillonSS #information management #learning #modelling #multi #predict #web: Semi-supervised multi-task learning of structured prediction models for web information extraction (PSD, SS, SKS), pp. 957–966.
CIKM-2011-GaoDG #predict: Temporal link prediction by integrating content and structure information (SG, LD, PG), pp. 1169–1174.
CIKM-2011-Garza #classification #matrix: Structured data classification by means of matrix factorization (PG), pp. 2165–2168.
CIKM-2011-GhionnaGS #hybrid #named #sql: H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
CIKM-2011-GollapudiINP #performance #query #web: Efficient query rewrite for structured web queries (SG, SI, AN, SP), pp. 2417–2420.
CIKM-2011-GuYLHJLC: Extract knowledge from semi-structured websites for search task simplification (YG, JY, HL, JH, LJ, NL, ZC), pp. 1883–1888.
CIKM-2011-HeerschopGHFKJ #analysis #using: Polarity analysis of texts using discourse structure (BH, FG, AH, FF, UK, FdJ), pp. 1061–1070.
CIKM-2011-KiselevaAB #case study #mining #query: Mining query structure from click data: a case study of product queries (JK, EA, DB), pp. 2217–2220.
CIKM-2011-LadwigT #algorithm #database #keyword: Index structures and top-k join algorithms for native keyword search databases (GL, TT), pp. 1505–1514.
CIKM-2011-LeitaoC #detection #optimisation: Duplicate detection through structure optimization (LL, PC), pp. 443–452.
CIKM-2011-LiangXL: Adding structure to top-k: from items to expansions (XL, MX, LVSL), pp. 1699–1708.
CIKM-2011-OttavianoG: Semi-indexing semi-structured data in tiny space (GO, RG), pp. 1485–1494.
CIKM-2011-QuC #probability: Sparse structured probabilistic projections for factorized latent spaces (XQ, XC), pp. 1389–1394.
CIKM-2011-RamanJS #learning #ranking: Structured learning of two-level dynamic rankings (KR, TJ, PS), pp. 291–296.
CIKM-2011-Stamatatos #detection: Plagiarism detection based on structural information (ES), pp. 1221–1230.
CIKM-2011-YinHD #analysis #microblog #predict: Structural link analysis and prediction in microblogs (DY, LH, BDD), pp. 1163–1168.
ECIR-2011-AktolgaAS #ranking #using: Passage Reranking for Question Answering Using Syntactic Structures and Answer Types (EA, JA, DAS), pp. 617–628.
ECIR-2011-DuanZ #concurrent #modelling #retrieval #thread: Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
ECIR-2011-ItakuraCGTH #topic #wiki: Topical and Structural Linkage in Wikipedia (KYI, CLAC, SG, AT, WCH), pp. 460–465.
ECIR-2011-TackstromM #fine-grained #modelling #predict #sentiment: Discovering Fine-Grained Sentiment with Latent Variable Structured Prediction Models (OT, RTM), pp. 368–374.
ICML-2011-BiK #classification #multi: MultiLabel Classification on Tree- and DAG-Structured Hierarchies (WB, JTK), pp. 17–24.
ICML-2011-ChakrabortyS #learning: Structure Learning in Ergodic Factored MDPs without Knowledge of the Transition Function’s In-Degree (DC, PS), pp. 737–744.
ICML-2011-JegelkaB #combinator #online: Online Submodular Minimization for Combinatorial Structures (SJ, JAB), pp. 345–352.
ICML-2011-ZhangDC #infinity: Tree-Structured Infinite Sparse Factor Model (XZ, DBD, LC), pp. 785–792.
KDD-2011-ChenZY #learning #multi #rank #robust: Integrating low-rank and group-sparse structures for robust multi-task learning (JC, JZ, JY), pp. 42–50.
KDD-2011-HendersonGLAETF #graph #mining #recursion #using: It’s who you know: graph mining using recursive structural features (KH, BG, LL, LA, TER, HT, CF), pp. 663–671.
KDD-2011-KannanGAF #specification: Matching unstructured product offers to structured product specifications (AK, IEG, RA, AF), pp. 404–412.
KDIR-2011-CostantiniFP #analysis #framework #natural language #representation: A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis (SC, NF, AP), pp. 282–287.
KDIR-2011-CostaRO #approach #classification #transaction #xml: A Transactional Approach to Associative XML Classification by Content and Structure (GC, RO, ER), pp. 104–113.
KDIR-2011-DAcuntoBDLPPS #3d #mining #re-engineering: Inferential Mining for Reconstruction of 3D Cell Structures in Atomic Force Microscopy Imaging (MD, SB, SD, ML, MP, AP, OS), pp. 348–353.
KDIR-2011-FilhoRM #learning #named #rank: XHITS: Learning to Rank in a Hyperlinked Structure (FBF, RPR, RLM), pp. 385–389.
KEOD-2011-HotzR: Thoughts about Structuralization, Specialization, Instantiation, and Metaization (LH, SvR), pp. 457–460.
KEOD-2011-IshakLA #approach #learning #modelling #ontology #probability #visual notation: A Two-way Approach for Probabilistic Graphical Models Structure Learning and Ontology Enrichment (MBI, PL, NBA), pp. 189–194.
KEOD-2011-KohnMSL #complexity #ontology: Use of Existing Ontologies as Input for Structural Complexity Management — Reducing the Effort for Analysing and Improving Engineering Systems (AK, MM, HXS, UL), pp. 195–201.
KEOD-2011-Rios-AlvaradoLS #taxonomy #using #web: Structuring Taxonomies by using Linguistic Patterns and WordNet on Web Search (ABRA, ILA, VSS), pp. 273–278.
KEOD-2011-TakeuchiTMMS #ambiguity #evaluation: Verb Sense Disambiguation based on Thesaurus of Predicate-argument Structure — An Evaluation of Thesaurus of Predicate-argument Structure for Japanese Verbs (KT, ST, MM, YM, KS), pp. 208–213.
KEOD-2011-Yamasaki #distributed: Sequential Knowledge Structure in Distributed System with Awareness (SY), pp. 293–298.
KMIS-2011-AouichaFTH #automation #query: Structure-based Interrogation and Automatic Query Reformulation (MBA, IKF, MT, ABH), pp. 123–128.
SEKE-2011-BoorjessonF #case study #multi #re-engineering: Structuring Software Engineering Case Studies to Cover Multiple Perspectives (EB, RF), pp. 276–281.
SEKE-2011-LiJ #classification #ontology: An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing (GL, ZJ), pp. 521–526.
SIGIR-2011-BroschartS #hybrid #novel #performance #retrieval: A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
SIGIR-2011-HaoCPZ #web: From one tree to a forest: a unified solution for structured web data extraction (QH, RC, YP, LZ), pp. 775–784.
SIGIR-2011-JethavaCBBD #identification #multi #scalability #using: Scalable multi-dimensional user intent identification using tree structured distributions (VJ, LCB, RABY, CB, DPD), pp. 395–404.
SIGIR-2011-WangWZH #learning #online #random: Learning online discussion structures by conditional random fields (HW, CW, CZ, JH), pp. 435–444.
SIGIR-2011-ZhangZX #documentation #feedback: Filtering semi-structured documents based on faceted feedback (LZ, YZ, QX), pp. 645–654.
BX-2011-Hidaka #bidirectional #graph transformation #recursion: Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
MoDELS-2011-ClavreulMBF #architecture #behaviour #modelling: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MoDELS-2011-JensenCGN #behaviour #detection: A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
MoDELS-2011-ZaparanuksH #modelling: Vision Paper: The Essence of Structural Models (DZ, MH), pp. 470–479.
MoDELS-2011-ClavreulMBF #architecture #behaviour #modelling: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MoDELS-2011-JensenCGN #behaviour #detection: A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
MoDELS-2011-ZaparanuksH #modelling: Vision Paper: The Essence of Structural Models (DZ, MH), pp. 470–479.
ECOOP-2011-Duala-EkokoR #api #recommendation #using: Using Structure-Based Recommendations to Facilitate Discoverability in APIs (EDE, MPR), pp. 79–104.
OOPSLA-2011-JoK #locality #recursion #traversal: Enhancing locality for recursive traversals of recursive structures (YJ, MK), pp. 463–482.
POPL-2011-MadhusudanPQ #decidability #logic: Decidable logics combining heap structures and data (PM, GP, XQ), pp. 611–622.
RE-2011-BrillK #elicitation #requirements: Structured and unobtrusive observation of anonymous users and their context for requirements elicitation (OB, EK), pp. 175–184.
RE-2011-MarczakD #collaboration #communication #how #interactive: How interaction between roles shapes the communication structure in requirements-driven collaboration (SM, DD), pp. 47–56.
RE-2011-RaufAC #documentation #logic #requirements: Logical structure extraction from software requirements documents (RR, MA, KC), pp. 101–110.
SAC-2011-ChamorroDA #predict: Evolutionary computation for the prediction of secondary protein structures (AEMC, FD, JSAR), pp. 1082–1087.
SAC-2011-CoutoVFGM #adaptation #aspect-oriented #design pattern: Structuring adaptive replicated systems with design patterns and aspects (RRC, RPV, UFJ, LAFG, DMM), pp. 1361–1362.
SAC-2011-Jamil #graph #query #unification #using: Computing subgraph isomorphic queries using structural unification and minimum graph structures (HMJ), pp. 1053–1058.
SAC-2011-KimPHC #adaptation #network #peer-to-peer: Adaptive link recovery scheme for structured peer-to-peer networks under churn (SK, GP, JH, YC), pp. 611–615.
SAC-2011-MakanjuZM #retrieval #using: Storage and retrieval of system log events using a structured schema based on message type transformation (AM, ANZH, EEM), pp. 528–533.
SAC-2011-TranCS #permutation #predict: Prediction of permuted super-secondary structures in β-barrel proteins (VDT, PC, JMS), pp. 110–111.
ESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing: Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using: Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
ESEC-FSE-2011-SinghS #data type: Synthesizing data structure manipulations from storyboards (RS, ASL), pp. 289–299.
ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards: Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing: Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSE-2011-XiaoZZ #analysis #data type: Tracking data structures for postmortem analysis (XX, JZ, CZ), pp. 896–899.
LCTES-2011-SahaLM #approach #kernel #linux: An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
PPoPP-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.
CADE-2011-BohmeM #automation #challenge #data type #proving: Heaps and Data Structures: A Challenge for Automated Provers (SB, MM), pp. 177–191.
CADE-2011-WiesMK #data type #imperative #performance: An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
CAV-2011-DudkaPV #data type #logic #named #using: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
CAV-2011-LeeYP #data type #program analysis: Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
CSL-2011-ChaudhuriGS #calculus: The Focused Calculus of Structures (KC, NG, LS), pp. 159–173.
CSL-2011-JeffreyR #streaming: The Lax Braided Structure of Streaming I/O (AJ, JR), pp. 292–306.
ICLP-J-2011-Porto #composition #prolog #semantics: A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.
ICST-2011-HeamN #data type #generative #named #random #recursion #testing: Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ICST-2011-MalikSK #constraints #data type #debugging #using: Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
LICS-2011-Krokhin #complexity #first-order: The Complexity of Evaluating First-Order Sentences over a Fixed Structure (AAK), p. 331.
SAT-2011-SilverthornM #learning #satisfiability: Learning Polarity from Structure in SAT (BS, RM), pp. 377–378.
TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
CASE-2010-AshrafTANBT #analysis #array: Structural and microfluidic analysis of MEMS based out-of-plane hollow silicon microneedle array for drug delivery (MWA, ST, NA, AN, ELB, AT), pp. 258–262.
CASE-2010-DjuricSE #configuration management #generative: Global Kinematic Model generation for n-DOF reconfigurable machinery structure (AMD, RAS, WE), pp. 804–809.
DAC-2010-JindalAHLNW #detection #logic: Detecting tangled logic structures in VLSI netlists (TJ, CJA, JH, ZL, GJN, CBW), pp. 603–608.
DAC-2010-KaoCTC #detection #performance: An efficient phase detector connection structure for the skew synchronization system (YCK, HMC, KTT, SCC), pp. 729–734.
DATE-2010-ChenLTL #design #power management #standard: Power gating design for standard-cell-like structured ASICs (SYC, RBL, HHT, KWL), pp. 514–519.
DATE-2010-LiSC #logic #manycore: Exploiting local logic structures to optimize multi-core SoC floorplanning (CHL, SS, LPC), pp. 1291–1296.
DATE-2010-PanHL #fault #named: IVF: Characterizing the vulnerability of microprocessor structures to intermittent faults (SP, YH, XL), pp. 238–243.
DATE-2010-RavinagarajanDR #health #monitoring #scheduling: DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring (AR, DD, TSR), pp. 1518–1523.
DATE-2010-WieckowskiSBCIPA #analysis #black box: A black box method for stability analysis of arbitrary SRAM cell structures (MW, DS, DB, VC, SI, CP, RCA), pp. 795–800.
DocEng-2010-DubucB #clustering #social #social media #topic: Structure-aware topic clustering in social media (JD, SB), pp. 247–250.
DocEng-2010-Hassan #algorithm #evaluation #recognition #towards: Towards a common evaluation strategy for table structure recognition algorithms (TH), pp. 255–258.
DocEng-2010-SpenglerG #documentation #layout #random #web: Document structure meets page layout: loopy random fields for web news content extraction (AS, PG), pp. 151–160.
DocEng-2010-ThaoM #data type #detection #using #version control #xml: Using versioned tree data structure, change detection and node identity for three-way XML merging (CT, EVM), pp. 77–86.
DRR-2010-BallKSN #analysis #documentation #using: Analysis of line structure in handwritten documents using the Hough transform (GRB, HK, SNS, AN), pp. 1–10.
DRR-2010-BelaidMR #algorithm #documentation #modelling: Improved CHAID algorithm for document structure modelling (AB, TM, YR), pp. 1–10.
HT-2010-GasslerZTS #named #recommendation #using: SnoopyDB: narrowing the gap between structured and unstructured information using recommendations (WG, EZ, MT, GS), pp. 271–272.
HT-2010-PaparrizosKAV #automation #statistics #web: Automatic extraction of structure, content and usage data statistics of web sites (IKP, VAK, LA, AV), pp. 301–302.
HT-2010-RamosB #adaptation #hypermedia #navigation: The influence of adaptation on hypertext structures and navigation (VFCR, PDB), pp. 77–82.
HT-2010-TamS #information retrieval: Webpage relationships for information retrieval within a structured domain (VWLT, JS), pp. 307–308.
PODS-2010-BarceloHLW #query: Expressive languages for path queries over graph-structured data (PB, CAH, LL, PTW), pp. 3–14.
SIGMOD-2010-ChengFL #morphism #named #network #privacy: K-isomorphism: privacy preserving network publication against structural attacks (JC, AWCF, JL), pp. 459–470.
SIGMOD-2010-PoundIW #flexibility #keyword #query: Expressive and flexible access to web-extracted data: a keyword-based structured query language (JP, IFI, GEW), pp. 423–434.
SIGMOD-2010-SarkasPT #query #web: Structured annotations of web queries (NS, SP, PT), pp. 771–782.
SIGMOD-2010-ZhangHOS #distance #edit distance #named #similarity #string: Bed-tree: an all-purpose index structure for string similarity search based on edit distance (ZZ, MH, BCO, DS), pp. 915–926.
VLDB-2010-AbdessalemCD #lightweight #named #query #web: ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.
VLDB-2010-GeZ #array #modelling #multi #nondeterminism: A*-tree: A Structure for Storage and Modeling of Uncertain Multidimensional Arrays (TG, SBZ), pp. 964–974.
VLDB-2010-LiuNSBMWC #comparison #named: XSACT: A Comparison Tool for Structured Search Results (ZL, SN, PS, SB, TM, RW, YC), pp. 1581–1584.
VLDB-2010-TermehchyW #keyword #named #using #xml: EXTRUCT: Using Deep Structural Information in XML Keyword Search (AT, MW), pp. 1593–1596.
VLDB-2010-WeiRM #quality #xml: Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.
CSEET-2010-UsmanKHI #analysis: Pedagogical and Structural Analysis of SE Courses (MU, JIK, MH, NI), pp. 136–143.
FoSSaCS-2010-MiliusMS #recursion #semantics: CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
FoSSaCS-2010-MurawskiT: Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (ASM, NT), pp. 33–47.
CSMR-2010-CortellessaMP #behaviour #maintenance #reliability #trade-off: Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes (VC, RM, PP), pp. 21–30.
ICPC-2010-BettenburgH #quality #social: Studying the Impact of Social Structures on Software Quality (NB, AEH), pp. 124–133.
WCRE-2010-BavotaLMO #metric #semantics: Software Re-Modularization Based on Structural and Semantic Metrics (GB, ADL, AM, RO), pp. 195–204.
WCRE-2010-LozanoKMA #mining #source code: Mining Source Code for Structural Regularities (AL, AK, KM, GA), pp. 22–31.
PLDI-2010-TianFG #data type #parallel: Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
PLDI-2010-XiW: A context-free markup language for semi-structured text (QX, DW), pp. 221–232.
PLDI-2010-XuMARSS #data type: Finding low-utility data structures (G(X, NM, MA, AR, ES, GS), pp. 174–186.
SAS-2010-CheriniRB #analysis #data type: A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
SAS-2010-VechevYRS #automation #parallel #source code #verification: Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.
STOC-2010-FraigniaudG #network #on the: On the searchability of small-world networks with arbitrary underlying structure (PF, GG), pp. 389–398.
STOC-2010-HaramatyS #on the #polynomial: On the structure of cubic and quartic polynomials (EH, AS), pp. 331–340.
AFL-J-2008-AfoninK10 #on the #regular expression: On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
ICALP-v1-2010-Duan #data type: New Data Structures for Subgraph Connectivity (RD), pp. 201–212.
ICALP-v2-2010-CoeckeK #composition #multi #quantum: The Compositional Structure of Multipartite Quantum Entanglement (BC, AK), pp. 297–308.
LATA-2010-PlatekML #automaton #functional #generative: Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
SEFM-2010-WeitlNF #logic: Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
ICGT-2010-Jurack #emf #graph #inheritance #modelling: Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.
ICGT-2010-JurackT #component #concept #graph #inheritance: A Component Concept for Typed Graphs with Inheritance and Containment Structures (SJ, GT), pp. 187–202.
CHI-2010-DixonF #behaviour #implementation #interface #named #reverse engineering #using: Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure (MD, JF), pp. 1525–1534.
CHI-2010-HongCSCK #named: FeedWinnower: layering structures over collections of information streams (LH, GC, BS, EHC, SK), pp. 947–950.
CHI-2010-LiuLRLWL #how #mobile: How socio-economic structure influences rural users’ acceptance of mobile entertainment (JL, YL, PLPR, HL, XW, DL), pp. 2203–2212.
CHI-2010-SongKLS #comparative #evaluation #scalability #visualisation: A comparative evaluation on tree visualization methods for hierarchical structures with large fan-outs (HS, BHK, BL, JS), pp. 223–232.
SOFTVIS-2010-LinTOB #comprehension #profiling #towards #using: Towards anomaly comprehension: using structural compression to navigate profiling call-trees (SL, FT, TCO, LJB), pp. 103–112.
SOFTVIS-2010-MyersD #abstraction #design #runtime: A map of the heap: revealing design abstractions in runtime structures (CM, DJD), pp. 63–72.
CAiSE-2010-MrabetBPT #documentation #semantics: Supporting Semantic Search on Heterogeneous Semi-structured Documents (YM, NB, NP, MT), pp. 224–229.
ICEIS-AIDSS-2010-VegettiLH #abstraction: A Three Level Abstraction Hierarchy to Represent Product Structural Information (MV, HPL, GPH), pp. 299–308.
ICEIS-SAIC-2010-ChukmolBA #approach #collaboration #web #web service: An Approach for Web Service Discovery based on Collaborative Structured Tagging (UC, ANB, YA), pp. 47–56.
CIKM-2010-BenderskyCS #feedback #pseudo #query #using: Structural annotation of search queries using pseudo-relevance feedback (MB, WBC, DAS), pp. 1537–1540.
CIKM-2010-ChubakR #natural language: Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKM-2010-GaoYW #mining #multi #named #query: SEQUEL: query completion via pattern mining on multi-column structural data (CG, QY, JW), pp. 1955–1956.
CIKM-2010-GuoCXS #approach #query #recommendation #social: A structured approach to query recommendation with social annotation data (JG, XC, GX, HS), pp. 619–628.
CIKM-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.
CIKM-2010-LangeBN #wiki: Extracting structured information from Wikipedia articles to populate infoboxes (DL, CB, FN), pp. 1661–1664.
CIKM-2010-LiuWMKC #information retrieval #natural language: Weighting common syntactic structures for natural language based information retrieval (CL, HW, SIM, EK, DC), pp. 1485–1488.
CIKM-2010-NambiarGGM #data transformation: Massive structured data management solution (UN, RG, HG, MKM), pp. 1905–1908.
CIKM-2010-PuHDM #online: Online annotation of text streams with structured entities (KQP, OH, RD, RJM), pp. 29–38.
CIKM-2010-SunPL #graph: Support elements in graph structured schema reintegration (XS, RP, MKL), pp. 1361–1364.
CIKM-2010-TakamuraO #learning #summary: Learning to generate summary as structured output (HT, MO), pp. 1437–1440.
CIKM-2010-UrbanoLAM #crawling #documentation #web: Crawling the web for structured documents (JU, JL, YA, MM), pp. 1939–1940.
ECIR-2010-SaralegiL #query #web: Estimating Translation Probabilities from the Web for Structured Queries on CLIR (XS, MLdL), pp. 586–589.
ICML-2010-ChangSGR #learning: Structured Output Learning with Indirect Supervision (MWC, VS, DG, DR), pp. 199–206.
ICML-2010-DavisD #bottom-up #learning #markov #network: Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.
ICML-2010-DondelingerLH #flexibility #information management #network: Heterogeneous Continuous Dynamic Bayesian Networks with Flexible Structure and Inter-Time Segment Information Sharing (FD, SL, DH), pp. 303–310.
ICML-2010-KimX #multi: Tree-Guided Group Lasso for Multi-Task Regression with Structured Sparsity (SK, EPX), pp. 543–550.
ICML-2010-KokD #learning #logic #markov #network #using: Learning Markov Logic Networks Using Structural Motifs (SK, PMD), pp. 551–558.
ICPR-2010-Ait-MohandPRH #adaptation: Structure Adaptation of HMM Applied to OCR (KAM, TP, NR, LH), pp. 2877–2880.
ICPR-2010-AkcayAS #segmentation: Hierarchical Segmentation of Complex Structures (HGA, SA, PS), pp. 1120–1123.
ICPR-2010-BastanlarTYS #effectiveness #hybrid: Effective Structure-from-Motion for Hybrid Camera Systems (YB, AT, YY, PFS), pp. 1654–1657.
ICPR-2010-BenvenisteU #invariant: A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, CÜ), pp. 798–801.
ICPR-2010-CamposZJ: An Improved Structural EM to Learn Dynamic Bayesian Nets (CPdC, ZZ, QJ), pp. 601–604.
ICPR-2010-ColemanSG #architecture #feature model #using: Coarse Scale Feature Extraction Using the Spiral Architecture Structure (SAC, BWS, BG), pp. 2370–2373.
ICPR-2010-DonoserKB #analysis: Object Tracking by Structure Tensor Analysis (MD, SK, HB), pp. 2600–2603.
ICPR-2010-DupeBBLE #kernel: Kernel-Based Implicit Regularization of Structured Objects (FXD, SB, LB, OL, AE), pp. 2142–2145.
ICPR-2010-GrazziniS #image: Iterative Ramp Sharpening for Structure/Signature-Preserving Simplification of Images (JG, PS), pp. 4585–4588.
ICPR-2010-HanerH #estimation #novel #online: On-Line Structure and Motion Estimation Based on a Novel Parameterized Extended Kalman Filter (SH, AH), pp. 1836–1839.
ICPR-2010-HsinLLC #image #using: Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.
ICPR-2010-JouiliCTO #documentation #named #towards: NAVIDOMASS: Structural-based Approaches Towards Handling Historical Documents (SJ, MC, ST, JMO), pp. 946–949.
ICPR-2010-KasiviswanathanBS #analysis #documentation #top-down: Top Down Analysis of Line Structure in Handwritten Documents (HK, GRB, SNS), pp. 2025–2028.
ICPR-2010-KimM #classification #dataset: Dense Structure Inference for Object Classification in Aerial LIDAR Dataset (EK, GGM), pp. 3049–3052.
ICPR-2010-KoulgiSRM #modelling #sequence #visual notation: Graphical Model-Based Tracking of Curvilinear Structures in Bio-image Sequences (PK, MES, KR, BSM), pp. 2596–2599.
ICPR-2010-LathenCKB #detection #linear #robust: Non-ring Filters for Robust Detection of Linear Structures (GL, OC, HK, MB), pp. 233–236.
ICPR-2010-OzturkYA #detection: Detecting Dominant Motion Flows in Unstructured/Structured Crowd Scenes (OO, TY, KA), pp. 3533–3536.
ICPR-2010-PaivaT #detection #image #using: Detection of Salient Image Points Using Principal Subspace Manifold Structure (ARCP, TT), pp. 1389–1392.
ICPR-2010-ParkKS #detection #markov #modelling #recognition #using #visual notation: Visual Recognition of Types of Structural Corridor Landmarks Using Vanishing Points Detection and Hidden Markov Models (YP, SSK, IHS), pp. 3292–3295.
ICPR-2010-PengSGS #classification #documentation #using: Text Separation from Mixed Documents Using a Tree-Structured Classifier (XP, SS, VG, RS), pp. 241–244.
ICPR-2010-RantosonSFM #3d #metric #using: Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPR-2010-RutherB #coordination #estimation #multi #novel: Novel Multi View Structure Estimation Based on Barycentric Coordinates (MR, HB), pp. 193–196.
ICPR-2010-SoldeaESU #approach #image #segmentation #using: Segmentation of Anatomical Structures in Brain MR Images Using Atlases in FSL — A Quantitative Approach (OS, AE, DFS, DU, MÇ, AE, MGU, ZF, MC), pp. 2592–2595.
ICPR-2010-TakH #image #retrieval: Tertiary Hash Tree: Indexing Structure for Content-Based Image Retrieval (YT, EH), pp. 3167–3170.
ICPR-2010-TosunWSRM #analysis #component #image #independence: Joint Independent Component Analysis of Brain Perfusion and Structural Magnetic Resonance Images in Dementia (DT, MW, NS, HJR, BLM), pp. 2720–2723.
ICPR-2010-TsaiHTC #detection #pipes and filters #predict #scalability #using: Learning-Based Vehicle Detection Using Up-Scaling Schemes and Predictive Frame Pipeline Structures (YMT, KYH, CCT, LGC), pp. 3101–3104.
ICPR-2010-WeiXZ: Calibration Method for Line Structured Light Vision Sensor Based on Vanish Points and Lines (ZW, MX, GZ), pp. 794–797.
KDD-2010-FeiH #classification #functional #graph: Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.
KDD-2010-PlangprasopchokLG #folksonomy #metadata: Growing a tree in the forest: constructing folksonomies by integrating structured metadata (AP, KL, LG), pp. 949–958.
KDD-2010-ZhuLX #feature model #incremental #learning #markov #named #performance #random: Grafting-light: fast, incremental feature selection and structure learning of Markov random fields (JZ, NL, EPX), pp. 303–312.
KDIR-2010-CamposFHM #approach #feedback #query: A Content-Bsed Approach to Relevance Feedback in XML-IR for Content and Structure Queries (LMdC, JMFL, JFH, CJMD), pp. 418–427.
KDIR-2010-KKD #graph #keyword #rdf: Answer Graph Construction for Keyword Search on Graph Structured(RDF) Data (PK, SPK, DD), pp. 162–167.
KDIR-2010-Seifert #knowledge-based #mining #music: Knowledge-based Mining of Patterns and Structure of Symbolic Music Files (FS0), pp. 358–363.
KDIR-2010-SharmaV #enterprise #query #wiki: Query Processing for Enterprise Search with Wikipedia Link Structure (NS, VV), pp. 243–248.
KEOD-2010-KamelR #ontology #parallel #using: Ontology Building using Parallel Enumerative Structures (MK, BR), pp. 276–281.
KMIS-2010-BrockV #analysis #data flow #semantics #using: A Method for Interoperability between Structured Data Sources using Semantic Analysis (DLB, JV), pp. 234–239.
KMIS-2010-Muller #adaptation #documentation #generative #metadata: Adaptation of Mathematical Documents — Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents (CM), pp. 143–148.
KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code: Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
KR-2010-Halpern #modelling: From Causal Models To Counterfactual Structures (JYH).
KR-2010-ParsiaS #composition #empirical #ontology: The Modular Structure of an Ontology: An Empirical Study (BP, TS).
RecSys-2010-ZangerleGS #collaboration #information management #recommendation: Recommending structure in collaborative semistructured information systems (EZ, WG, GS), pp. 261–264.
SEKE-2010-ArrudaCD #detection #framework #using: A Framework for Detecting Code Piracy Using Class Structure (PA, PC, DD), pp. 559–564.
SEKE-2010-HirveMSV: Feature based Structuring and Composing of SDLC Artifacts (NH, TM, US, RV), pp. 583–586.
SEKE-2010-HuangLZ #towards: Towards a Structured Model for Software Vulnerabilities (MH, YL, QZ), pp. 543–547.
SEKE-2010-KhounSiavashB #metric #ontology #semantics #using: Using the whole structure of ontology for semantic relatedness measurement (EK, ABD), pp. 79–83.
SIGIR-2010-DemidovaFZN #database #keyword #named: DivQ: diversification for keyword search over structured databases (ED, PF, XZ, WN), pp. 331–338.
SIGIR-2010-MuhrKG #analysis #clustering: Analysis of structural relationships for hierarchical cluster labeling (MM, RK, MG), pp. 178–185.
SIGIR-2010-WhiteH10a #predict #query #web: Predicting escalations of medical queries based on web page structure and content (RWW, EH), pp. 769–770.
ECMFA-2010-SterrittCC #behaviour #design pattern #precise #specification: Precise Specification of Design Pattern Structure and Behaviour (AS, SC, VC), pp. 277–292.
ECOOP-2010-ZaeemK #alloy #contract #data type #using: Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
OOPSLA-2010-WoodSCG #communication #composition #specification: Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
POPL-2010-NanevskiVB #source code #verification: Structuring the verification of heap-manipulating programs (AN, VV, JB), pp. 261–274.
SAC-2010-BenaouichaTB #flexibility #probability #query: Flexible document-query matching based on a probabilistic content and structure score combination (MB, MT, MB), pp. 1728–1734.
SAC-2010-ChandaFP #classification #documentation: Structural handwritten and machine print classification for sparse content and arbitrary oriented document fragments (SC, KF, UP), pp. 18–22.
SAC-2010-EspositoFd #nondeterminism #validation: Recovering uncertain mappings through structural validation and aggregation with the MoTo system (FE, NF, Cd), pp. 1428–1432.
SAC-2010-HautakorpiM #algorithm #network #using: Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA) (JH, JM), pp. 655–662.
SAC-2010-HeinzlS #using #validation #xml: Using XML schema to improve writing, validation, and structure of WS-policies (SH, BS), pp. 2422–2429.
SAC-2010-NaceraHAM #ad hoc #clustering #network: A new two level hierarchy structuring for node partitioning in ad hoc networks (BN, HG, HA, MM), pp. 719–726.
SAC-2010-NinagawaE #modelling #network #predict #probability #using: Link prediction using probabilistic group models of network structure (AN, KE), pp. 1115–1116.
SAC-2010-RibeiroS #data type #named #network #performance: g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
SAC-2010-SantosM #composition #documentation #hypermedia #reuse #semantics: XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse (JAFdS, DCMS), pp. 1892–1897.
SAC-2010-StoffelSKK #analysis #documentation #using #visual notation: Enhancing document structure analysis using visual analytics (AS, DS, HK, DAK), pp. 8–12.
SAC-2010-ZhouCS #consistency #linear #source code: Reparameterization based consistent graph-structured linear programs (HZ, QC, ZS), pp. 974–978.
ICSE-2010-HussainC #data type: Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
ICSE-2010-LohK #difference #identification #named: LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
ICSE-2010-Treude #collaboration #development: The role of emergent knowledge structures in collaborative software development (CT), pp. 389–392.
LCTES-2010-PerathonerRTLR #analysis #modelling #performance: Modeling structured event streams in system level performance analysis (SP, TR, LT, KL, JR), pp. 37–46.
PPoPP-2010-BuehrerPT #distributed: A distributed placement service for graph-structured and tree-structured data (GB, SP, ST), pp. 355–356.
PPoPP-2010-Mendez-LojoNPSHKBP #optimisation #source code: Structure-driven optimizations for amorphous data-parallel programs (MML, DN, DP, XS, MAH, MK, MB, KP), pp. 3–14.
PPoPP-2010-UpadhyayaMP #data type #generative #performance #using: Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
CSL-2010-AccattoliK #λ-calculus: The Structural λ-Calculus (BA, DK), pp. 381–395.
CSL-2010-BaganDFG #performance #query: Efficient Enumeration for Conjunctive Queries over X-underbar Structures (GB, AD, EF, OG), pp. 80–94.
CSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad: New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
CSL-2010-KuncakPS #calculus #data type #order #set: Ordered Sets in the Calculus of Data Structures (VK, RP, PS), pp. 34–48.
CSL-2010-Pous #algebra #linear #logic #proving: Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.
ICLP-2010-Guenot10 #calculus #linear #logic #proving: Focused Proof Search for Linear Logic in the Calculus of Structures (NG), pp. 84–93.
ICLP-2010-Toro-Bermudez10 #interactive: Structured Interactive Musical Scores (MTB), pp. 300–302.
ICST-2010-VosBLKWW #automation #industrial #testing: Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.
ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing: Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
LICS-2010-Ehrhard: A Finiteness Structure on Resource Terms (TE), pp. 402–410.
LICS-2010-He #finite #first-order #on the #quantifier #strict: On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures (YH), pp. 170–178.
LICS-2010-KuskeLL #automation #morphism #problem: The Isomorphism Problem on Classes of Automatic Structures (DK, JL, ML), pp. 160–169.
LICS-2010-StatonW #on the #symmetry: On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
RTA-2010-ZantemaR #data type #infinity #proving: Proving Productivity in Infinite Data Structures (HZ, MR), pp. 401–416.
VMCAI-2010-KreikerSV #analysis #c #low level: Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.
VMCAI-2010-KuncakPSW #calculus #data type: Building a Calculus of Data Structures (VK, RP, PS, TW), pp. 26–44.
VMCAI-2010-Might #analysis #pointer: Shape Analysis in the Absence of Pointers and Structure (MM), pp. 263–278.
ASE-2009-MalikGEK #automation #data type #debugging #using: A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving: Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
DAC-2009-ChakrabortyKP #framework #named #open source #quality: RegPlace: a high quality open-source placement framework for structured ASICs (AC, AK, DZP), pp. 442–447.
DAC-2009-ShiCHMTHW #analysis #gpu #grid #network #performance #power management: GPU friendly fast Poisson solver for structured power grid network analysis (JS, YC, WH, LM, SXDT, PHH, XW), pp. 178–183.
DATE-2009-PigorschS: Exploiting structure in an AIG based QBF solver (FP, CS), pp. 1596–1601.
DATE-2009-SanderGRBM #communication: Priority-based packet communication on a bus-shaped structure for FPGA-systems (OS, BG, CR, JB, KDMG), pp. 178–183.
DocEng-2009-BrunoFGMS #web: Indexing by permeability in block structured web pages (EB, NF, HG, JLM, MS), pp. 70–73.
DocEng-2009-GeorgHCPI #analysis #documentation: From rhetorical structures to document structure: shallow pragmatic analysis for document engineering (GG, HH, MC, HP, MI), pp. 185–192.
DocEng-2009-PortierC #documentation #maintenance #multi: Creation and maintenance of multi-structured documents (PEP, SC), pp. 181–184.
DRR-2009-TaghvaC #analysis #bound #documentation #using: Document boundary determination using structural and lexical analysis (KT, MAC), pp. 1–10.
HT-2009-RubartF #agile: Supporting daily scrum meetings with change structure (JR, FF), pp. 57–62.
ICDAR-2009-DoucetKDURT #contest: ICDAR 2009 Book Structure Extraction Competition (AD, GK, BD, AU, BR, NT), pp. 1408–1412.
ICDAR-2009-EmmanouilidisBP #classification #development #evaluation #locality: Development and Evaluation of Text Localization Techniques Based on Structural Texture Features and Neural Classifiers (CE, CB, NP), pp. 1270–1274.
ICDAR-2009-HeH #approach #online: A Character-Structure-Guided Approach to Estimating Possible Orientations of a Rotated Isolated Online Handwritten Chinese Character (TH, QH), pp. 536–540.
ICDAR-2009-WangSY #comprehension #online: The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas (XW, GS, JY), pp. 1056–1060.
ICDAR-2009-Washizawa #classification #metric: Pattern Classification on Local Metric Structure (YW), pp. 471–475.
ICDAR-2009-ZhangL #recognition #statistics: A Pixel-level Statistical Structural Descriptor for Shape Measure and Recognition (JZ, WL), pp. 386–390.
SIGMOD-2009-BeckmannS #comparison: A revised r*-tree in comparison with related index structures (NB, BS), pp. 799–812.
SIGMOD-2009-ChenWLL #keyword: Keyword search on structured and semi-structured data (YC, WW, ZL, XL), pp. 1005–1010.
SIGMOD-2009-PaparizosNSA #data flow #query #using #web: Answering web queries using structured data sources (SP, AN, JCS, RA), pp. 1127–1130.
VLDB-2009-AgrawalGSDS #adaptation: Lazy-Adaptive Tree: An Optimized Index Structure for Flash Devices (DA, DG, RKS, YD, SS), pp. 361–372.
VLDB-2009-LiuSC #difference: Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.
VLDB-2009-PereiraRSTWH #question #using #web: Answering Web Questions Using Structured Data — Dream or Reality? (FP, AR, SS, WTP, GW, AYH), p. 1646.
VLDB-2009-TatikondaP #manycore #mining: Mining Tree-Structured Data on Multicore Systems (ST, SP), pp. 694–705.
VLDB-2009-ZhouCY #clustering #graph: Graph Clustering Based on Structural/Attribute Similarities (YZ, HC, JXY), pp. 718–729.
CSEET-2009-Burge #student: Application and Appreciation: Changing Course Structure to Change Student Attitudes (JEB), pp. 45–52.
ITiCSE-2009-ErnstSW #data type #evolution #hybrid: Hybrid and custom data structures: evolution of the data structures course (DJE, DES, PJW), pp. 213–217.
ITiCSE-2009-Garcia-MateosA #algorithm #data type #online #using: A course on algorithms and data structures using on-line judging (GGM, JLFA), pp. 45–49.
ESOP-2009-Campbell #analysis #data type #memory management #using: Amortised Memory Analysis Using the Depth of Data Structures (BC), pp. 190–204.
ESOP-2009-MalayeriA #empirical #type system: Is Structural Subtyping Useful? An Empirical Study (DM, JA), pp. 95–111.
FASE-2009-NguyenNPAN #clone detection #detection #feature model #performance: Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection (HAN, TTN, NHP, JMAK, TNN), pp. 440–455.
CSMR-2009-CapiluppiB #case study #complexity: Structural Complexity and Decay in FLOSS Systems: An Inter-repository Study (AC, KB), pp. 169–178.
ICPC-2009-AuprasertL #representation #source code: Representing source code with Granular hierarchical structures (BA, YL), pp. 319–320.
ICPC-2009-SimRC #comprehension #graph #question: Structure transition graphs: An ECG for program comprehension? (SES, SR, LC), pp. 303–304.
ICSM-2009-ChanZHS #problem #testing #visualisation: Visualizing the structure of field testing problems (BC, YZ, AEH, AS), pp. 429–432.
ICSM-2009-Li #analysis #dependence #identification #using: Identifying high-level dependence structures using slice-based dependence analysis (ZL), pp. 457–460.
ICSM-2009-ShternT #clustering #evaluation #using: Refining clustering evaluation using structure indicators (MS, VT), pp. 297–305.
MSR-2009-ShinBOW #fault #predict #question: Does calling structure information improve the accuracy of fault prediction? (YS, RMB, TJO, EJW), pp. 61–70.
WCRE-1999-BogdanovW99a #difference #modelling: Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
WCRE-1999-LavalDDB99a #dependence #identification #matrix: Identifying Cycle Causes with Enriched Dependency Structural Matrix (JL, SD, SD, AB), pp. 113–122.
WCRE-1999-MerloL99a: Computing Structural Types of Clone Syntactic Blocks (EM, TL), pp. 274–278.
PLDI-2009-AndersonGN #concurrent #data type #lightweight: Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.
PLDI-2009-KawaguchiRJ #data type #type system #verification: Type-based data structure verification (MK, PMR, RJ), pp. 304–315.
STOC-2009-Viola #bound #data type: Bit-probe lower bounds for succinct data structures (EV), pp. 475–482.
CIAA-2009-AtigT #communication #parallel #source code #verification: Verifying Parallel Programs with Dynamic Communication Structures (MFA, TT), pp. 145–154.
ICALP-v1-2009-DemaineHK #algorithm #approximate #graph: Approximation Algorithms via Structural Results for Apex-Minor-Free Graphs (EDD, MH, KiK), pp. 316–327.
ICALP-v2-2009-GottlobGS #optimisation #problem #strict: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (GG, GG, FS), pp. 16–30.
LATA-2009-LiuM #automation #complexity: Analysing Complexity in Classes of Unary Automatic Structures (JL, MM), pp. 518–529.
FM-2009-Eshuis #petri net: Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.
IFM-2009-Butler #composition: Decomposition Structures for Event-B (MJB), pp. 20–38.
GT-VMT-2009-BruniL #graph: Ten virtues of structured graphs (RB, ALL), pp. 3–22.
CHI-2009-BinderHS #network #problem #social: The problem of conflicting social spheres: effects of network structure on experienced tension in social network sites (JB, AH, AGS), pp. 965–974.
CHI-2009-KitturCS #topic #using #what #wiki: What’s in Wikipedia?: mapping topics and conflict using socially annotated category structure (AK, EHC, BS), pp. 1509–1512.
CHI-2009-KitturLK #coordination: Coordination in collective intelligence: the role of team structure and task interdependence (AK, BL, REK), pp. 1495–1504.
CHI-2009-SchrammelLT #clustering #empirical #evaluation #semantics: Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches (JS, ML, MT), pp. 2037–2040.
HCD-2009-LewisS #usability: The Factor Structure of the System Usability Scale (JRL, JS), pp. 94–103.
HCD-2009-YanagidaUGTHY #design: Structured Scenario-Based Design Method (KY, YU, KG, KT, SH, KY), pp. 374–380.
HCI-NIMT-2009-CaffiauGGS #design #interactive: Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model (SC, PG, LG, DLS), pp. 664–673.
HCI-NT-2009-Trujillo: Paper to Electronic Questionnaires: Effects on Structured Questionnaire Forms (AT), pp. 362–371.
HIMI-DIE-2009-BruinLB #case study #feedback #how: How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies (RdB, YL, AB), pp. 227–232.
HIMI-DIE-2009-DumanHG #adaptation #clustering #visual notation: Adaptive Visual Clustering for Mixed-Initiative Information Structuring (HD, AH, RAGH), pp. 384–393.
HIMI-DIE-2009-HendersonS #analysis #documentation #empirical: An Empirical Analysis of Personal Digital Document Structures (SH, AS), pp. 394–403.
HIMI-II-2009-YajimaSM #using: Remote Consultation System Using Hierarchically Structured Agents (HY, JS, KM), pp. 609–618.
IDGD-2009-RizvanogluO #case study #comprehension: Cross-Cultural Understanding of the Dual Structure of Metaphorical Icons: An Explorative Study with French and Turkish Users on an E-Learning Site (KR, ÖÖ), pp. 89–98.
OCSC-2009-BarberioL #community #network: Weighting Structures: Evolutionary Dynamics of Innovation Networks in Virtual Communities (VB, AL), pp. 295–304.
OCSC-2009-RazaliNA #community #component #framework #social: Structuring the Social Subsystem Components of the Community Based E-Museum Framework (SR, NLMN, WAWA), pp. 108–116.
VISSOFT-2009-VoigtBD #information management: Enhancing structural views of software systems by dynamic information (SV, JB, JD), pp. 47–50.
EDOC-2009-GustafssonHFJ #modelling: Modeling the IT Impact on Organizational Structure (PG, DH, UF, PJ), pp. 14–23.
ICEIS-AIDSS-2009-YangLSKCGP #graph #learning: Graph Structure Learning for Task Ordering (YY, AL, HS, BK, CMC, RG, KP), pp. 164–169.
ICEIS-DISI-2009-GuerraBOSS #keyword #named #using: Keymantic: A Keyword-based Search Engine using Structural Knowledge (FG, SB, MO, AS, CS), pp. 241–246.
ICEIS-ISAS-2009-BarkaouiBE #collaboration #coordination: An Event Structure based Coordination Model for Collaborative Sessions (KB, CB, JMME), pp. 137–143.
ICEIS-ISAS-2009-ChampclauxDM #information retrieval #precise #similarity: Enhancing High Precision by Combining Okapi BM25 with Structural Similarity in an Information Retrieval System (YC, TD, JM), pp. 279–285.
ICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #nondeterminism #performance: Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
ICEIS-ISAS-2009-Woo #modelling #process #reuse: Finding Reusable Business Process Models based on Structural Matching (HGW), pp. 249–255.
ICEIS-J-2009-GimenezHL #classification: A Hierarchical Product-Property Model to Support Product Classification and Manage Structural and Planning Data (DMG, GPH, HPL), pp. 639–650.
CIKM-2009-GobelHNB #hybrid: A hybrid index structure for geo-textual searches (RG, AH, RN, DB), pp. 1625–1628.
CIKM-2009-HofmannTMR #documentation: The impact of document structure on keyphrase extraction (KH, MT, EM, MdR), pp. 1725–1728.
CIKM-2009-KuttyNL #approach #clustering #documentation #named #using #xml: XCFS: an XML documents clustering approach using both the structure and the content (SK, RN, YL), pp. 1729–1732.
CIKM-2009-LeeLKL #mobile #named #web: AnchorWoman: top-k structured mobile web search engine (WL, JJHL, YKK, CKSL), pp. 2089–2090.
CIKM-2009-LiFW #database #keyword: Structure-aware indexing for keyword search in databases (GL, JF, JW), pp. 1453–1456.
CIKM-2009-LiuWC #effectiveness #ranking #retrieval #xml: Effective XML content and structure retrieval with relevance ranking (XL, CW, LC), pp. 147–156.
CIKM-2009-MouzaLRS #algebra #n-gram #named #string #using: AS-index: a structure for string search using n-grams and algebraic signatures (CdM, WL, PR, TJES), pp. 295–304.
CIKM-2009-Paranjpe #documentation #feedback #learning: Learning document aboutness from implicit user feedback and document structure (DP), pp. 365–374.
CIKM-2009-SeoCS #community #concurrent #online #thread #using: Online community search using thread structure (JS, WBC, DAS), pp. 1907–1910.
CIKM-2009-StoyanovichA #clustering #dataset: Rank-aware clustering of structured datasets (JS, SAY), pp. 1429–1432.
CIKM-2009-ViyanonM #database #detection #relational #similarity #using #xml: A system for detecting xml similarity in content and structure using relational database (WV, SKM), pp. 1197–1206.
CIKM-2009-WestPP #reduction #wiki: Completing wikipedia’s hyperlink structure through dimensionality reduction (RW, DP, JP), pp. 1097–1106.
CIKM-2009-WuBTJDS #algebra #comparison #named: ASIC: algebra-based structural index comparison (YW, SB, TT, SJ, DD, MS), pp. 2111–2112.
CIKM-2009-ZhaoC #effectiveness #performance #retrieval: Effective and efficient structured retrieval (LZ, JC), pp. 1573–1576.
CIKM-2009-ZhaoHS #named #network #similarity: P-Rank: a comprehensive structural similarity measure over information networks (PZ, JH, YS), pp. 553–562.
CIKM-2009-ZhongL #graph #named #semistructured data: 3se: a semi-structured search engine for heterogeneous data in graph model (MZ, ML), pp. 1405–1408.
ECIR-2009-AliCL #navigation #representation #retrieval #summary #xml: Representing User Navigation in XML Retrieval with Structural Summaries (MSA, MPC, BL), pp. 719–723.
ECIR-2009-PetkovaCD #keyword #query #retrieval #xml: Refining Keyword Queries for XML Retrieval by Combining Content and Structure (DP, WBC, YD), pp. 662–669.
ICML-2009-CamposZJ #constraints #learning #network #using: Structure learning of Bayesian networks using constraints (CPdC, ZZ, QJ), pp. 113–120.
ICML-2009-ChenTLY #learning #multi: A convex formulation for learning shared structures from multiple tasks (JC, LT, JL, JY), pp. 137–144.
ICML-2009-ChoiCW #markov #modelling #multi: Exploiting sparse Markov and covariance structure in multiresolution models (MJC, VC, ASW), pp. 177–184.
ICML-2009-Daume #predict #search-based: Unsupervised search-based structured prediction (HDI), pp. 209–216.
ICML-2009-DiukLL #adaptation #feature model #learning #problem: The adaptive k-meteorologists problem and its application to structure learning and feature selection in reinforcement learning (CD, LL, BRL), pp. 249–256.
ICML-2009-DuchiS: Boosting with structural sparsity (JCD, YS), pp. 297–304.
ICML-2009-HuangZM #learning: Learning with structured sparsity (JH, TZ, DNM), pp. 417–424.
ICML-2009-KokD #learning #logic #markov #network: Learning Markov logic network structure via hypergraph lifting (SK, PMD), pp. 505–512.
ICML-2009-MarlinM #modelling #visual notation: Sparse Gaussian graphical models with unknown block structure (BMM, KPM), pp. 705–712.
ICML-2009-RoyLW #consistency #learning #modelling #probability #visual notation: Learning structurally consistent undirected probabilistic graphical models (SR, TL, MWW), pp. 905–912.
ICML-2009-ShawJ: Structure preserving embedding (BS, TJ), pp. 937–944.
ICML-2009-Smith #natural language #predict #summary #tutorial: Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
ICML-2009-Tillman #distributed #independence #learning: Structure learning with independent non-identically distributed data (RET), pp. 1041–1048.
ICML-2009-YuJ #learning: Learning structural SVMs with latent variables (CNJY, TJ), pp. 1169–1176.
KDD-2009-AhmedXCM #biology #mining #modelling #topic: Structured correspondence topic models for mining captioned figures in biological literature (AA, EPX, WWC, RFM), pp. 39–48.
KDD-2009-ShibuyaHK #modelling #multi #quantifier: Causality quantification and its applications: structuring and modeling of multivariate time series (TS, TH, YK), pp. 787–796.
KDIR-2009-FilhoRM #multi #named: XHITS — Multiple Roles in a Hyperlinked Structure (FBF, RPR, RLM), pp. 189–195.
KEOD-2009-Aussenac-GillesK #documentation #learning #ontology #xml: Ontology Learning by Analyzing XML Document Structure and Content (NAG, MK), pp. 159–165.
KMIS-2009-CronholmG #development: Competence Development Among IT-consultants — The Need for Collective and Structured Reflection (SC, GG), pp. 258–261.
KMIS-2009-RohrbaughH #information management #multi #process: Value Knowledge Management — Process Structuring for Multi-party Conflict (JR, SH), pp. 63–68.
MLDM-2009-Hoppner #how #question: How Much True Structure Has Been Discovered? (FH), pp. 385–397.
SIGIR-2009-Bossard #automation #documentation #summary #using: Using document structure for automatic summarization (AB), p. 849.
SIGIR-2009-DouSNW #using #web: Using anchor texts with their hyperlink structure for web search (ZD, RS, JYN, JRW), pp. 227–234.
SIGIR-2009-He #information retrieval #topic: Topic structure for information retrieval (JH), p. 850.
SIGIR-2009-KapteinMK #what: Who said what to whom?: capturing the structure of debates (RK, MM, JK), pp. 831–832.
SIGIR-2009-LinYCWW #approach #modelling #semantics #thread: Simultaneously modeling semantics and structure of threaded discussions: a sparse coding approach and its applications (CL, JMY, RC, XJW, WW, LZ), pp. 131–138.
SIGIR-2009-LiWA #query #random: Extracting structured information from user queries with semi-supervised conditional random fields (XL, YYW, AA), pp. 572–579.
OOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #runtime #using: Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
SAC-2009-HijikataHON #algorithm #analysis #using: HITS algorithm improvement using anchor-related text extracted by DOM structure analysis (YH, BQH, MO, SN), pp. 1691–1698.
SAC-2009-KahvedzicK #data type #on the #persistent: On the persistence of deleted windows registry data structures (DK, MTK), pp. 895–896.
SAC-2009-LievensH #encapsulation #multi #symmetry: Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
SAC-2009-MathuriyaBHH #manycore #named #predict #scalability: GTfold: a scalable multicore code for RNA secondary structure prediction (AM, DAB, CEH, SCH), pp. 981–988.
SAC-2009-PaimNPSCB #process: Structuring a process management center of excellence (RP, VTN, BP, FMS, CC, FAB), pp. 281–282.
ESEC-FSE-2009-LongWC #api: Api hyperlinking via structural overlap (FL, XW, YC), pp. 203–212.
LDTA-2008-LammelTK09 #fault #programming #source code #traversal: Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.
HPCA-2009-EbrahimiMP #data type #hybrid #linked data #open data: Techniques for bandwidth-efficient prefetching of linked data structures in hybrid prefetching systems (EE, OM, YNP), pp. 7–17.
HPCA-2009-PowellBEMSY #named #parametricity #runtime #using: CAMP: A technique to estimate per-structure power at run-time using a few simple parameters (MDP, AB, JSE, SSM, BRS, SMY), pp. 289–300.
CSL-2009-Abel #evaluation #normalisation: Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.
CSL-2009-KuskeL #automation #bound #revisited: Automatic Structures of Bounded Degree Revisited (DK, ML), pp. 364–378.
ICST-2009-SiddiquiK #generative #named #parallel #testing: PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
LICS-2009-Mimram #first-order: The Structure of First-Order Causality (SM), pp. 212–221.
SAT-2009-LiMMP #satisfiability: Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.
TestCom-FATES-2009-GuoDW #erlang #source code #testing: Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
TestCom-FATES-2009-Szabados #analysis #scalability: Structural Analysis of Large TTCN-3 Projects (KS), pp. 241–246.
TLCA-2009-FaggianP #linear #partial order: Partial Orders, Event Structures and Linear Strategies (CF, MP), pp. 95–111.
TLCA-2009-Hamana #algebra #semantics: Initial Algebra Semantics for Cyclic Sharing Structures (MH), pp. 127–141.
VMCAI-2009-GurovH #behaviour #source code: Reducing Behavioural to Structural Properties of Programs with Procedures (DG, MH), pp. 136–150.
CBSE-2008-SundmarkCPE #component #testing: Structural Testing of Component-Based Systems (DS, JC, SP, AE), pp. 180–195.
WICSA-2008-Aldrich #architecture #using: Using Types to Enforce Architectural Structure (JA), pp. 211–220.
WICSA-2008-LaMantiaCMR #design #evolution #matrix #scalability #using: Analyzing the Evolution of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory: Two Exploratory Cases (MJL, YC, AM, JR), pp. 83–92.
ASE-2008-BrichauKM #source code #using: Enforcing Structural Regularities in Source Code using IntensiVE (JB, AK, KM), pp. 471–472.
ASE-2008-InkumsahX #execution #object-oriented #source code #symbolic computation #testing: Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.
CASE-2008-HeribanTGF #behaviour: Improving rotation behaviour of robotic structures for micro-assembly (DH, AT, MG, GF), pp. 983–988.
CASE-2008-KumarTSS #fuzzy #modelling #nondeterminism: A fuzzy system for modeling the structure-activity relationships in presence of uncertainties (MK, KT, NS, RS), pp. 1025–1030.
DATE-2008-MuirAL #automation #pipes and filters #streaming: Automated Dynamic Throughput-constrained Structural-level Pipelining in Streaming Applications (MM, TA, IL), pp. 1358–1361.
DATE-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.
DATE-2008-WangH #multi #synthesis: Structural Synthesis of Four-Quadrant Multiplier Based on Hierarchical Topology (XW, LH), pp. 800–803.
DocEng-2008-BalinskyWRA #automation #documentation: Automated repurposing of implicitly structured documents (HB, AW, MR, AAR), pp. 42–51.
DocEng-2008-CesarVKMHBSBG #adaptation #documentation #multi #ubiquitous: Multimedia adaptation in ubiquitous environments: benefits of structured multimedia documents (PC, IV, RK, SM, CH, MB, AS, DCAB, BG), pp. 275–284.
DRR-2008-FumeI #analysis #categorisation #clustering #documentation #modelling #semantics: Model-based document categorization employing semantic pattern analysis and local structure clustering (KF, YI), p. 68150.
DRR-2008-LemaitreCC #documentation #recognition: A generic method for structure recognition of handwritten mail documents (AL, JC, BC), p. 68150.
HT-2008-AlbertsenB: User defined structural searches in mediawiki (JA, NOB), pp. 15–20.
HT-2008-Kleinberg #data flow #process #social: Link structures, information flow, and social processes (JMK), pp. 3–4.
HT-2008-PourabdollahAB #approach #hypermedia #rdf #xml: Are we talking about the same structure?: a unified approach to hypertext links, xml, rdf and zigzag (AP, HA, TJB), pp. 241–242.
SIGMOD-2008-BollackerEPST #database #graph #named: Freebase: a collaboratively created graph database for structuring human knowledge (KDB, CE, PP, TS, JT), pp. 1247–1250.
SIGMOD-2008-LiOFWZ #effectiveness #keyword #named: EASE: an effective 3-in-1 keyword search method for unstructured, semi-structured and structured data (GL, BCO, JF, JW, LZ), pp. 903–914.
SIGMOD-2008-WuLOT #query #retrieval: Just-in-time query retrieval over partially indexed data on structured P2P overlays (SW, JL, BCO, KLT), pp. 279–290.
SIGMOD-2008-WuRSM #database #topic: Discovering topical structures of databases (WW, BR, YS, RM), pp. 1019–1030.
VLDB-2008-Cohen #constraints #generative #using #xml: Generating XML structure using examples and constraints (SC), pp. 490–501.
VLDB-2008-HayMJTW #identification #network #social: Resisting structural re-identification in anonymized social networks (MH, GM, DJ, DFT, PW), pp. 102–114.
VLDB-2008-KunduB #data type: Structural signatures for tree data structures (AK, EB), pp. 138–150.
VLDB-2008-LuuSKPZRA #named #network #peer-to-peer #retrieval #scalability: AlvisP2P: scalable peer-to-peer text retrieval in a structured P2P network (TL, GS, FK, MP, IPZ, MR, KA), pp. 1424–1427.
VLDB-2008-MoroVT #summary #xml: XML Structural Summaries (MMM, ZV, VJT), pp. 1524–1525.
VLDB-2008-PaquetV #database #named #perspective: Capri/MR: exploring protein databases from a structural and physicochemical point of view (EP, HLV), pp. 1504–1507.
VLDB-2008-SearsCB #named #replication: Rose: compressed, log-structured replication (RS, MC, EAB), pp. 526–537.
VLDB-2008-WangLLG #documentation #query #xml: Hash-base subgraph query processing method for graph-structured XML documents (HW, JL, JL, HG), pp. 478–489.
ITiCSE-2008-MatzkoD #approach #data type: A graphics-based approach to data structures (SM, TAD), pp. 109–113.
ESOP-2008-ConchonF #data type: Semi-persistent Data Structures (SC, JCF), pp. 322–336.
FoSSaCS-2008-KlinS #calculus #probability #process #semantics: Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.
CSMR-2008-CosmaM #comprehension #dependence #distributed #object-oriented #using: Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies (DCC, RM), pp. 103–112.
ICSM-2008-LuciaOV #metric #semantics #using: Using structural and semantic metrics to improve class cohesion (ADL, RO, LV), pp. 27–36.
MSR-2008-BettenburgPZK #debugging: Extracting structural information from bug reports (NB, RP, TZ, SK), pp. 27–30.
PASTE-2008-MarronMHSK #analysis #array #recursion: Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.
SCAM-2008-CeccatoDT #legacy #program transformation #using: Using Program Transformations to Add Structure to a Legacy Data Model (MC, TRD, PT), pp. 197–206.
SCAM-2008-HindleGH: From Indentation Shapes to Code Structures (AH, MWG, RCH), pp. 111–120.
WCRE-2008-ByelasT #diagrams #lens #metric #visualisation: The Metric Lens: Visualizing Metrics and Structure on Software Diagrams (HB, ACT), pp. 339–340.
WCRE-2008-GhanbariCA #analysis #aspectj #hybrid #java #query #source code: A Hybrid Query Engine for the Structural Analysis of Java and AspectJ Programs (HG, CC, VA), pp. 133–137.
WCRE-2008-HashimotoM #analysis #fine-grained #named: Diff/TS: A Tool for Fine-Grained Structural Change Analysis (MH, AM), pp. 279–288.
WCRE-2008-YuW #comprehension #evolution #tool support: Graph-Centric Tools for Understanding the Evolution and Relationships of Software Structures (YY, MW), pp. 329–330.
PLDI-2008-Solar-LezamaJB #concurrent #data type #sketching: Sketching concurrent data structures (ASL, CGJ, RB), pp. 136–148.
PLDI-2008-ZeeKR #data type #functional #linked data #open data #verification: Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
SAS-2008-PredaGV: Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.
ICALP-A-2008-Courcelle #aspect-oriented #graph #higher-order #logic #monad: Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (BC), pp. 1–13.
ICALP-A-2008-DietzfelbingerP #approximate #data type #retrieval: Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) (MD, RP), pp. 385–396.
ICALP-B-2008-YokoyamaAG #theorem: Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.
LATA-2008-MoriyaO #on the: On Alternating Phrase-Structure Grammars (EM, FO), pp. 397–408.
GT-VMT-2008-NarayananK #model transformation #verification: Verifying Model Transformations by Structural Correspondence (AN, GK).
ICGT-2008-RiegerN #data type: Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.
CHI-2008-StewartoZ #idea #navigation: Idea navigation: structured browsing for unstructured text (RS, GS, VZ), pp. 1789–1792.
CSCW-2008-ChungH #distributed #network: Network structure, position, ties and ICT use in distributed knowledge-intensive work (KSKC, LH), pp. 545–554.
CAiSE-2008-MullerRH #adaptation #data-driven #paradigm #process: A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures (DM, MR, JH), pp. 48–63.
ICEIS-AIDSS-2008-AccianiFMM #classification #feature model #search-based #statistics: Genetic Feature Selection and Statistical Classification of Voids in Concrete Structure (GA, GF, DM, DM), pp. 231–234.
ICEIS-HCI-2008-StoitsevSFM08a #modelling #process #programming: Enabling end Users to Proactively Tailor Underspecified, Human-Centric Business Processes — “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 38–46.
ICEIS-ISAS1-2008-IdaniC #towards #uml: Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.
ICEIS-ISAS2-2008-BainaT #algorithm #graph #hybrid #towards #verification #workflow: Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
ICEIS-ISAS2-2008-IdoudiDSBG #database #realtime: Structural Model of Real-Time Databases (NI, CD, BS, RB, FG), pp. 319–324.
ICEIS-ISAS2-2008-ShigemitsuS #diagrams: Extracting Class Structure Based on Fishbone Diagrams (MS, YS), pp. 460–465.
ICEIS-J-2008-FolinoGGP08a #modelling #multi #process: Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes (FF, GG, AG, LP), pp. 130–143.
ICEIS-J-2008-StoitsevSFM08b #modelling #process #programming: Enabling End Users to Proactively Tailor Underspecified, Human-Centric Business Processes: “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 307–320.
CIKM-2008-AliCKL #documentation #evaluation #retrieval: Structural relevance: a common basis for the evaluation of structured document retrieval (MSA, MPC, GK, ML), pp. 1153–1162.
CIKM-2008-ArnoldC #adaptation: Intra-document structural frequency features for semi-supervised domain adaptation (AA, WWC), pp. 1291–1300.
CIKM-2008-BoedihardjoLC #data type #framework #probability: A framework for estimating complex probability density structures in data streams (APB, CTL, FC), pp. 619–628.
CIKM-2008-ChenLYH #approach #effectiveness #graph #on the: On effective presentation of graph patterns: a structural representative approach (CC, CXL, XY, JH), pp. 299–308.
CIKM-2008-DuWW #community #detection #network: Overlapping community structure detection in networks (ND, BW, BW), pp. 1371–1372.
CIKM-2008-FeiH #classification #feature model #graph: Structure feature selection for graph classification (HF, JH), pp. 991–1000.
CIKM-2008-HutterKB #empirical: Peer production of structured knowledge -: an empirical study of ratings and incentive mechanisms (CH, CK, KB), pp. 827–842.
CIKM-2008-KarnstedtSHHSS #database #query: Estimating the number of answers with guarantees for structured queries in p2p databases (MK, KUS, MH, MH, BS, RS), pp. 1407–1408.
CIKM-2008-NguyenYF #adaptation #distributed #network #peer-to-peer: Adaptive distributed indexing for structured peer-to-peer networks (LTN, WGY, OF), pp. 1241–1250.
CIKM-2008-RaviP #scalability #using: Using structured text for large-scale attribute extraction (SR, MP), pp. 1183–1192.
CIKM-2008-RoyWDNM #database: Minimum-effort driven dynamic faceted search in structured databases (SBR, HW, GD, UN, MKM), pp. 13–22.
CIKM-2008-ZhaoC #documentation #generative #retrieval: A generative retrieval model for structured documents (LZ, JC), pp. 1163–1172.
ECIR-2008-FishbeinE #classification #encoding: Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification (JMF, CE), pp. 514–521.
ECIR-2008-FishbeinE08a #classification #modelling #semantics: Methods for Augmenting Semantic Models with Structural Information for Text Classification (JMF, CE), pp. 575–579.
ECIR-2008-NaKL08a #clustering #ranking #retrieval: Structural Re-ranking with Cluster-Based Retrieval (SHN, ISK, JHL), pp. 658–662.
ICML-2008-FinleyJ: Training structural SVMs when exact inference is intractable (TF, TJ), pp. 304–311.
ICML-2008-HuynhM #learning #logic #markov #network #parametricity: Discriminative structure and parameter learning for Markov logic networks (TNH, RJM), pp. 416–423.
ICML-2008-LiangDK #compilation: Structure compilation: trading structure for features (PL, HDI, DK), pp. 592–599.
ICML-2008-RavikumarAW #convergence #linear #message passing #source code: Message-passing for graph-structured linear programs: proximal projections, convergence and rounding schemes (PDR, AA, MJW), pp. 800–807.
ICML-2008-SarawagiG: Accurate max-margin training for structured output spaces (SS, RG), pp. 888–895.
ICML-2008-Schnall-LevinCB #algorithm #design #framework: Inverting the Viterbi algorithm: an abstract framework for structure design (MSL, LC, BB), pp. 904–911.
ICML-2008-ShringarpureX #named #search-based: mStruct: a new admixture model for inference of population structure in light of both genetic admixing and allele mutations (SS, EPX), pp. 952–959.
ICML-2008-YueJ #predict #set #using: Predicting diverse subsets using structural SVMs (YY, TJ), pp. 1224–1231.
ICPR-2008-DelayeMA #fuzzy #hybrid #online #recognition #statistics: Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system (AD, SM, ÉA), pp. 1–4.
ICPR-2008-FakihZ: Structure from Motion: Combining features correspondences and optical flow (AHF, JSZ), pp. 1–4.
ICPR-2008-GhoshM #classification #documentation #kernel #similarity #using #xml: Combining content and structure similarity for XML document classification using composite SVM kernels (SG, PM), pp. 1–4.
ICPR-2008-HuynhH #estimation #recursion #sequence #video: Recursive structure and motion estimation from noisy uncalibrated video sequences (DQH, AH), pp. 1–5.
ICPR-2008-JayS #3d #metric #similarity: Applying similarity metrics to 3D acquisition in structured-light systems (GTJ, RS), pp. 1–4.
ICPR-2008-NedzvedABMD #analysis #image: The structure analysis of ultra thin magnetic film images (AN, SA, AB, AM, WD), pp. 1–4.
ICPR-2008-ParkCDK #analysis #clustering #linear: Linear discriminant analysis for data with subcluster structure (HP, JC, BLD, JK), pp. 1–4.
ICPR-2008-Rokui #using: Tree-structure lossless coding using intervector angle (JR), pp. 1–4.
ICPR-2008-TauberRLCDO #automation #image #multi #performance #re-engineering: Fast and automatic reconstruction of structured illumination microscopy images with multiscale products (CT, PFGR, VL, NC, BD, JCOM), pp. 1–4.
ICPR-2008-UlkerGK #multi: A multiple model structure for tracking by variable rate particle filters (YÜ, BG, SK), pp. 1–4.
ICPR-2008-WangWFZ #adaptation #on the: On edge structure based adaptive observation model for facial feature tracking (XW, YW, XF, MZ), pp. 1–4.
ICPR-2008-WangWH #matrix: Structure and motion factorization under quasi-perspective projection with missing data in tracking matrix (GW, QMJW, WH), pp. 1–4.
ICPR-2008-WuJP #detection #effectiveness #linear: Effective features based on normal linear structures for detecting microcalcifications in mammograms (ZQW, JJ, YP), pp. 1–4.
ICPR-2008-YamauchiSS: Calibration of a structured light system by observing planar object from unknown viewpoints (KY, HS, YS), pp. 1–4.
KDD-2008-BhattacharyaGJ #categorisation #documentation #identification: Structured entity identification and document categorization: two tasks with one joint model (IB, SG, SJ), pp. 25–33.
KDD-2008-ChakrabartiKSB #learning #ranking: Structured learning for non-smooth ranking losses (SC, RK, US, CB), pp. 88–96.
KDD-2008-DavisD #learning #metric #problem: Structured metric learning for high dimensional problems (JVD, ISD), pp. 195–203.
KDD-2008-GaoFJH #information management #multi: Knowledge transfer via multiple model local structure mapping (JG, WF, JJ, JH), pp. 283–291.
KDD-2008-GarrigaJM #matrix: Banded structure in binary matrices (GCG, EJ, HM), pp. 292–300.
KDD-2008-KossinetsKW #communication #network #social: The structure of information pathways in a social communication network (GK, JMK, DJW), pp. 435–443.
KDD-2008-LiuYLWHD #bibliography #named #online: CRO: a system for online review structurization (HL, HY, WL, WW, JH, XD), pp. 1085–1088.
KDD-2008-YuJ #kernel #using: Training structural svms with kernels using sampled cuts (CNJY, TJ), pp. 794–802.
KR-2008-Halpern08a: Defaults and Normality in Causal Structures (JYH), pp. 198–208.
KR-2008-MotikGHS #graph #representation #using: Representing Structured Objects using Description Graphs (BM, BCG, IH, US), pp. 296–306.
KR-2008-RamanujamS #game studies #logic: Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.
SEKE-2008-XuSW #adaptation #fault #network #predict: An Adaptive Neural Network with Dynamic Structure for Software Defect Prediction (ZX, NS, WW), pp. 79–84.
SIGIR-2008-AlonsoT: Structuring collections with Scatter/Gather extensions (OA, JT), pp. 697–698.
SIGIR-2008-Gan #approach #query #using: Using a mediated query approach for matching unstructured query with structured resources (KHG), p. 895.
SIGIR-2008-HoonKTK #named #query: Minexml: bridging unstructured query with structured resources via mediated query (GKH, PKK, SST, TEK), p. 879.
SIGIR-2008-LeeKJ #algorithm #constraints #learning: Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM (CL, HK, MGJ), pp. 829–830.
SIGIR-2008-MeiZZ #framework #graph #modelling #optimisation: A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
SIGIR-2008-Winter #information retrieval #peer-to-peer #xml: Exploiting XML structure to improve information retrieval in peer-to-peer systems (JW), p. 890.
ECMDA-FA-2008-WoodAHM #array: Array OL Descriptions of Repetitive Structures in VHDL (SW, DHA, WGJH, KDMM), pp. 137–152.
MoDELS-2008-CuccuruGR: Meaningful Composite Structures (AC, SG, AR), pp. 828–842.
MoDELS-2008-CuccuruGR: Meaningful Composite Structures (AC, SG, AR), pp. 828–842.
ECOOP-2008-MalayeriA #type system: Integrating Nominal and Structural Subtyping (DM, JA), pp. 260–284.
OOPSLA-2008-GilM #java #named #type system: Whiteoak: introducing structural typing into java (JYG, IM), pp. 73–90.
TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
POPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight: Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
POPL-2008-JohannG #data type #programming: Foundations for structured programming with GADTs (PJ, NG), pp. 297–308.
POPL-2008-McBride #data type: Clowns to the left of me, jokers to the right (pearl): dissecting data structures (CM), pp. 287–295.
SAC-2008-BarczakJM #empirical #evaluation: Empirical evaluation of a new structure for AdaBoost (ALCB, MJJ, CHM), pp. 1764–1765.
SAC-2008-ChidlovskiiL #dependence #documentation #layout #network: Stacked dependency networks for layout document structuring (BC, LL), pp. 424–428.
SAC-2008-DornS #3d #approximate #named #predict: CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures (MD, ONdS), pp. 1261–1267.
SAC-2008-MaLZH #collaboration #middleware #named: SSCM: middleware for structure-based service collaboration (DM, ML, YZ, CH), pp. 2224–2225.
SAC-2008-RosenkranzHL #design: Designing IC structures by variety engineering (CR, RH, ML), pp. 518–523.
SAC-2008-TapiaZ: Partnering structure definition for networked businesses (RST, NZ), pp. 588–589.
SAC-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.
SAC-2008-VerbystM #retrieval: Doxels in context for retrieval: from structure to neighbours (DV, PM), pp. 1122–1126.
SAC-2008-ZhuDXW #documentation #image #linear #using: Perspective rectification of camera-based document images using local linear structure (YZ, RD, BX, CW), pp. 451–452.
FSE-2008-BirdPDFD #open source #social: Latent social structure in open source projects (CB, DSP, RMD, VF, PTD), pp. 24–35.
FSE-2008-CottrellWD #reuse #source code: Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.
FSE-2008-LinZ #execution: Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
ICSE-2008-EichbergKKM #dependence: Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.
ICSE-2008-ElkarabliehK #data type #named: Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.
ICSE-2008-MalikPUK #generative #invariant #named #representation: Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
ICSE-2008-NagappanMB #case study #empirical #quality: The influence of organizational structure on software quality: an empirical case study (NN, BM, VRB), pp. 521–530.
ICSE-2008-RajanWH #test coverage #testing: The effect of program and model structure on mc/dc test adequacy coverage (AR, MWW, MPEH), pp. 161–170.
HPDC-2008-ShafaatSMHGR #consistency #network: Key-based consistency and availability in structured overlay networks (TMS, TS, MM, SH, AG, AR), pp. 235–236.
ISMM-2008-MarlowHJJ #garbage collection #parallel: Parallel generational-copying garbage collection with a block-structured heap (SM, TH, RPJ, SLPJ), pp. 11–20.
OSDI-2008-CozzieSXK #data type: Digging for Data Structures (AC, FS, HX, STK), pp. 255–266.
OSDI-2008-DavidCCC #named #operating system #reliability: CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.
PPoPP-2008-ChandraSSB #analysis #data type #distributed #locality #type inference: Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
ICST-2008-BardinH #bytecode #testing: Structural Testing of Executables (SB, PH), pp. 22–31.
ISSTA-2008-ElkarabliehMK #constraints #performance: Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation: Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
LICS-2008-HjorthKMN #automation: From Automatic Structures to Borel Structures (GH, BK, AM, AN), pp. 431–441.
LICS-2008-NauroisM #correctness #multi #proving: Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
LICS-2008-SchurmannS #logic: Structural Logical Relations (CS, JS), pp. 69–80.
LICS-2008-Staton #category theory #logic #semantics: General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.
RTA-2008-EchahedP #pointer: A Needed Rewriting Strategy for Data-Structures with Pointers (RE, NP), pp. 63–78.
RTA-2008-FalkeK #data type #dependence #semantics: Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.
SAT-2008-GeorgiouP #algorithm #complexity #satisfiability: Complexity and Algorithms for Well-Structured k-SAT Instances (KG, PAP), pp. 105–118.
ECSA-2007-LoulouKJD #architecture #design: Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.
ASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support: Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
ASE-2007-DagenaisBWR #evolution #traceability: Inferring structural patterns for concern traceability in evolving software (BD, SB, FWW, MPR), pp. 254–263.
ASE-2007-ElkarabliehGSK #data type: Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
CASE-2007-ChienW: Structuring Manufacturing Strategy (CFC, JZW), pp. 265–269.
CASE-2007-LeungG #behaviour #locality #multi: Multi-Robot Localization and Mapping Strategy: Utilizing Behavior Based Dynamic Tree Structure and Observer-explorer Routine (KKKL, GG), pp. 881–886.
CASE-2007-Ruiz-BeltranRLA #modelling #petri net: A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.
CASE-2007-ZhuangXZD #multi #optimisation #set: Von Mises Stress and Level Set Method based Structural Topology Optimization with Multi-phase Materials (CZ, ZX, XZ, HD), pp. 945–949.
DAC-2007-JiangHS #design #difference: A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
DAC-2007-VermaBI #composition #heuristic: Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.
DATE-2007-MoselhyHD #3d #performance: pFFT in FastMaxwell: a fast impedance extraction solver for 3D conductor structures over substrate (TM, XH, LD), pp. 1194–1199.
DATE-2007-WuLLH #named #robust #satisfiability: QuteSAT: a robust circuit-based SAT solver for complex circuit structure (CAW, THL, CCL, CYH), pp. 1313–1318.
DocEng-2007-ZouLT #analysis #approach #html #markov: Structure and content analysis for html medical articles: a hidden markov model approach (JZ, DXL, GRT), pp. 199–201.
DRR-2007-HarringtonW #documentation: Presentation of structured documents without a style sheet (SJH, EW).
HT-2007-BielikovaJ #adaptation #incremental #ontology: Adaptive incremental browsing of ontology structure (MB, MJ), pp. 143–144.
HT-2007-CanosSPL #design #process: Strong vs. weak links: making processes prevail over structure in navigational design (JHC, CS, MdCP, ML), pp. 139–140.
HT-2007-Rubart #architecture: Architecting structure-aware applications (JR), pp. 185–188.
ICDAR-2007-ChangTO #image #physics #segmentation: Physical Structure Segmentation with Projection Profile for Mathematic Formulae and Graphics in Academic Paper Images (TYC, YT, MO), pp. 1193–1197.
ICDAR-2007-HamzaBB #approach #reasoning: A Case-Based Reasoning Approach for Invoice Structure Extraction (HH, YB, AB), pp. 327–331.
ICDAR-2007-LemaitreCC #documentation #multi #recognition: Contribution of Multiresolution Description for Archive Document Structure Recognition (AL, JC, BC), pp. 247–251.
ICDAR-2007-Mace #constraints #documentation #incremental #multi #online #parsing: Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation (SM), pp. 442–446.
ICDAR-2007-MinagawaFTF #analysis #image #layout #logic: Logical Structure Analysis for Form Images with Arbitrary Layout by Belief Propagation (AM, YF, HT, KF), pp. 714–718.
ICDAR-2007-NamboodiriNJ #on the #using: On Using Classical Poetry Structure for Indian Language Post-Processing (AMN, PJN, CVJ), pp. 1238–1242.
ICDAR-2007-SekiFNSM #analysis #documentation #information management #using: Information Management System Using Structure Analysis of Paper/Electronic Documents and Its Applications (MS, MF, TN, HS, KM), pp. 689–693.
PODS-2007-DalviS07a #probability #query: The dichotomy of conjunctive queries on probabilistic structures (NND, DS), pp. 293–302.
PODS-2007-GottlobPW #bound #datalog #finite #monad: Monadic datalog over finite structures with bounded treewidth (GG, RP, FW), pp. 165–174.
SIGMOD-2007-BhideGGRMI #named: LIPTUS: associating structured and unstructured information in a banking environment (MB, AG, RG, PR, MKM, ZI), pp. 915–924.
SIGMOD-2007-CrainiceanuLMGS #named #performance #robust: P-ring: an efficient and robust P2P range index structure (AC, PL, AM, JG, JS), pp. 223–234.
SIGMOD-2007-UdreaGM #integration #ontology: Leveraging data and structure in ontology integration (OU, LG, RJM), pp. 449–460.
VLDB-2007-ArionBMP #query #xml: Structured Materialized Views for XML Queries (AA, VB, IM, YP), pp. 87–98.
VLDB-2007-ChuBCDN #approach #incremental #query #relational #semistructured data: A Relational Approach to Incrementally Extracting and Querying Structure in Unstructured Data (EC, AB, TC, AD, JFN), pp. 1045–1056.
VLDB-2007-DeRoseSCDR #approach #community #composition #incremental #top-down #web: Building Structured Web Community Portals: A Top-Down, Compositional, and Incremental Approach (PD, WS, FC, AD, RR), pp. 399–410.
VLDB-2007-Helmer #documentation #similarity #using: Measuring the Structural Similarity of Semistructured Documents Using Entropy (SH), pp. 1022–1032.
VLDB-2007-YuJ #database #query: Querying Complex Structured Databases (CY, HVJ), pp. 1010–1021.
ITiCSE-2007-CalderCLLS #data type #education #student: Teaching data structures to students who are blind (MC, RFC, JAL, NL, JS), pp. 87–90.
ITiCSE-2007-ChinnSM #algorithm #data type #performance #problem #student: Problem solving and student performance in data structures and algorithms (DDC, CS, KM), pp. 241–245.
ITiCSE-2007-ErkanVS #data type #tex #visualisation: Data structure visualization with latex and prefuse (ASE, TJV, TMS), pp. 301–305.
ESOP-2007-CarboneHY #programming #web #web service: Structured Communication-Centred Programming for Web Services (MC, KH, NY), pp. 2–17.
ESOP-2007-LiOS #compilation #higher-order #logic #set: Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.
FASE-2007-KleinG #diagrams #specification #using: Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.
FoSSaCS-2007-Comon-LundhJP #automaton #constraints #memory management: Tree Automata with Memory, Visibility and Structural Constraints (HCL, FJ, NP), pp. 168–182.
TACAS-2007-HerbreteauST #concurrent: Unfolding Concurrent Well-Structured Transition Systems (FH, GS, TQT), pp. 706–720.
TACAS-2007-MalikPK #generative #invariant #representation: Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.
ICSM-2007-Anda #maintenance #metric #using: Assessing Software System Maintainability using Structural Measures and Expert Assessments (BA), pp. 204–213.
WCRE-2007-EvansFM #abstraction #clone detection #detection: Clone Detection via Structural Abstraction (WSE, CWF, FM), pp. 150–159.
PEPM-2007-CunhaV #query #source code #xpath: Transformation of structure-shy programs: applied to XPath queries and strategic functions (AC, JV), pp. 11–20.
PLDI-2007-ShankarB #automation #data type #invariant #java #named: DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
SAS-2007-ChangRN #analysis #invariant: Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
STOC-2007-JainV #algorithm: Eisenberg-Gale markets: algorithms and structural properties (KJ, VVV), pp. 364–373.
CIAA-J-2006-CrochemoreIS07: The Structure of Factor Oracles (MC, LI, ESH), pp. 781–797.
ICALP-2007-GuptaHSV #data type #framework: A Framework for Dynamizing Succinct Data Structures (AG, WKH, RS, JSV), pp. 521–532.
ICALP-2007-KreutzerOS #bound #monad: Boundedness of Monadic FO over Acyclic Structures (SK, MO, NS), pp. 571–582.
IFL-2007-DijkstraFS #compilation #complexity #haskell: The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
IFL-2007-FindlerGR #contract #data type #lazy evaluation: Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
CHI-2007-LeclercPI #modelling #named #physics #tool support #visualisation: Senspectra: a computationally augmented physical modeling toolkit for sensing and visualization of structural strain (VL, AJP, HI), pp. 801–804.
HCI-IDU-2007-GuoS #bibliography #industrial #web: Factor Structure of Content Preparation for E-Business Web Sites: A Survey Results of Industrial Employees in P.R. China (YG, GS), pp. 784–795.
HCI-IDU-2007-MartinR #design #human-computer #pattern matching: Structurally Supported Design of HCI Pattern Languages (CM, AR), pp. 1159–1167.
HCI-IDU-2007-TesorieroMLG #design pattern #human-computer: HCI Design Patterns for PDA Running Space Structured Applications (RT, FMS, MDL, JAG), pp. 1206–1215.
HCI-MIE-2007-ChungK #classification #using: Classification of a Person Picture and Scenery Picture Using Structured Simplicity (MBC, IJK), pp. 821–828.
HIMI-IIE-2007-TaguchiAT #analysis: Information on the Causal Relationship Between Store kaizen and Store Features That Attract Customers by Covariance Structural Analysis (YT, YA, TT), pp. 973–982.
HIMI-MTT-2007-SongQLPZ #linear #named #navigation: LensList: Browsing and Navigating Long Linear Information Structures (HS, YQ, YL, HP, LZ), pp. 535–543.
HIMI-MTT-2007-TakemuraOKHKY #documentation: Context-Based Loose Information Structure for Medical Free Text Document (TT, KO, HK, MH, TK, HY), pp. 544–548.
OCSC-2007-GamberiniMSSS #communication #feedback #game studies #multi #online #process #social: Unveiling the Structure: Effects of Social Feedback on Communication Activity in Online Multiplayer Videogames (LG, FM, FS, AS, AS), pp. 334–341.
VISSOFT-2007-CosmaM #distributed #visualisation: Distributable Features View: Visualizing the Structural Characteristics of Distributed Software Systems (DCC, RM), pp. 55–62.
CAiSE-2007-WalleCD #distributed #process #requirements #sequence: The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
EDOC-2007-HessHVE #approach #multi: Structuring Software Cities A Multidimensional Approach (AH, BH, MV, GE), pp. 122–129.
EDOC-2007-PesicSA #named #process: DECLARE: Full Support for Loosely-Structured Processes (MP, HS, WMPvdA), pp. 287–300.
ICEIS-AIDSS-2007-Dopichaj #retrieval #xml: Improving Content-Oriented XML Retrieval by Applying Structural Patterns (PD), pp. 5–13.
ICEIS-AIDSS-2007-KirwanGM #adaptation #case study #energy #implementation #information management #using: Energy Management Information Systems: An Exploratory study of Implementations Using Adaptive Structuration Theory (OK, WG, PM), pp. 303–309.
ICEIS-DISI-2007-DutaBA #equivalence #xml: XML schema structural equivalence (ACD, KB, RA), pp. 52–59.
ICEIS-DISI-2007-RaminhosP #approach #declarative #using: Extraction and transformation of data from semi-structured text files using a declarative approach (RR, JMP), pp. 199–205.
ICEIS-J-2007-RuizB07a #documentation: Summarizing Structured Documents through a Fractal Technique (MDR, ABB), pp. 328–340.
ICEIS-SAIC-2007-DandashWLS #detection #internet: A New Group Key Management Structure for Fraudulent Internet Banking Payments Detection (OD, YW, PDL, BS), pp. 57–62.
CIKM-2007-BloehdornM #kernel #semantics: Structure and semantics for expressive text kernels (SB, AM), pp. 861–864.
CIKM-2007-LeitaoCW #detection #fuzzy #similarity #xml: Structure-based inference of xml similarity for fuzzy duplicate detection (LL, PC, MW), pp. 293–302.
CIKM-2007-LiuTZ #learning #network: Ensembling Bayesian network structure learning on limited data (FL, FT, QZ), pp. 927–930.
CIKM-2007-ZhuSLW #documentation #effectiveness: Effective top-k computation in retrieving structured documents with term-proximity support (MZ, SS, ML, JRW), pp. 771–780.
ECIR-2007-QuarteroniMMB #classification #ranking: Advanced Structural Representations for Question Classification and Answer Re-ranking (SQ, AM, SM, RB), pp. 234–245.
ECIR-2007-ZwolL #effectiveness #retrieval #semantics #xml: Effective Use of Semantic Structure in XML Retrieval (RvZ, TvL), pp. 621–628.
ICML-2007-AmitFSU #classification #multi: Uncovering shared structures in multiclass classification (YA, MF, NS, SU), pp. 17–24.
ICML-2007-BhattacharyaBC #classification #kernel: Structural alignment based kernels for protein structure classification (SB, CB, NRC), pp. 73–80.
ICML-2007-GlobersonKCC #algorithm #predict: Exponentiated gradient algorithms for log-linear structured prediction (AG, TK, XC, MC), pp. 305–312.
ICML-2007-MihalkovaM #bottom-up #learning #logic #markov #network: Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.
ICML-2007-ParkerFT #learning #performance #query #retrieval: Learning for efficient retrieval of structured data with noisy queries (CP, AF, PT), pp. 729–736.
ICML-2007-RattiganMJ #clustering #graph #network: Graph clustering with network structure indices (MJR, MEM, DJ), pp. 783–790.
ICML-2007-TitovH #incremental #network #predict: Incremental Bayesian networks for structure prediction (IT, JH), pp. 887–894.
ICML-2007-XuanM #dependence #modelling #multi: Modeling changing dependency structure in multivariate time series (XX, KPM), pp. 1055–1062.
ICML-2007-ZienBS: Transductive support vector machines for structured variables (AZ, UB, TS), pp. 1183–1190.
KDD-2007-AggarwalTWFZ #clustering #documentation #framework #named #xml: Xproj: a framework for projected structural clustering of xml documents (CCA, NT, JW, JF, MJZ), pp. 46–55.
KDD-2007-ChiZSTT #analysis #community: Structural and temporal analysis of the blogosphere through community factorization (YC, SZ, XS, JT, BLT), pp. 163–172.
KDD-2007-ChopraTLCL #parametricity: Discovering the hidden structure of house prices with a non-parametric latent manifold model (SC, TT, JL, AC, YL), pp. 173–182.
KDD-2007-XuYFS #algorithm #clustering #named #network: SCAN: a structural clustering algorithm for networks (XX, NY, ZF, TAJS), pp. 824–833.
MLDM-2007-Holness #network: A Direct Measure for the Efficacy of Bayesian Network Structures Learned from Data (GH), pp. 601–615.
MLDM-2007-WisniewskiMDG #documentation #probability: Probabilistic Model for Structured Document Mapping (GW, FM, LD, PG), pp. 854–867.
SIGIR-2007-BilottiOCN #retrieval: Structured retrieval for question answering (MWB, PO, JC, EN), pp. 351–358.
SIGIR-2007-Broschart #graph #integration #performance #proximity #retrieval: Efficient integration of proximity for text, semi-structured and graph retrieval (AB), p. 917.
SIGIR-2007-Forst #documentation #logic #summary: A summarisation logic for structured documents (JFF), p. 919.
SIGIR-2007-PopoviciMM #documentation #effectiveness: An effective method for finding best entry points in semi-structured documents (EP, PFM, GM), pp. 851–852.
ECOOP-2007-ElkarabliehZK #generative: Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.
PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel: Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
QAPL-2007-VaraccaY #probability #π-calculus: Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
QAPL-2007-YaikhomCGH #approach #modelling #performance #using: A Structural Approach for Modelling Performance of Systems Using Skeletons (GY, MC, SG, JH), pp. 167–183.
PADL-2007-BarahonaK #approach #constraints #problem #programming: A Constraint Programming Approach to Bioinformatics Structural Problems (PB, LK), pp. 33–49.
POPL-2007-Ghica #approach #design #geometry #synthesis: Geometry of synthesis: a structured approach to VLSI design (DRG), pp. 363–375.
REFSQ-2007-PohlS #architecture #co-evolution #design #requirements: Structuring the Co-design of Requirements and Architecture (KP, ES), pp. 48–62.
REFSQ-2007-SorbyN #behaviour #framework #towards: Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards (IDS, ØN), pp. 262–276.
SAC-2007-ChiangH #adaptation #file system #performance: Improving the performance of log-structured file systems with adaptive block rearrangement (MLC, JSH), pp. 1136–1140.
SAC-2007-DUliziaFFGR #query #similarity: Structural similarity in geographical queries to improve query answering (AD, FF, AF, PG, MR), pp. 19–23.
SAC-2007-FangWLYD #assessment #detection #multi #sequence #using: The detection and assessment of possible RNA secondary structure using multiple sequence alignment (XF, ZW, ZL, BY, FD), pp. 133–137.
SAC-2007-KimS #approach #consistency #modelling #uml: An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.
SAC-2007-NangP #feedback #multi #performance #retrieval: An efficient indexing structure for content based multimedia retrieval with relevance feedback (JN, JP), pp. 517–524.
SAC-2007-ZhangXLY #clustering #modelling: Improved structural modeling based on conserved domain clusters and structure-anchored alignments (FZ, LX, ZL, BY), pp. 128–132.
ESEC-FSE-2007-CottrellCWD: Determining detailed structural correspondence for generalization tasks (RC, JJCC, RJW, JD), pp. 165–174.
ESEC-FSE-2007-KosterK #behaviour #test coverage #testing: State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
ICSE-2007-KimNG #automation: Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
ICSE-2007-MilicevicMMK #generative #named #testing: Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.
CGO-2007-RamanHM #layout #optimisation #parallel #source code #thread: Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.
HPDC-2007-HackerM #queue #reliability #using: Using queue structures to improve job reliability (TJH, ZM), pp. 43–54.
PPoPP-2007-Gonzalez-VelezC #adaptation #parallel: Adaptive structured parallelism for computational grids (HGV, MC), pp. 140–141.
CAV-2007-BabicH #abstraction #verification: Structural Abstraction of Software Verification Conditions (DB, AJH), pp. 366–378.
CAV-2007-BerdineCCDOWY #analysis #data type: Shape Analysis for Composite Data Structures (JB, CC, BC, DD, PWO, TW, HY), pp. 178–192.
CAV-2007-BouajjaniFQ #analysis #bound #parallel #source code #thread: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.
CSL-2007-AbdullaDB #power of: Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
CSL-2007-DawarR #finite #logic #power of #strict: The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
CSL-2007-NauroisM #correctness #exponential #multi #proving: Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.
CSL-2007-WeisI #strict #theorem #word: Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (PW, NI), pp. 343–357.
ICLP-2007-Morozov #analysis #design #logic programming #visual notation: Visual Logic Programming Method Based on Structural Analysis and Design Technique (AAM), pp. 436–437.
ISSTA-2007-HarmanM #empirical #generative #testing: A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation (MH, PM), pp. 73–83.
RTA-2007-EchahedP #confluence #pointer #strict #term rewriting: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers (RE, NP), pp. 137–152.
TLCA-2007-Fiore #difference #linear #logic #modelling #multi: Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.
VMCAI-2007-BouillaguetKWZR #data type #first-order #proving #theorem proving #using #verification: Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.
VMCAI-2007-RakamaricBH #data type #source code #verification: An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
CASE-2006-ChenYTCW #difference #fuzzy #hybrid #linear #matrix: Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
CASE-2006-XieLP #hybrid #linear: The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
DAC-2006-IyengarGT #flexibility #scalability: A flexible and scalable methodology for GHz-speed structural test (VI, GG, MT), pp. 314–319.
DAC-2006-WongC #matrix #performance: A fast passivity test for descriptor systems via structure-preserving transformations of Skew-Hamiltonian/Hamiltonian matrix pencils (NW, CKC), pp. 261–266.
DAC-2006-YangCGJ #algorithm #matrix #parallel #rank #scalability: A parallel low-rank multilevel matrix compression algorithm for parasitic extraction of electrically large structures (CY, SC, DG, VJ), pp. 1053–1056.
DAC-2006-YuSH #analysis #grid #order #performance #power management #reduction: Fast analysis of structured power grid by triangularization based structure preserving model order reduction (HY, YS, LH), pp. 205–210.
DATE-2006-GiunchigliaNT #quantifier: Quantifier structure in search based procedures for QBFs (EG, MN, AT), pp. 812–817.
DATE-DF-2006-HuttonYSBCCP #synthesis #verification: A methodology for FPGA to structured-ASIC synthesis and verification (MH, RY, JS, GB, SC, KKC, HKP), pp. 64–69.
DocEng-2006-BrunoM #query #xml: Describing and querying hierarchical XML structures defined over the same textual data (EB, EM), pp. 147–154.
DocEng-2006-CesarBJ #documentation #multi: Benefits of structured multimedia documents in IDTV: the end-user enrichment system (PC, DCAB, AJJ), pp. 176–178.
DocEng-2006-FloresQV #editing: Templates, microformats and structured editing (FCF, VQ, IV), pp. 188–197.
DocEng-2006-ZeridaLC #mining: Combining linguistic and structural descriptors for mining biomedical literature (NZ, NL, BC), pp. 62–64.
PODS-2006-GangulyM: Deterministic k-set structure (SG, AM), pp. 280–289.
PODS-2006-GyssensPGF #documentation #navigation #semantics #xpath: Structural characterizations of the semantics of XPath as navigation tool on a document (MG, JP, DVG, GHLF), pp. 318–327.
PODS-2006-Koch #query: Processing queries on tree-structured data efficiently (CK), pp. 213–224.
SIGMOD-2006-JagadishOTVZ #multi #network #peer-to-peer: Speeding up search in peer-to-peer networks with a multi-way tree structure (HVJ, BCO, KLT, QHV, RZ), pp. 1–12.
SIGMOD-2006-LiHKR #authentication #database #outsourcing: Dynamic authenticated index structures for outsourced databases (FL, MH, GK, LR), pp. 121–132.
SIGMOD-2006-MathisHH #query #xml: Locking-aware structural join operators for XML query processing (CM, TH, MPH), pp. 467–478.
VLDB-2006-ChakaravarthyGRM #documentation: Efficiently Linking Text Documents with Relevant Structured Information (VTC, HG, PR, MKM), pp. 667–678.
VLDB-2006-MohanW #approach #data access #interactive #named: IPAC — An Interactive Approach to Access Control for Semi-structured Data (SM, YW), pp. 1147–1150.
CSEET-2006-WallaceWB #analysis #problem: Instruction in Problem Structuring and Analysis Through Problem Frames (CW, XW, VB), pp. 185–186.
ITiCSE-2006-Sher #data type #internet: Motivating data structures with caching internet stock data (DBS), p. 344.
FoSSaCS-2006-KuskeL #first-order: First-Order and Counting Theories of ω-Automatic Structures (DK, ML), pp. 322–336.
FoSSaCS-2006-YorshRSMB #linked data #logic #open data: A Logic of Reachable Patterns in Linked Data-Structures (GY, AMR, MS, AM, AB), pp. 94–110.
TACAS-2006-DeshmukhEG #automation #data type #verification: Automatic Verification of Parameterized Data Structures (JVD, EAE, PG), pp. 27–41.
CSMR-2006-MensK #source code: IntensiVE, a toolsuite for documenting and checking structural source-code regularities (KM, AK), pp. 239–248.
ICPC-2006-BeyerH #evolution #visualisation: Evolution Storyboards: Visualization of Software Structure Dynamics (DB, AEH), pp. 248–251.
ICPC-2006-PhengV #analysis #data type #java #source code: Dynamic Data Structure Analysis for Java Programs (SP, CV), pp. 191–201.
ICSM-2006-Hou #constraints #design #source code #using: Using Structural Constraints to Specify and Check Design Intent in Source Code — Ph.D. Dissertation Synopsis (DH), pp. 343–346.
WCRE-2006-FischerG #analysis #approach #lightweight #named #scalability: EvoGraph: A Lightweight Approach to Evolutionary and Structural Analysis of Large Software Systems (MF, HG), pp. 179–188.
SAS-2006-Arnold #analysis #logic #refinement #using: Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
SAS-2006-BouajjaniHRV #data type #model checking: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (AB, PH, AR, TV), pp. 52–70.
SAS-2006-JhalaMX #invariant: Structural Invariants (RJ, RM, RGX), pp. 71–87.
FLOPS-2006-DiscoloHMJS #data type #haskell #using: Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.
CIAA-2006-Leung #ambiguity #automaton #finite: Structurally Unambiguous Finite Automata (HL), pp. 198–207.
DLT-2006-AlurM #word: Adding Nesting Structure to Words (RA, PM), pp. 1–13.
ICALP-v1-2006-ColeKL #performance: Suffix Trays and Suffix Trists: Structures for Faster Text Indexing (RC, TK, ML), pp. 358–369.
ICALP-v1-2006-GopalanKMP #satisfiability: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (PG, PGK, ENM, CHP), pp. 346–357.
ICFP-2006-OwensF: From structures and functors to modules and units (SO, MF), pp. 87–98.
IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using: On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
ICGT-2006-EchahedP #pointer: Narrowing Data-Structures with Pointers (RE, NP), pp. 92–106.
CHI-2006-IqbalB #cost analysis #predict: Leveraging characteristics of task structure to predict the cost of interruption (STI, BPB), pp. 741–750.
CHI-2006-ZhengBM: Co-authoring with structured annotations (QZ, KSB, JM), pp. 131–140.
CSCW-2006-AokiSPTWY #multi: Where’s the “party” in “multi-party”?: analyzing the structure of small-group sociable talk (PMA, MHS, LDP, JDT, AW, WY), pp. 393–402.
CSCW-2006-FonoB #chat #persistent: Structuring and supporting persistent chat conversations (DF, RB), pp. 455–458.
CSCW-2006-HindsM #coordination #distributed #social: Structures that work: social structure, work structure and coordination ease in geographically distributed teams (PJH, CM), pp. 343–352.
SOFTVIS-2006-FronkBK #3d #java #visualisation: 3D visualisation of code structures in Java software systems (AF, AB, MK), pp. 145–146.
SOFTVIS-2006-GauvinB #automation #data flow #layout #programming language #visual notation: Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.
EDOC-2006-DongenMA #modelling #process: Structural Patterns for Soundness of Business Process Models (BFvD, JM, WMPvdA), pp. 116–128.
EDOC-2006-HauserFKV #analysis #workflow: Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows (RH, MF, JMK, JV), pp. 129–140.
EDOC-2006-KunduB #using #xml: Secure Dissemination of XML Content Using Structure-based Routing (AK, EB), pp. 153–164.
EDOC-2006-OgasawaraTY #execution #modelling #process: Estimating Structures of Business Process Models from Execution Logs (SO, KT, TY), pp. 106–115.
EDOC-2006-Wu #web: User-Centered Agents for Structured Information Location on the Web (XW).
ICEIS-AIDSS-2006-Grzeszczyk #evaluation #set: Application of the Rough Set Method for Evaluation of Structural Funds Projects (TAG), pp. 202–207.
ICEIS-AIDSS-2006-SoaresSS #community #semantics: Selecting and Structuring Semantic Resources to Support SMEs Knowledge Communities (ALS, MMdS, DS), pp. 270–277.
ICEIS-ISAS-2006-QueirosR #approach #information management #social: Structured Approach for the Introduction of Information Services into the Private Social Solidarity Institutions (AQ, NPdR), pp. 343–348.
ICEIS-J-2006-Ifinedo06a #approach #enterprise #equation #modelling #resource management: Measuring Enterprise Resource Planning (ERP) Systems Success: A Structural Equation Modeling Approach (PI), pp. 86–97.
CIKM-2006-HlaouaSB #feedback #retrieval #xml: A structure-oriented relevance feedback method for XML retrieval (LH, KS, MB), pp. 780–781.
CIKM-2006-MarsoloPR #query #using: Structure-based querying of proteins using wavelets (KM, SP, KR), pp. 24–33.
CIKM-2006-NanavatiGDCDMJ #graph #on the: On the structural properties of massive telecom call graphs: findings and implications (AAN, SG, GD, DC, KD, SM, AJ), pp. 435–444.
ECIR-2006-SchenkelT #feedback #keyword #retrieval #xml: Structural Feedback for Keyword-Based XML Retrieval (RS, MT), pp. 326–337.
ECIR-2006-VittautG #information retrieval #machine learning #ranking: Machine Learning Ranking for Structured Information Retrieval (JNV, PG), pp. 338–349.
ECIR-2006-WangR #documentation #retrieval: Context-Specific Frequencies and Discriminativeness for the Retrieval of Structured Documents (JW, TR), pp. 579–582.
ECIR-2006-ZwolBOW #documentation #named #query #retrieval: Bricks: The Building Blocks to Tackle Query Formulation in Structured Document Retrieval (RvZ, JB, HvO, FW), pp. 314–325.
ICML-2006-BrefeldS #learning: Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.
ICML-2006-DegrisSW #learning #markov #problem #process: Learning the structure of Factored Markov Decision Processes in reinforcement learning problems (TD, OS, PHW), pp. 257–264.
ICML-2006-LiM #correlation #modelling #topic: Pachinko allocation: DAG-structured mixture models of topic correlations (WL, AM), pp. 577–584.
ICML-2006-SilvaS #learning #metric #modelling: Bayesian learning of measurement and structural models (RBdAeS, RS), pp. 825–832.
ICML-2006-XuWSS #learning #predict: Discriminative unsupervised learning of structured predictors (LX, DFW, FS, DS), pp. 1057–1064.
ICPR-v1-2006-Lhuillier #effectiveness #fault #using: Effective and Generic Structure from Motion using Angular Error (ML), pp. 67–70.
ICPR-v1-2006-LladoBA #parametricity #re-engineering #using: Euclidean Reconstruction of Deformable Structure Using a Perspective Camera with Varying Intrinsic Parameters (XL, ADB, LdA), pp. 139–142.
ICPR-v1-2006-Lopez-de-TeruelRF #3d #navigation #performance #re-engineering #visual notation: Efficient Monocular 3D Reconstruction from Segments for Visual Navigation in Structured Environments (PELdT, AR, LF), pp. 143–146.
ICPR-v1-2006-LuM #constraints: A New Structural Constraint and its Application in Wide Baseline Matching (XL, RM), pp. 84–89.
ICPR-v1-2006-WongC06a #adaptation: Adaptive Processing of Face Emotion Tree Structures (JJW, SYC), pp. 1184–1187.
ICPR-v2-2006-KimK06b #estimation #graph #modelling #monte carlo #multi #online: Multi-modal Sequential Monte Carlo for On-Line Hierarchical Graph Structure Estimation in Model-based Scene Interpretation (SK, ISK), pp. 251–254.
ICPR-v2-2006-MaceA #documentation #online: A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents (SM, ÉA), pp. 1106–1109.
ICPR-v3-2006-AsanoTTTANTHM #using: Extraction of trabecular structures of mandible excluding tooth roots on dental panoramic radiographs using mathematical morphology (AA, TT, AT, CMA, TN, KT, TH, MM), pp. 988–991.
ICPR-v3-2006-BouchaffraT #markov #recognition #using: Protein Fold Recognition using a Structural Hidden Markov Model (DB, JT), pp. 186–189.
ICPR-v3-2006-DePieroC #graph: Structural Matching Via Optimal Basis Graphs (FWD, JKC), pp. 449–452.
ICPR-v3-2006-DoshiB: Structural flow smoothing for shape interpolation (AD, AGB), pp. 11–14.
ICPR-v3-2006-FujitaMH #detection: A Method for Crack Detection on a Concrete Structure (YF, YM, YH), pp. 901–904.
ICPR-v3-2006-KitasakaNMSMTN #analysis #recognition: Recognition of lung lobes and its application to the bronchial structure analysis (TK, YN, KM, YS, MM, HT, HN), pp. 288–291.
ICPR-v3-2006-LakamperL #3d #using: Using Extended EM to Segment Planar Structures in 3D (RL, LJL), pp. 1077–1082.
ICPR-v3-2006-VlietF #analysis #clustering #multi: Multi-orientation analysis by decomposing the structure tensor and clustering (LJvV, FGAF), pp. 856–860.
ICPR-v3-2006-WangHWH #approach #image: A New Approach for Fractal Image Compression on a Virtual Hexagonal Structure (HW, XH, QW, TH), pp. 909–912.
ICPR-v3-2006-WatanabeS #image #multi: Planar Structure Based Registration of Multiple Range Images (DW, HS), pp. 689–692.
ICPR-v3-2006-YoshimuraHM #comparison: Comparison of Structural Variables with Spatio-temporal Variables Concerning the Identifiability of Okuri Class and Player in Japanese Traditional Dancing (MY, KH, YM), pp. 308–311.
ICPR-v4-2006-FengFCS #novel: A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility (YF, JF, XC, ZS), pp. 374–377.
ICPR-v4-2006-FengL #clustering #graph #self: Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.
ICPR-v4-2006-IketaniSIKNY #documentation #video: Video Mosaicing for Curved Documents Based on Structure from Motion (AI, TS, SI, MK, NN, NY), pp. 391–396.
ICPR-v4-2006-ZhangMH #feature model #multi #network: Multiscale Feature Extraction of Finger-Vein Patterns Based on Curvelets and Local Interconnection Structure Neural Network (ZZ, SM, XH), pp. 145–148.
ICPR-v4-2006-ZhaoSC #clustering #using: Fingerprint Registration Using Minutia Clusters and Centroid Structure 1 (DZ, FS, AC), pp. 413–416.
KDD-2006-KumarNT #evolution #network #online #social: Structure and evolution of online social networks (RK, JN, AT), pp. 611–617.
KDD-2006-RattiganMJ #approximate #network #performance #using: Using structure indices for efficient approximation of network properties (MJR, MEM, DJ), pp. 357–366.
SEKE-2006-SartipiS #analysis #concept #evaluation #execution #mining: Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation (KS, HS), pp. 302–308.
SIGIR-2006-HuangZL #learning #taxonomy: Refining hierarchical taxonomy structure via semi-supervised learning (RH, ZZ, WL), pp. 653–654.
SIGIR-2006-MaddageLK #music #retrieval: Music structure based vector space retrieval (NCM, HL, MSK), pp. 67–74.
SIGIR-2006-TrotmanL06a #query #why: Why structural hints in queries do not help XML-retrieval (AT, ML), pp. 711–712.
SIGIR-2006-VidalSMC #crawling #generative: Structure-driven crawler generation by example (MLAV, ASdS, ESdM, JMBC), pp. 292–299.
SIGIR-2006-YangL #documentation #similarity: Measuring similarity of semi-structured documents with context weights (CCY, NL), pp. 719–720.
ECOOP-2006-Mitchell #runtime: The Runtime Structure of Object Ownership (NM), pp. 74–98.
OOPSLA-2006-DargaB #data type #model checking #performance: Efficient software model checking of data structure properties (PTD, CB), pp. 363–382.
GPCE-2006-BromanNF #constraints #equation #using: Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.
SAC-2006-BastideSO #adaptation #component: Adapting software components by structure fragmentation (GB, AS, MO), pp. 1751–1758.
SAC-2006-Ben-AsherBE #multi: Management of unspecified semi-structured data in multi-agent environment (YBA, SB, YE), pp. 101–105.
SAC-2006-FassettiGT #biology #performance: Efficient discovery of loosely structured motifs in biological data (FF, GG, GT), pp. 151–155.
SAC-2006-HanenbergAU #aspect-oriented: Aspect-specification based on structural type information (SH, MAM, RU), pp. 1575–1579.
SAC-2006-JacquenetL #documentation #using: Using the structure of documents to improve the discovery of unexpected information (FJ, CL), pp. 1036–1042.
SAC-2006-JiangWC #symmetry: Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.
SAC-2006-LesbegueriesGL #information management: Geographical information access for non-structured data (JL, MG, PL), pp. 83–89.
SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability: A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.
SAC-2006-RendaS #automation #distributed #library #query: Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
SAC-2006-WongC #adaptation #recognition: Facial emotion recognition by adaptive processing of tree structures (JJW, SYC), pp. 23–30.
SAC-2006-WuH #interactive #mining #network: Mining and analyzing the topological structure of protein-protein interaction networks (DDW, XH), pp. 185–189.
FSE-2006-KapurMZ #data type: Interpolation for data structures (DK, RM, CGZ), pp. 105–116.
ICSE-2006-BeckerBGKS #adaptation #invariant #verification: Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
ICSE-2006-MitaniKMIHIBM #empirical #framework #industrial #re-engineering #research: Effects of software industry structure on a research framework for empirical software engineering (YM, NK, TM, SI, YH, KI, MB, KiM), pp. 616–619.
CGO-2006-HundtMC #layout #optimisation: Practical Structure Layout Optimization and Advice (RH, SM, DRC), pp. 233–244.
CGO-2006-LauPC #analysis: Selecting Software Phase Markers with Code Structure Analysis (JL, EP, BC), pp. 135–146.
HPCA-2006-PenryFHWSAC #parallel #simulation: Exploiting parallelism and structure to accelerate the simulation of chip multi-processors (DAP, DF, DH, RW, GS, DIA, DC), pp. 29–40.
HPDC-2006-ChouhanDCV #how #question: How should you structure your hierarchical scheduler? (PKC, HD, EC, FV), pp. 339–340.
ISMM-2006-AgaramKLM #data type #memory management #performance: Decomposing memory performance: data structures and phases (KKA, SWK, CL, KSM), pp. 95–103.
OSDI-2006-ChangDGHWBCFG #distributed #exclamation #named: Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!) (FC, JD, SG, WCH, DAW, MB, TC, AF, RG), pp. 205–218.
PPoPP-2006-LiuTCASRT #compilation #named: POSH: a TLS compiler that exploits program structure (WL, JT, LC, WA, KS, JR, JT), pp. 158–167.
CSL-2006-Bagan #linear #query: MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay (GB), pp. 167–181.
CSL-2006-Kaiser #automation #game studies #model checking #quantifier: Game Quantification on Automatic Structures and Hierarchical Model Checking Games (LK), pp. 411–425.
CSL-2006-Madelaine #logic: Universal Structures and the Logic of Forbidden Patterns (FRM), pp. 471–485.
CSL-2006-Ong #approach #infinity #semantics #verification: Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.
ICLP-2006-AbreuN #towards: Towards Structured Contexts and Modules (SA, VN), pp. 436–438.
ISSTA-2006-DemskyEGMPR #consistency #data type #specification: Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
LICS-2006-FioreS #calculus #congruence #process #semantics: A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.
RTA-2006-SantoFP #proving: Structural Proof Theory as Rewriting (JES, MJF, LP), pp. 197–211.
SAT-2006-Bacchus #named #satisfiability: CSPs: Adding Structure to SAT (FB), p. 10.
ASE-2005-CaiS #analysis #design #modelling #named: Simon: modeling and analysis of design space structures (YC, KJS), pp. 329–332.
ASE-2005-CoppitL #generative #named #testing: yagg: an easy-to-use generator for structured test inputs (DC, JL), pp. 356–359.
ASE-2005-KashyapG #detection #performance #reachability: Exploiting predicate structure for efficient reachability detection (SK, VKG), pp. 4–13.
ASE-2005-RungtaM #heuristic #model checking: A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
CASE-2005-LastBH #self: Self-calibration of the HEXA-parallel-structure (PL, CB, JH), pp. 393–398.
DAC-2005-GopeCJ #3d #multi #named #performance: DiMES: multilevel fast direct solver based on multipole expansions for parasitic extraction of massively coupled 3D microelectronic structures (DG, IC, VJ), pp. 159–162.
DAC-2005-ParthasarathyICB #learning: Structural search for RTL with predicate learning (GP, MKI, KTC, FB), pp. 451–456.
DAC-2005-TopalogluO #approach #process: A DFT approach for diagnosis and process variation-aware structural test of thermometer coded current steering DACs (ROT, AO), pp. 851–856.
DAC-2005-WeiD #behaviour #development #megamodelling: Systematic development of analog circuit structural macromodels through behavioral model decoupling (YW, AD), pp. 57–62.
DAC-2005-WilsonGHMLBTC #framework #question: Structured/platform ASIC apprentices: which platform will survive your board room? (RW, JG, CH, KM, SL, IB, RT, RC), pp. 887–888.
DAC-2005-ZhouMA #reduction: Structure preserving reduction of frequency-dependent interconnect (QZ, KM, ACA), pp. 939–942.
DATE-2005-BadaouiV #multi #performance #synthesis: Multi-Placement Structures for Fast and Optimized Placement in Analog Circuit Synthesis (RFB, RV), pp. 138–143.
DATE-2005-Dubrova #kernel #testing: Structural Testing Based on Minimum Kernels (ED), pp. 1168–1173.
DATE-2005-KavvadiasN #embedded #hardware: Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.
DATE-2005-LopezPN #embedded #metric: A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
DATE-2005-ScholiveBRFR #generative #testing: Mutation Sampling Technique for the Generation of Structural Test Data (MS, VB, CR, MLF, BR), pp. 1022–1023.
DATE-2005-SharifiJHAN #reduction: Simultaneous Reduction of Dynamic and Static Power in Scan Structures (SS, JJ, MH, AAK, ZN), pp. 846–851.
DATE-2005-StuijkBMG #data type #multi #predict #scalability: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip (SS, TB, BM, MG), pp. 254–255.
DocEng-2005-BoukottayaV #documentation: Schema matching for transforming structured documents (AB, CV), pp. 101–110.
DocEng-2005-ChoumaneBR #editing: Integrating translation services within a structured editor (AC, HB, CR), pp. 165–167.
DocEng-2005-DejeanM #documentation: Structuring documents according to their table of contents (HD, JLM), pp. 2–9.
DocEng-2005-GruhlMP #case study #data type #xml: A case study on alternate representations of data structures in XML (DG, DNM, JP), pp. 217–219.
DocEng-2005-LumleyGR #documentation #framework #layout: A framework for structure, layout & function in documents (JWL, RG, OR), pp. 32–41.
HT-2005-AtzenbeckN #constraints: Constraints in spatial structures (CA, PJN), pp. 63–65.
HT-2005-BocconiNH #generative #sequence #video: Supporting the generation of argument structure within video sequences (SB, FN, LH), pp. 75–84.
HT-2005-BryE #web: Processing link structures and linkbases in the web’s open world linking (FB, ME), pp. 135–144.
HT-2005-Francisco-RevillaS #ambiguity #hypermedia #parsing: Parsing and interpreting ambiguous structures in spatial hypermedia (LFR, FMSI), pp. 107–116.
HT-2005-HorieYK #analysis #higher-order #rank #web: Higher-order rank analysis for web structure (IH, KY, KK), pp. 98–106.
HT-2005-Hunter #hypermedia: Technical hypertext accessibility: information structures and rhetorical framing (LH), pp. 282–283.
HT-2005-MantratzisOC #analysis #html #navigation #using: Separating XHTML content from navigation clutter using DOM-structure block analysis (CM, MAO, SC), pp. 145–147.
ICDAR-2005-AblameykoBP #what: . What Should the User Do? Inference Structures and Line Drawing Interpretation (SA, VB, TPP), pp. 760–764.
ICDAR-2005-FengHG #approach #learning #semantics #web: A Learning Approach to Discovering Web Page Semantic Structures (JF, PH, MG), pp. 1055–1059.
ICDAR-2005-IshitaniFS #analysis #classification #documentation #xml: Table Structure Analysis Based on Cell Classification and Cell Modification for XML Document Transformation (YI, KF, KS), pp. 1247–1252.
ICDAR-2005-KieningerD #approach #benchmark #metric #recognition #towards: An Approach towards Benchmarking of Table Structure Recognition Results (TK, AD), pp. 1232–1236.
ICDAR-2005-LamH #data type #performance #using: A Data Structure Using Hashing and Tries For Efficient Chinese Lexical Access (YKL, QH), pp. 506–510.
ICDAR-2005-MozaffariFFZ #composition #statistics: Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.
ICDAR-2005-RangoniB #categorisation #documentation #logic #recognition: Data categorization for a context return applied to logical document structure recognition (YR, AB), pp. 297–301.
ICDAR-2005-RigamontiBHLI #canonical #documentation #representation #reverse engineering #towards: Towards a Canonical and Structured Representation of PDF Documents through Reverse Engineering (MR, JLB, KH, DL, RI), pp. 1050–1055.
ICDAR-2005-SextonS #analysis #matrix #semantics: Semantic Analysis of Matrix Structures (APS, VS), pp. 1141–1145.
ICDAR-2005-SternbyE #framework: Core Points — A Framework For Structural Parameterization (JS, AE), pp. 217–221.
ICDAR-2005-TuganbaevPD: Universal Data Capture Technology from Semi-structured Form (DT, AP, DD), pp. 458–462.
ICDAR-2005-VajdaB #recognition #word: Structural Information Implant in a Context Based Segmentation-Free HMM Handwritten Word Recognition System for Latin and Bangla Script (SV, AB), pp. 1126–1130.
ICDAR-2005-VargaB: Tree Structure forWord Extraction from Handwritten Text Lines (TV, HB), pp. 352–356.
ICDAR-2005-YacoubP #documentation #identification: Identification of Document Structure and Table of Content in Magazine Archives (SMY, JLAP), pp. 1253–1259.
PODS-2005-FaginGKNST #database #multi: Multi-structural databases (RF, RVG, RK, JN, DS, AT), pp. 184–195.
SIGMOD-2005-CataniaWOW #lazy evaluation #performance #xml: Lazy XML Updates: Laziness as a Virtue of Update and Structural Join Efficiency (BC, WQW, BCO, XW), pp. 515–526.
SIGMOD-2005-ChenLL #on the #pattern matching #using #xml: On Boosting Holism in XML Twig Pattern Matching using Structural Indexing Techniques (TC, JL, TWL), pp. 455–466.
SIGMOD-2005-Choy #integration #semistructured data: Integration of structured and unstructured data in IBM content manager (DMC), pp. 811–816.
SIGMOD-2005-HeZC #named #on the fly #query #web: MetaQuerier: querying structured web sources on-the-fly (BH, ZZ, KCCC), pp. 927–929.
SIGMOD-2005-IacobD #framework #xml: A framework for processing complex document-centric XML with overlapping structures (IEI, AD), pp. 897–899.
SIGMOD-2005-Sedlar #case study #xml: Managing structure in bits & pieces: the killer use case for XML (ES), pp. 818–821.
SIGMOD-2005-WangWZSPYH #database #graph #named #scalability: GraphMiner: a structural pattern-mining system for large disk-based graph databases and its applications (WW, CW, YZ, BS, JP, XY, JH), pp. 879–881.
SIGMOD-2005-WuSSJSK #sequence: Subsequence Matching on Structured Time Series Data (HW, BS, GCS, SBJ, HS, DRK), pp. 682–693.
SIGMOD-2005-YangKT #evaluation #similarity: Similarity Evaluation on Tree-structured Data (RY, PK, AKHT), pp. 754–765.
VLDB-2005-Amer-YahiaKMST #xml: Structure and Content Scoring for XML (SAY, NK, AM, DS, DT), pp. 361–372.
VLDB-2005-FaginKKNST #database #implementation #multi #performance #scalability: Efficient Implementation of Large-Scale Multi-Structural Databases (RF, PGK, RK, JN, DS, AT), pp. 958–969.
VLDB-2005-GuhaS #algorithm #data type #performance: Offline and Data Stream Algorithms for Efficient Computation of Synopsis Structures (SG, KS), p. 1364.
VLDB-2005-JagadishOV #named #network #peer-to-peer: BATON: A Balanced Tree Structure for Peer-to-Peer Networks (HVJ, BCO, QHV), pp. 661–672.
VLDB-2005-KimWLL #n-gram #named #performance: n-Gram/2L: A Space and Time Efficient Two-Level n-Gram Inverted Index Structure (MSK, KYW, JGL, MJL), pp. 325–336.
ITiCSE-2005-Marcelino #learning #programming: Learning repetition structures in programming (MJM), p. 351.
ITiCSE-2005-MurphyT #data type #student #what: Do computer science students know what they know?: a calibration study of data structure knowledge (LM, JDT), pp. 148–152.
ITiCSE-2005-PatersonHBM #data type #ide #using: Using the BlueJ IDE in a data structures course (JHP, JH, MB, AM), p. 349.
ESOP-2005-RanganathABDH #slicing: A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
FASE-2005-EgyedSW #maintenance #refinement #uml: Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.
FASE-2005-EichbergSM #using: Using Annotations to Check Structural Properties of Classes (ME, TS, MM), pp. 237–252.
FASE-2005-TaentzerR #constraints #graph #inheritance #modelling: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance (GT, AR), pp. 64–79.
FoSSaCS-2005-AbbesB #branch #probability: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.
FoSSaCS-2005-Fiore #combinator #modelling: Mathematical Models of Computational and Combinatorial Structures (MPF), pp. 25–46.
FoSSaCS-2005-MousaviR #congruence: Congruence for Structural Congruences (MRM, MAR), pp. 47–62.
TACAS-2005-BouajjaniHMV #model checking #source code #verification: Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking (AB, PH, PM, TV), pp. 13–29.
ICSM-2005-MensK #framework #source code #testing #towards: Towards a Framework for Testing Structural Source-Code Regularities (KM, AK), pp. 679–682.
PLDI-2005-LattnerA #automation #data type #layout #performance: Automatic pool allocation: improving performance by controlling data structure layout in the heap (CL, VSA), pp. 129–142.
CIAA-2005-Rytter #fibonacci #graph #word: The Structure of Subword Graphs and Suffix Trees of Fibonacci Words (WR), pp. 250–261.
DLT-2005-GruberHKK #automaton #on the: On Timed Automata with Discrete Time — Structural and Language Theoretical Characterization (HG, MH, AK, BK), pp. 272–283.
ICALP-2005-AtseriasDG #finite: Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.
ICALP-2005-MousaviR #orthogonal #semantics: Orthogonal Extensions in Structural Operational Semantics (MRM, MAR), pp. 1214–1225.
SEFM-2005-LanotteMT #analysis #automaton #data type #design #distributed: Timed Automata with Data Structures for Distributed Systems Design and Analysis (RL, AMS, AT), pp. 44–53.
SOFTVIS-2005-BlochingerKS #parallel #visualisation: Visualizing structural properties of irregular parallel computations (WB, MK, MS), pp. 125–134.
VISSOFT-2005-SmithM #identification #interactive #java #runtime #source code: Identifying Structural Features of Java Programs by Analysing the Interaction of Classes at Runtime (MPS, MM), pp. 108–113.
CAiSE-2005-GordilloRS #hypermedia #modelling #physics: Separation of Structural Concerns in Physical Hypermedia Models (SEG, GR, DS), pp. 446–459.
CAiSE-2005-KittivoravitkulM #data flow: Integrating Unnormalised Semi-structured Data Sources (SK, PM), pp. 460–474.
CAiSE-2005-TheodoratosD #graph #query #using: Querying Tree-Structured Data Using Dimension Graphs (DT, TD), pp. 201–215.
ICEIS-v1-2005-YangLOA #generative #graph #named #xml: DWG2XML: Generating XML Nested Tree Structure from Directed Weighted Graph (KYY, ACWL, TÖ, RA), pp. 19–26.
ICEIS-v2-2005-ColaceSVF #algorithm #approach #learning #multi #network: A Bayesian Networks Structural Learning Algorithm Based on a Multiexpert Approach (FC, MDS, MV, PF), pp. 194–200.
ICEIS-v3-2005-SeehusenS #network #specification #visual notation: Graphical Specification of Dynamic Network Structure (FS, KS), pp. 203–210.
ICEIS-v4-2005-SilvaH #documentation #formal method: Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory (NDS, PH), pp. 105–110.
ICEIS-v5-2005-HansonNKF #user interface: Dynamic User Interfaces for Semi-Structured Conversations (JEH, PN, SK, PF), pp. 48–58.
CIKM-2005-AminiTULG #documentation #learning #using #xml: Learning to summarise XML documents using content and structure (MRA, AT, NU, ML, PG), pp. 297–298.
CIKM-2005-HeWYY #reachability: Compact reachability labeling for graph-structured data (HH, HW, JY, PSY), pp. 594–601.
CIKM-2005-KampsMRS #query #retrieval #xml: Structured queries in XML retrieval (JK, MM, MdR, BS), pp. 4–11.
CIKM-2005-LiL #community #mining: Mining community structure of named entities from free text (XL, BL), pp. 275–276.
CIKM-2005-LiuY: Extracting a website’s content structure from its link structure (NL, CCY), pp. 345–346.
CIKM-2005-MandreoliMR #ambiguity #semantics: Versatile structural disambiguation for semantic-aware applications (FM, RM, ER), pp. 209–216.
CIKM-2005-MekaS #distributed #named #network: DIST: a distributed spatio-temporal index structure for sensor networks (AM, AKS), pp. 139–146.
CIKM-2005-PossasZRM #query: Maximal termsets as a query structuring mechanism (BP, NZ, BARN, WMJ), pp. 287–288.
CIKM-2005-RamakrishnanPD #categorisation #framework: A structure-sensitive framework for text categorization (GR, DP, BD), pp. 337–338.
CIKM-2005-RamirezWV #retrieval #xml: Structural features in content oriented XML retrieval (GR, TW, APdV), pp. 291–292.
CIKM-2005-RoyMBR #automation #query #towards: Towards automatic association of relevant unstructured content with structured query results (PR, MKM, BB, SR), pp. 405–412.
CIKM-2005-TheodoratosDKG #data flow #query #semantics #using: Semantic querying of tree-structured data sources using partially specified tree patterns (DT, TD, AK, NHG), pp. 712–719.
CIKM-2005-VaradarajanH #documentation #summary: Structure-based query-specific document summarization (RV, VH), pp. 231–232.
CIKM-2005-ZhouXWGM #hybrid #web: Hybrid index structures for location-based web search (YZ, XX, CW, YG, WYM), pp. 155–162.
ECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict: Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.
ECIR-2005-HauffA #analysis #documentation: Age Dependent Document Priors in Link Structure Analysis (CH, LA), pp. 552–554.
ICML-2005-DaumeM #approximate #learning #optimisation #predict #scalability: Learning as search optimization: approximate large margin methods for structured prediction (HDI, DM), pp. 169–176.
ICML-2005-KokD #learning #logic #markov #network: Learning the structure of Markov logic networks (SK, PMD), pp. 441–448.
ICML-2005-LiuXC #graph #predict #using: Predicting protein folds with structural repeats using a chain graph model (YL, EPX, JGC), pp. 513–520.
ICML-2005-PernkopfB #classification #generative #learning #network #parametricity: Discriminative versus generative parameter and structure learning of Bayesian network classifiers (FP, JAB), pp. 657–664.
ICML-2005-TaskarCKG #approach #learning #modelling #predict #scalability: Learning structured prediction models: a large margin approach (BT, VC, DK, CG), pp. 896–903.
ICML-2005-WangS #classification #kernel: New kernels for protein structural motif discovery and function classification (CW, SDS), pp. 940–947.
KDD-2005-Barabasi #architecture #complexity #network #web: The architecture of complexity: the structure and the dynamics of networks, from the web to the cell (ALB), p. 3.
KDD-2005-ChenH #analysis #classification #image #network: A Bayesian network classifier with inverse tree structure for voxelwise magnetic resonance image analysis (RC, EH), pp. 4–12.
KDD-2005-GaoLZCM #clustering #consistency #graph #higher-order #semistructured data: Consistent bipartite graph co-partitioning for star-structured high-order heterogeneous data co-clustering (BG, TYL, XZ, QC, WYM), pp. 41–50.
KDD-2005-JinWPPA #dataset #graph: Discovering frequent topological structures from graph datasets (RJ, CW, DP, SP, GA), pp. 606–611.
MLDM-2005-KurganH #approach #feature model #predict #sequence: Prediction of Secondary Protein Structure Content from Primary Sequence Alone — A Feature Selection Based Approach (LAK, LH), pp. 334–345.
SIGIR-2005-KajiyamaKS #interface #testing #usability #visual notation: Examination and enhancement of a ring-structured graphical search interface based on usability testing (TK, NK, SS), pp. 623–624.
SIGIR-2005-KurlandL #modelling #rank #ranking #using: PageRank without hyperlinks: structural re-ranking using links induced by language models (OK, LL), pp. 306–313.
SIGIR-2005-TryfonopoulosIK #information retrieval #network #using: Publish/subscribe functionality in IR environments using structured overlay networks (CT, SI, MK), pp. 322–329.
SIGIR-2005-ViolaN #context-free grammar #learning #using: Learning to extract information from semi-structured text using a discriminative context free grammar (PAV, MN), pp. 330–337.
SIGIR-2005-XueYZYC #analysis: Exploiting the hierarchical structure for link analysis (GRX, QY, HJZ, YY, ZC), pp. 186–193.
SIGIR-2005-ZhangCFFGCC #classification: Intelligent fusion of structural and citation-based evidence for text classification (BZ, YC, WF, EAF, MAG, MC, PC), pp. 667–668.
MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml: UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.
MoDELS-2005-TkatchenkoK #modelling: Uniform Support for Modeling Crosscutting Structure (MT, GK), pp. 508–521.
MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml: UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.
MoDELS-2005-TkatchenkoK #modelling: Uniform Support for Modeling Crosscutting Structure (MT, GK), pp. 508–521.
ECOOP-2005-MurphyKRC #development: The Emergent Structure of Development Tasks (GCM, MK, MPR, DC), pp. 33–48.
PPDP-2005-PaluDP #heuristic #optimisation #parallel #predict: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
PADL-2005-KawabeG: The Program Inverter LRinv and Its Structure (MK, RG), pp. 219–234.
RE-2005-BittnerBPRW #requirements #reuse #scalability #variability: Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures (MB, AB, AP, MOR, MW), pp. 469–470.
RE-2005-Simmons #design #development: The Usage Model: A Structure for Richly Describing Product Usage during Design and Development (ES), pp. 403–410.
SAC-2005-AgyemangBA #mining #n-gram #using #web: Mining web content outliers using structure oriented weighting techniques and N-grams (MA, KB, RA), pp. 482–487.
SAC-2005-BustosKS: A pivot-based index structure for combination of feature vectors (BB, DAK, TS), pp. 1180–1184.
SAC-2005-GuoLLW #linear #problem: The shortest route cut and fill problem in linear topological structure (SG, WL, AL, FW), pp. 409–410.
SAC-2005-HuP #3d #complexity #parametricity: Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures (MH, QP), pp. 172–176.
SAC-2005-RaposoPAV #automation #maintenance #query #using #web: Automatic wrapper maintenance for semi-structured web sources using results from previous queries (JR, AP, MÁ, ÁV), pp. 654–659.
SAC-2005-SignoriniG #evolution #object-oriented: Object-oriented wound healing in the liver: a class-structured view of fibrogenesis and a glimpse of its evolution (JS, PG), pp. 165–171.
SAC-2005-VarmaAPT #automation #migration: NextGen eXtreme porting: structured by automation (PV, AA, DPP, BT), pp. 1511–1517.
SAC-2005-ZhouX #approach #complexity #diagrams: Measuring structural complexity for class diagrams: an information theory approach (YZ, BX), pp. 1679–1683.
ESEC-FSE-2005-KramerM #distributed: Engineering distributed software: a structural discipline (JK, JM), pp. 283–285.
ICSE-2005-DemskyR #data type #reasoning #using: Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.
ICSE-2005-HolmesM #recommendation #source code #using: Using structural context to recommend source code examples (RH, GCM), pp. 117–125.
ICSE-2005-MisurdaCRCS #testing: Demand-driven structural testing with dynamic instrumentation (JM, JAC, JLR, BRC, MLS), pp. 156–165.
CC-2005-LamKR #consistency #data type #named #verification: Hob: A Tool for Verifying Data Structure Consistency (PL, VK, MCR), pp. 237–241.
CC-2005-MisurdaCRCS #named #testing: Jazz: A Tool for Demand-Driven Structural Testing (JM, JAC, JLR, BRC, MLS), pp. 242–245.
COCV-J-2005-GalPF05a #encoding: Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
CAV-2005-McPeakN #axiom #data type #similarity #specification: Data Structure Specifications via Local Equality Axioms (SM, GCN), pp. 476–490.
CSL-2005-BenediktS #invariant #query #towards: Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
CSL-2005-SeveriV #modelling #order: Order Structures on Böhm-Like Models (PS, FJdV), pp. 103–118.
ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance: Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
LICS-2005-Lohrey #model checking: Model-Checking Hierarchical Structures (ML), pp. 168–177.
SAT-2005-SinzD #named #satisfiability #visualisation: DPvis — A Tool to Visualize the Structure of SAT Instances (CS, EMD), pp. 257–268.
VMCAI-2005-ChangL #abstract interpretation: Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.
VMCAI-2005-LamKR #consistency #data type #type system: Generalized Typestate Checking for Data Structure Consistency (PL, VK, MCR), pp. 430–447.
ASE-2004-Andrews #case study #data type #random #testing: Case Study of Coverage-Checked Random Data Structure Testing (JHA), pp. 316–319.
ASE-2004-HopcroftB #csp #development: Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.
ASE-2004-HotzKW #using: Using a Structure-based Configuration Tool for Product Derivation (LH, TK, KW), pp. 388–391.
DAC-2004-DargaLSM #detection #symmetry: Exploiting structure in symmetry detection for CNF (PTD, MHL, KAS, ILM), pp. 530–534.
DAC-2004-KravetsK #optimisation: Implicit enumeration of structural changes in circuit optimization (VNK, PK), pp. 438–441.
DATE-v1-2004-BaumgartnerK #bound: Enhanced Diameter Bounding via Structural (JB, AK), pp. 36–41.
DATE-v1-2004-FlottesPR #testing: An Arithmetic Structure for Test Data Horizontal Compression (MLF, RP, BR), pp. 428–435.
DATE-v2-2004-GuilleyHMPP #hardware: CMOS Structures Suitable for Secured Hardware (SG, PH, YM, RP, JP), pp. 1414–1415.
DocEng-2004-AntonacopoulosKKW #documentation #lifecycle: The lifecycle of a digital historical document: structure and content (AA, DK, HK, BW), pp. 147–154.
DocEng-2004-ChuangL #composition #on the: On modular transformation of structural content (TRC, JLL), pp. 201–210.
DocEng-2004-Dymetman #authoring #documentation #editing #predict: Chart-parsing techniques and the prediction of valid editing moves in structured document authoring (MD), pp. 229–238.
DocEng-2004-HardyBT #using #xml: Creating structured PDF files using XML templates (MRBH, DFB, PLT), pp. 99–108.
DocEng-2004-HuangCL #performance #query #retrieval: Fast structural query with application to chinese treebank sentence retrieval (CHH, TRC, HML), pp. 11–20.
DRR-2004-HeDP #documentation #logic: Hierarchical logical structure extraction of book documents by analyzing tables of contents (FH, XD, LP), pp. 6–13.
HT-2004-BuchananBTJ #hypermedia #library: Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library (GB, AB, HWT, MJ), pp. 225–234.
HT-2004-HicksWN #towards: Towards a structural diversity space (DLH, UKW, PJN), pp. 247–255.
HT-2004-HorieY #analysis #documentation #set #using #web: Structural analysis for web documentation using the non-well-founded set (IH, KY), pp. 42–43.
HT-2004-Kolb #hypermedia: Twin media: hypertext structure under pressure (DK), pp. 26–27.
HT-2004-LepthienA #behaviour: Unifying structure, behavior, and data with themis types and templates (WVL, KMA), pp. 256–265.
HT-2004-NurnbergWH: Rethinking structural computing infrastructures (PJN, UKW, DLH), pp. 239–246.
SIGMOD-2004-Amer-YahiaLP #flexibility #named #query #xml: FleXPath: Flexible Structure and Full-Text Querying for XML (SAY, LVSL, SP), pp. 83–94.
SIGMOD-2004-AndritsosMT #database #mining #scalability #set #tool support: Information-Theoretic Tools for Mining Database Structure from Large Data Sets (PA, RJM, PT), pp. 731–742.
SIGMOD-2004-KaushikKNR #integration #on the: On the Integration of Structure Indexes and Inverted Lists (RK, RK, JFN, RR), pp. 779–790.
SIGMOD-2004-LermanGMK #automation #segmentation #using #web: Using the Structure of Web Sites for Automatic Segmentation of Tables (KL, LG, SM, CAK), pp. 119–130.
SIGMOD-2004-YanYH #approach #graph: Graph Indexing: A Frequent Structure-based Approach (XY, PSY, JH), pp. 335–346.
SIGMOD-2004-YiHSY #incremental #maintenance #xml: Incremental Maintenance of XML Structural Indexes (KY, HH, IS, JY), pp. 491–502.
VLDB-2004-Halevy #semantics #statistics: Structures, Semantics and Statistics (AYH), pp. 4–6.
VLDB-2004-KochSSS #data type #query #scheduling: Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams (CK, SS, NS, BS), pp. 228–239.
CSEET-2004-GerberC #development #education #object-oriented #student: Teaching Object-Oriented Systems Development to Structurally Exposed Students (AG, EC), pp. 52–58.
ITiCSE-2004-ListerBMTW #data type #education: The dimensions of variation in the teaching of data structures (RL, IB, BBM, JDT, SW), pp. 92–96.
ITiCSE-WGR-2004-NairM #approach #concept #data type: Conceptualizing data structures: a pedagogic approach (ASN, TM), pp. 97–100.
FASE-2004-SaffreyC #communication #model checking #optimisation: Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.
ICSM-2004-Ricca #analysis #testing #web: Analysis, Testing and Re-Structuring of Web Applications (FR), pp. 474–478.
ICSM-2004-TeohW #source code #tool support: Tools for Extracting Software Structure from Compiled Programs (HST, DBW), p. 526.
IWPC-2004-CapiluppiMR #case study #evolution #open source: Structural Evolution of an Open Source System: A Case Study (AC, MM, JFR), pp. 172–182.
PEPM-2004-HuMT #bidirectional #documentation #editing #programmable: A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.
PLDI-2004-VachharajaniVA #component #modelling #reuse #specification: The liberty structural specification language: a high-level modeling language for component reuse (MV, NV, DIA), pp. 195–206.
PLDI-2004-ZhongOSD #array #using: Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.
DLT-2004-Courcelle #bibliography #graph #relational #set: Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey (BC), pp. 1–11.
ICALP-2004-FranceschiniG #data type #string: A General Technique for Managing Strings in Comparison-Driven Data Structures (GF, RG), pp. 606–617.
SEFM-2004-SistlaWZ #using: Checking Extended CTL properties Using Guarded Quotient Structures (APS, XW, MZ), pp. 87–94.
ICGT-2004-EhrigEHP #constraints #graph: Constraints and Application Conditions: From Graphs to High-Level Structures (HE, KE, AH, KHP), pp. 287–303.
CHI-2004-FisherD #collaboration #social: Social and temporal structures in everyday collaboration (DF, PD), pp. 551–558.
CAiSE-2004-EderKM #detection #slicing: Analysing Slices of Data Warehouses to Detect Structural Modifications (JE, CK, DM), pp. 492–505.
ICEIS-v1-2004-VerdierC #health #information management #process: Health Care Process Based on the ABC Model Through a Meta-Structured Information System (CV, GC), pp. 149–154.
ICEIS-v2-2004-ColaceSVF04a #algorithm #comparison #learning #network: Bayesian Network Structural Learning from Data: An Algorithms Comparison (FC, MDS, MV, PF), pp. 527–530.
ICEIS-v2-2004-Grzeszczyk #network: Application of Neural Networks for Prior Appraisal of Structural Funds Project Proposals (TAG), pp. 501–504.
ICEIS-v2-2004-PerezMAG #algorithm: Consolidated Tree Construction Algorithm: Structurally Steady Trees (JMP, JM, OA, IG), pp. 14–21.
ICEIS-v3-2004-CloeteG #developer #development #object-oriented: OO Systems Development Barriers for Structural Developers (EC, AG), pp. 42–47.
ICEIS-v3-2004-Modrak #evaluation #process: Evaluation of Structural Properties for Business Processes (VM), pp. 619–622.
ICEIS-v3-2004-Ohki #analysis #formal method: Formalization of Class Structure Extraction through Lifetime Analysis (MO), pp. 635–642.
CIKM-2004-AghiliAA #geometry #using: Protein structure alignment using geometrical features (SAA, DA, AEA), pp. 148–149.
CIKM-2004-AndrusBST #problem: Key problems in integrating structured and unstructured information (DCA, DB, JTS, ET), p. 360.
CIKM-2004-HeTC #approach #clustering #query #web: Organizing structured web sources by query schemas: a clustering approach (BH, TT, KCCC), pp. 22–31.
CIKM-2004-LvCL #data type #image #similarity: Image similarity search with compact data structures (QL, MC, KL), pp. 208–217.
CIKM-2004-MasonCV #on the #traceability: On structuring formal, semi-formal and informal data to support traceability in systems engineering environments (PM, KC, PV), pp. 642–651.
CIKM-2004-ZhangGFCFCC #classification: Combining structural and citation-based evidence for text classification (BZ, MAG, WF, YC, EAF, PC, MC), pp. 162–163.
CIKM-2004-ZhaoBMK #xml: Discovering frequently changing structures from historical structural deltas of unordered XML (QZ, SSB, MKM, YK), pp. 188–197.
ICML-2004-ChuGW #predict #visual notation: A graphical model for protein secondary structure prediction (WC, ZG, DLW).
ICML-2004-GoldenbergM #learning #scalability: Tractable learning of large Bayes net structures from sparse data (AG, AWM).
ICML-2004-RosalesAF #clustering #learning #using: Learning to cluster using local neighborhood structure (RR, KA, BJF).
ICML-2004-TsochantaridisHJA #machine learning: Support vector machine learning for interdependent and structured output spaces (IT, TH, TJ, YA).
ICPR-v1-2004-HammarstedtKH: Affine Structure from Translational Motion with Varying and Unknown Focal Length (PH, FK, AH), pp. 120–123.
ICPR-v1-2004-KavallieratouS #using: Discrimination of Machine-Printed from Handwritten Text Using Simple Structural Characteristics (EK, ES), pp. 437–440.
ICPR-v1-2004-KimYL #algorithm #distance #graph #relational #using: A New Attributed Relational Graph Matching Algorithm Using the Nested Structure of Earth Mover’s Distance (DHK, IDY, SUL), pp. 48–51.
ICPR-v1-2004-LangeG #2d #data type #effectiveness #recognition: Tree-Like Data Structures for Effective Recognition of 2-D Solids (ML, SG), pp. 592–595.
ICPR-v1-2004-LevesqueD: Sparse Scene Structure Recovery from Atmospheric Degradation (DL, FD), pp. 84–87.
ICPR-v1-2004-LiuLJ #approach: A Structural Approach to Recognizing Incomplete Graphic Objects (YL, WL, CJ), pp. 371–375.
ICPR-v1-2004-TodorovicN #detection #image #using: Detection of Artificial Structures in Natural-Scene Images Using Dynamic Trees (ST, MCN), pp. 35–39.
ICPR-v1-2004-ValienteACG #design #image #using: Structural Description of Textile and Tile Pattern Designs Using Image Processing (JMV, FA, CC, JMG), pp. 498–503.
ICPR-v2-2004-BouchaffraT #concept #design #mining: Introduction to the Concept of Structural HMM: Application to Mining Customers’ Preferences in Automotive Design (DB, JT), pp. 493–496.
ICPR-v2-2004-CaoK #classification #online: Online Structure Based Chinese Character Pre-Classification (HC, ACK), pp. 395–398.
ICPR-v2-2004-Clocksin #order #recognition #using: Handwritten Syriac Character Recognition using Order Structure Invariance (WFC), pp. 562–565.
ICPR-v2-2004-ColleP #predict #process: Relaxation Labeling Processes for Protein Secondary Structure Prediction (GC, MP), pp. 355–358.
ICPR-v2-2004-CostaGB: Spectral Characterization of Orientation Data along Curvilinear Structures (JPDC, CG, PB), pp. 517–520.
ICPR-v2-2004-KaneS #classification #image #learning #network: Bayesian Network Structure Learning and Inference in Indoor vs. Outdoor Image Classification (MJK, AES), pp. 479–482.
ICPR-v2-2004-OkataniS #image: Range Image Registration Preserving Local Structures of Object Surfaces (ISO, AS), pp. 224–228.
ICPR-v2-2004-SageB #learning: Joint Spatial and Temporal Structure Learning for Task based Control (KS, HB), pp. 48–51.
ICPR-v2-2004-ToyozumiYMKMST #case study #recognition #segmentation #using: A Study of Symbol Segmentation Method for Handwritten Mathematical Formula Recognition using Mathematical Structure Information (KT, NY, KM, TK, KM, YS, TT), pp. 630–633.
ICPR-v3-2004-DePiero #bound #graph #memory management #polynomial #worst-case: Structural Graph Matching With Polynomial Bounds On Memory and on Worst-Case Effort (FWD), pp. 379–382.
ICPR-v3-2004-GutkinK #classification #representation #speech: Structural Representation of Speech for Phonetic Classification (AG, SK), pp. 438–441.
ICPR-v3-2004-PigeauG #image #incremental #statistics: Incremental Statistical Geo-Temporal Structuring of a Personal Camera Phone Image Collection (AP, MG), pp. 878–881.
ICPR-v3-2004-SatakeS #multi #using: Multiple Target Tracking by Appearance-Based Condensation Tracker using Structure Information (JS, TS), pp. 294–297.
ICPR-v3-2004-SolemH #using: Estimating Surface Shape and Extending Known Structure using Specular Reflections (JES, AH), pp. 173–176.
ICPR-v3-2004-WangBW #image #modelling #robust: Robust Modelling of Local Image Structures and Its Application to Medical Imagery (LW, AB, RW), pp. 534–537.
ICPR-v4-2004-KuzmenkoZ #network #self: Structure Relaxation Method for Self-Organizing Neural Networks (AK, NZ), pp. 589–592.
ICPR-v4-2004-PagesSF: A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.
KDD-2004-BorgsCMS #community: Exploring the community structure of newsgroups (CB, JTC, MM, AS), pp. 783–787.
KDD-2004-Hooker04a #black box: Discovering additive structure in black box functions (GH), pp. 575–580.
KDD-2004-LazarevicKK #detection #effectiveness #locality #scalability: Effective localized regression for damage detection in large complex mechanical structures (AL, RK, CK), pp. 450–459.
KDD-2004-NijssenK #difference #mining: A quickstart in frequent structure mining can make a difference (SN, JNK), pp. 647–652.
KDD-2004-SteinbachTK: Support envelopes: a technique for exploring the structure of association patterns (MS, PNT, VK), pp. 296–305.
KDD-2004-WrightY #distributed #network #privacy #semistructured data: Privacy-preserving Bayesian network structure computation on distributed heterogeneous data (RNW, ZY), pp. 713–718.
KR-2004-Eschenbach #concept #how: How to Interweave Knowledge about Object Structure and Concepts (CE), pp. 300–310.
KR-2004-GrootTH #analysis #approximate #case study #classification #problem #towards: Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification (PG, AtT, FvH), pp. 399–406.
SIGIR-2004-KurlandL #ad hoc #corpus #information retrieval #modelling: Corpus structure, language models, and ad hoc information retrieval (OK, LL), pp. 194–201.
SIGIR-2004-LiuCKG #predict: Context sensitive vocabulary and its application in protein secondary structure prediction (YL, JGC, JKS, VG), pp. 538–539.
SIGIR-2004-PlachourasO #topic: Usefulness of hyperlink structure for query-biased topic distillation (VP, IO), pp. 448–455.
SIGIR-2004-Sun #comprehension #representation: Discovering and representing the contextual and narrative structure of e-books to support reading and comprehension (abstract only) (YS), p. 603.
UML-2004-CabotT #constraints: Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
ECOOP-2004-FindlerFF #contract #semantics #type system: Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.
SAC-J-2003-Dong04 #behaviour #diagrams: Adding pattern related information in structural and behavioral diagrams (JD), pp. 293–300.
SAC-J-2003-GeorgeW04 #agile #development #empirical #testing: A structured experiment