BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
minim (15)
system (10)
base (10)
multi (10)
determinist (8)

Stem hyper$ (all stems)

103 papers:

FoSSaCSFoSSaCS-2015-BozzelliMP #logic
Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.
CIAACIAA-J-2013-Maletti15 #automaton
Hyper-optimization for deterministic tree automata (AM), pp. 72–87.
CHICHI-2015-WarshawMWKBS #algorithm #comprehension #people
Can an Algorithm Know the “Real You”?: Understanding People’s Reactions to Hyper-personal Analytics Systems (JW, TM, SW, CK, MNB, BAS), pp. 797–806.
ICMLICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICMLICML-2015-LiuHW #collaboration
Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
SACSAC-2015-BasgaluppBP #algorithm #evolution #induction #multi
Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.
CAVCAV-2015-FinkbeinerRS #algorithm #model checking
Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
LICSLICS-2015-BeckmannP #deduction
Hyper Natural Deduction (AB, NP), pp. 547–558.
AFLAFL-2014-MalettiQ #automaton
Hyper-Minimization for Deterministic Weighted Tree Automata (AM, DQ), pp. 314–326.
DLTDLT-2014-HolzerJ #automaton
Minimal and Hyper-Minimal Biautomata — (Extended Abstract) (MH, SJ), pp. 291–302.
SACSAC-2014-DieguesOPRR #modelling
Autonomic configuration of HyperDex via analytical modelling (NLD, MO, JP, LETR, PR), pp. 370–375.
LICSLICS-CSL-2014-LerouxPS #automaton #bound
Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
DocEngDocEng-2013-TruranSGC #automation #generative #guidelines
Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
CIAACIAA-J-2012-JezM13 #automaton
Hyper-Minimization for Deterministic Tree Automata (AJ, AM), pp. 815–830.
CIAACIAA-2013-Maletti #automaton
Hyper-optimization for Deterministic Tree Automata (AM), pp. 244–255.
CHICHI-2013-EdgeSY #named #prototype
HyperSlides: dynamic presentation prototyping (DE, JS, KY), pp. 671–680.
SACSAC-2013-BasgaluppBSC #approach #predict
Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.
CADECADE-2013-BenderPS #logic
System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
AFLAFL-J-2011-MalettiQ12
Unweighted and Weighted Hyper-Minimization (AM, DQ), pp. 1207–1226.
CIAACIAA-2012-JezM #automaton
Hyper-minimization for Deterministic Tree Automata (AJ, AM), pp. 217–228.
ICPRICPR-2012-PitchayK #multi
Multi-task signal recovery by higher level hyper-parameter sharing (SAP, AK), pp. 2246–2249.
SACSAC-2012-KaneiwaN #knowledge base #ontology
Sorted hyper-predicate knowledge bases for ontologies and rules (KK, PHPN), pp. 312–319.
ICSEICSE-2012-Monteiro #algorithm #effectiveness #named #parallel
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (PM), pp. 1559–1562.
DATEDATE-2011-KumarRPB #3d #clustering #testing
Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing (AK, SMR, IP, BB), pp. 1424–1429.
VLDBVLDB-2011-VenetisGJH #ranking
Hyper-local, directions-based ranking of places (PV, HG, CSJ, AYH), pp. 290–301.
CIAACIAA-J-2010-MalettiQ11
Optimal Hyper-Minimization (AM, DQ), pp. 1877–1891.
AFLAFL-2011-Maletti
Notes on Hyper-minimization (AM), pp. 34–49.
AFLAFL-2011-MalettiQ #automaton #finite
Hyper-minimisation of deterministic weighted finite automata over semifields (AM, DQ), pp. 285–299.
CHICHI-2011-HartmannDC #named #web
HyperSource: bridging the gap between source and code-related web sites (BH, MD, MKC), pp. 2207–2210.
KMISKMIS-2011-IguchiK #enterprise #information management #research
The Research of Knowledge Management System for Supporting Hyper Text Type of Enterprise Organization (MI, YK), pp. 312–317.
CIAACIAA-2010-Maletti #fault #performance
Better Hyper-minimization — Not as Fast, But Fewer Errors (AM), pp. 201–210.
ICPRICPR-2010-LiuYZH #multi #recognition
Action Recognition by Multiple Features and Hyper-Sphere Multi-class SVM (JL, JY, YZ, XH), pp. 3744–3747.
ICPRICPR-2010-RangarajanKNS
Hyper Least Squares and Its Applications (PR, KK, HN, YS), pp. 5–8.
HTHT-2009-StyliarasC #hypermedia #named #towards #web
HyperSea: towards a spatial hypertext environment for web 2.0 content (GDS, SPC), pp. 35–44.
CIAACIAA-J-2008-Badr09
Hyper-minimization in O(n²) (AB), pp. 735–746.
CIAACIAA-2009-HolzerM #algorithm #automaton
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton (MH, AM), pp. 4–13.
FMFM-2009-LeinenbachS #verification
Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
CIKMCIKM-2009-WangWLL #named #query #ranking #summary
HyperSum: hypergraph based semi-supervised sentence ranking for query-oriented summarization (WW, FW, WL, SL), pp. 1855–1858.
HTHT-2008-Kolb08a
Making revisions hyper-visible (DAK), pp. 113–116.
AFLAFL-2008-GeffertBS #automaton
Hyper-Minimizing Minimized Deterministic Automata (VG, AB, IS), pp. 9–30.
CIAACIAA-2008-Badr
Hyper-Minimization in O(n2) (AB), pp. 223–231.
ICGTICGT-2008-ChalopinMM #graph #problem
Labelled (Hyper)Graphs, Negotiations and the Naming Problem (JC, AWM, YM), pp. 54–68.
HCIHIMI-MTT-2007-SutoKH #case study #data flow #design
A Study of Information Flow Between Designers and Users Via Website Focused on Property of Hyper Links (HS, HK, HH), pp. 189–198.
ECIRECIR-2007-HeO #normalisation
Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task (BH, IO), pp. 468–480.
CADECADE-2007-BaumgartnerFP #similarity
Hyper Tableaux with Equality (PB, UF, BP), pp. 492–507.
CADECADE-2007-PelzerW
System Description: E-KRHyper (BP, CW), pp. 508–513.
SACSAC-2006-CutelloNO #algorithm #analysis #heuristic
Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
HTHT-2005-GagliardiP #hypermedia #information retrieval
Audio information retrieval in HyperMedia environment (IG, PP), pp. 248–250.
HTHT-2005-NagelS
HyperHistory (TN, RS), pp. 276–277.
HTHT-2005-ShipmanGW #case study #experience
Hypervideo expression: experiences with hyper-hitchcock (FMSI, AG, LW), pp. 217–226.
IWPCIWPC-2005-Koskinen #tool support
HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.
CADECADE-2005-SinnerK #named
KRHyper — In Your Pocket (AS, TK), pp. 452–457.
ICSTSAT-2005-GershmanS #effectiveness #preprocessor
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.
HTHT-2004-LarsenB #named #network
HyperPeer: searching for resemblance in a P2P network (RDL, NOB), pp. 268–269.
CGOCGO-2004-KimLWCTZWYGS #physics #thread
Physical Experimentation with Prefetching Helper Threads on Intel’s Hyper-Threaded Processors (DK, SWL, PHW, JdC, XT, XZ, HW, DY, MG, JPS), pp. 27–38.
HTHT-2003-RomeroC #artificial reality #hypermedia #named
HyperReal: a hypermedia model for mixed reality (LR, NC), pp. 2–9.
HTHT-2003-ShipmanGW #editing
Combining spatial and navigational structure in the hyper-hitchcock hypervideo editor (FMSI, AG, LW), pp. 124–125.
CIKMCIKM-2003-BhowmickVL #integration #named
HyperThesis: the gRNA spell on the curse of bioinformatics applications integration (SSB, VV, AVL), pp. 402–409.
ICSTSAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity
Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
STOCSTOC-2002-Holmerin #approximate
Vertex cover on 4-regular hyper-graphs is hard to approximate within 2-epsilon (JH), pp. 544–552.
ICPRICPR-v3-2002-SumiIT #locality #realtime
Hyper Frame Vision: A Real-Time Vision System for 6-DOF Object Localization (YS, YI, FT), pp. 577–580.
ICPRICPR-v4-2002-Ichimura #estimation #image #monte carlo #probability #sequence #using
Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters (NI), pp. 68–73.
SIGIRSIGIR-2002-FuhrGG #named #retrieval #xml
HyREX: hyper-media retrieval engine for XML (NF, NG, KG), p. 449.
ICSEICSE-2002-TarrOS #java #multi #named
Hyper/J: multi-dimensional separation of concerns for Java (PLT, HO, SMSJ), pp. 689–690.
SATSAT-2002-Kusper #linear #problem #satisfiability
Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.
ICSEICSE-2001-OssherT #java #multi #named
Hyper/JTM: Multi-Dimensional Separation of Concerns for JavaTM (HO, PLT), pp. 821–822.
ICSEICSE-2001-TarrO #java #multi #named
Hyper/JTM: Multi-Dimensional Separation of Concerns for JavaTM (PLT, HO), pp. 729–730.
CSLCSL-2001-Eijck
Constrained Hyper Tableaux (JvE), pp. 232–246.
ICPRICPR-v3-2000-YamazawaYY #3d #re-engineering #using
3D Line Segment Reconstruction by Using HyperOmni Vision and Omnidirectional Hough Transforming (KY, YY, MY), pp. 3487–3490.
ICSEICSE-2000-OssherT #java #multi #named
Hyper/J: multi-dimensional separation of concerns for Java (HO, PLT), pp. 734–737.
VLDBVLDB-1999-ZirintsisKM #java
Hyper-Programming in Java (EZ, GNCK, RM), pp. 734–737.
CHICHI-1999-ToyodaS #editing #interface #multi #navigation #network #perspective #predict
Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks Through a Multi-Focus Distortion-Oriented View (MT, ES), pp. 504–511.
HCIHCI-CCAD-1999-Morikawa #communication #video
Pointing on HyperMirror video mediated communication (OM), pp. 548–552.
DACDAC-1998-JiangJH #composition #encoding #synthesis
Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.
CSCWCSCW-1998-MorikawaM #communication #named #towards #video
HyperMirror: Toward Pleasant-to-Use Video Mediated Communication System (OM, TM), pp. 149–158.
KDDKDD-1998-WangDB #reduction
Data Reduction Based on Hyper Relations (HW, ID, DAB), pp. 349–353.
SACSAC-1998-MorinK #named
HyperNews: a MEDIA application for the commercialization of an electronic newspaper (JHM, DK), pp. 696–705.
SACSAC-1998-Sibai #multi #performance
Performance of the hyper-ring multicomputer (FNS), pp. 598–606.
SACSAC-1998-Sibai98a #low cost #multi #network #scalability
The hyper-ring network: a cost-efficient topology for scalable multicomputers (FNS), pp. 607–612.
SACSAC-1998-Wiil #framework #library
Evaluating HyperDisco as an infrastructure for digital libraries (UKW), pp. 491–497.
HTHT-1997-Engebretsen #named #question
Hyper-news: Revolution or Contradiction? (ME), pp. 222–223.
HTHT-1997-WiilL #approach #internet #named
Workspaces: The HyperDisco Approach to Internet Distribution (UKW, JJL), pp. 13–23.
STOCSTOC-1997-AuerLS #approximate #learning #pseudo #set
Approximating Hyper-Rectangles: Learning and Pseudo-Random Sets (PA, PML, AS), pp. 314–323.
HCIHCI-SEC-1997-Niwano #named #navigation #towards
HyperBBS: Towards Smooth Navigation (EN), pp. 739–742.
SACSAC-1997-Sibai #communication #multi #network
Multi-node communication in hyper-ring networks (FNS), pp. 380–383.
HTHT-1996-BapatWAH #hypermedia #named #object-oriented
HyperStorM: An Extendable Object-Oriented Hypermedia Engine (AB, JW, KA, JMH), pp. 203–214.
HTHT-1996-CramerEMMP
Future (Hyper)Spaces (KC, SE, CCM, TM, MP), p. 261.
HTHT-1996-SawhneyBS #named
HyperCafe: Narrative and Aesthetic Properties of Hypervideo (NS, DB, IES), pp. 1–10.
HTHT-1996-WiilL #approach #hypermedia
The HyperDisco Approach to Open Hypermedia Systems (UKW, JJL), pp. 140–148.
SIGMODSIGMOD-1996-BohmA #database #documentation #named #object-oriented #using
HyperStorM — Administering Structured Documents Using Object-Oriented Database Technology (KB, KA), p. 547.
ICPRICPR-1996-YagiNYY #estimation #image #mobile #using
Rolling motion estimation for mobile robot by using omnidirectional image sensor HyperOmniVision (YY, WN, KY, MY), pp. 946–950.
CADECADE-1994-ChuP #first-order #proving #semantics #theorem proving #using
Semantically Guided First-Order Theorem Proving using Hyper-Linking (HC, DAP), pp. 192–206.
HCIHCI-SHI-1993-KamalaSC #difference #multi #student
Individual Differences in the Use of Hyper/Multimedia by Undergraduate Students at the University of Hawaii at Manoa (TNK, JS, MEC), pp. 507–512.
HTHT-ECHT-1992-Johnson #architecture #hypermedia #named
HyperWriter: An Integrated Hypermedia Architecture (Demonstration) (JSJ), p. 295.
CSCWCSCW-1992-Resnick #framework #named
HyperVoice: A Phone-Based CSCW Platform (PR), pp. 218–225.
CADECADE-1992-AlexanderP #proving #similarity #theorem
Proving Equality Theorems with Hyper-Linking (GDA, DAP), pp. 706–710.
CADECADE-1992-DigricoliK #challenge #problem
LIM+ Challenge Problems by RUE Hyper-Resolution (VJD, EK), pp. 239–252.
ICSEICSE-1991-JacobyT #evaluation #geometry #parametricity #reliability
Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM) (RJ, YT), pp. 226–237.
HTECHT-1990-Rouet #interactive
Interactive Text Processing by Inexperienced (Hyper-) Readers (JFR), pp. 250–260.
HTECHT-1990-SchuttS #database #hypermedia #named #relational
HyperBase: A Hypermedia Engine Based on a Relational Database Management System (HS, NAS), pp. 95–108.
CADECADE-1990-OzturkH #axiom #similarity
Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.
CADECADE-1988-Hines #knowledge-based #proving #theorem proving
Hyper-Chaining and Knowledge-Based Theorem Proving (LMH), pp. 469–486.
ICALPICALP-1977-Erni #complexity #on the
On the Time and Tape Complexity of Hyper(1)-AFL’s (WJE), pp. 230–243.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.