Stem hyper$ (all stems)

103 papers:

FoSSaCS-2015-BozzelliMP #logic

Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.

CIAA-J-2013-Maletti15 #automaton

Hyper-optimization for deterministic tree automata (AM), pp. 72–87.

CHI-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.

ICML-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.

ICML-2015-LiuHW #collaboration

Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.

SAC-2015-BasgaluppBP #algorithm #evolution #induction #multi

Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.

CAV-2015-FinkbeinerRS #algorithm #model checking

Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.

LICS-2015-BeckmannP #deduction

Hyper Natural Deduction (AB, NP), pp. 547–558.

AFL-2014-MalettiQ #automaton

Hyper-Minimization for Deterministic Weighted Tree Automata (AM, DQ), pp. 314–326.

DLT-2014-HolzerJ #automaton

Minimal and Hyper-Minimal Biautomata — (Extended Abstract) (MH, SJ), pp. 291–302.

SAC-2014-DieguesOPRR #modelling

Autonomic configuration of HyperDex via analytical modelling (NLD, MO, JP, LETR, PR), pp. 370–375.

LICS-CSL-2014-LerouxPS #automaton #bound

Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.

DocEng-2013-TruranSGC #automation #generative #guidelines

Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.

CIAA-J-2012-JezM13 #automaton

Hyper-Minimization for Deterministic Tree Automata (AJ, AM), pp. 815–830.

CIAA-2013-Maletti #automaton

Hyper-optimization for Deterministic Tree Automata (AM), pp. 244–255.

CHI-2013-EdgeSY #named #prototype

HyperSlides: dynamic presentation prototyping (DE, JS, KY), pp. 671–680.

SAC-2013-BasgaluppBSC #approach #predict

Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.

CADE-2013-BenderPS #logic

System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.

AFL-J-2011-MalettiQ12

Unweighted and Weighted Hyper-Minimization (AM, DQ), pp. 1207–1226.

CIAA-2012-JezM #automaton

Hyper-minimization for Deterministic Tree Automata (AJ, AM), pp. 217–228.

ICPR-2012-PitchayK #multi

Multi-task signal recovery by higher level hyper-parameter sharing (SAP, AK), pp. 2246–2249.

SAC-2012-KaneiwaN #knowledge base #ontology

Sorted hyper-predicate knowledge bases for ontologies and rules (KK, PHPN), pp. 312–319.

ICSE-2012-Monteiro #algorithm #effectiveness #named #parallel

HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (PM), pp. 1559–1562.

DATE-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.

VLDB-2011-VenetisGJH #ranking

Hyper-local, directions-based ranking of places (PV, HG, CSJ, AYH), pp. 290–301.

CIAA-J-2010-MalettiQ11

Optimal Hyper-Minimization (AM, DQ), pp. 1877–1891.

AFL-2011-Maletti

Notes on Hyper-minimization (AM), pp. 34–49.

AFL-2011-MalettiQ #automaton #finite

Hyper-minimisation of deterministic weighted finite automata over semifields (AM, DQ), pp. 285–299.

CHI-2011-HartmannDC #named #web

HyperSource: bridging the gap between source and code-related web sites (BH, MD, MKC), pp. 2207–2210.

KMIS-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.

CIAA-2010-Maletti #fault #performance

Better Hyper-minimization — Not as Fast, But Fewer Errors (AM), pp. 201–210.

ICPR-2010-LiuYZH #multi #recognition

Action Recognition by Multiple Features and Hyper-Sphere Multi-class SVM (JL, JY, YZ, XH), pp. 3744–3747.

ICPR-2010-RangarajanKNS

Hyper Least Squares and Its Applications (PR, KK, HN, YS), pp. 5–8.

HT-2009-StyliarasC #hypermedia #named #towards #web

HyperSea: towards a spatial hypertext environment for web 2.0 content (GDS, SPC), pp. 35–44.

CIAA-J-2008-Badr09

Hyper-minimization in O(n²) (AB), pp. 735–746.

CIAA-2009-HolzerM #algorithm #automaton

An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton (MH, AM), pp. 4–13.

FM-2009-LeinenbachS #verification

Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.

CIKM-2009-WangWLL #named #query #ranking #summary

HyperSum: hypergraph based semi-supervised sentence ranking for query-oriented summarization (WW, FW, WL, SL), pp. 1855–1858.

HT-2008-Kolb08a

Making revisions hyper-visible (DAK), pp. 113–116.

AFL-2008-GeffertBS #automaton

Hyper-Minimizing Minimized Deterministic Automata (VG, AB, IS), pp. 9–30.

CIAA-2008-Badr

Hyper-Minimization in O(n2) (AB), pp. 223–231.

ICGT-2008-ChalopinMM #graph #problem

Labelled (Hyper)Graphs, Negotiations and the Naming Problem (JC, AWM, YM), pp. 54–68.

HIMI-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.

ECIR-2007-HeO #normalisation

Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task (BH, IO), pp. 468–480.

CADE-2007-BaumgartnerFP #similarity

Hyper Tableaux with Equality (PB, UF, BP), pp. 492–507.

CADE-2007-PelzerW

System Description: E-KRHyper (BP, CW), pp. 508–513.

SAC-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.

HT-2005-GagliardiP #hypermedia #information retrieval

Audio information retrieval in HyperMedia environment (IG, PP), pp. 248–250.

HT-2005-NagelS

HyperHistory (TN, RS), pp. 276–277.

HT-2005-ShipmanGW #case study #experience

Hypervideo expression: experiences with hyper-hitchcock (FMSI, AG, LW), pp. 217–226.

IWPC-2005-Koskinen #tool support

HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.

CADE-2005-SinnerK #named

KRHyper — In Your Pocket (AS, TK), pp. 452–457.

SAT-2005-GershmanS #effectiveness #preprocessor

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.

HT-2004-LarsenB #named #network

HyperPeer: searching for resemblance in a P2P network (RDL, NOB), pp. 268–269.

CGO-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.

HT-2003-RomeroC #artificial reality #hypermedia #named

HyperReal: a hypermedia model for mixed reality (LR, NC), pp. 2–9.

HT-2003-ShipmanGW #editing

Combining spatial and navigational structure in the hyper-hitchcock hypervideo editor (FMSI, AG, LW), pp. 124–125.

CIKM-2003-BhowmickVL #integration #named

HyperThesis: the gRNA spell on the curse of bioinformatics applications integration (SSB, VV, AVL), pp. 402–409.

SAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity

Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.

STOC-2002-Holmerin #approximate

Vertex cover on 4-regular hyper-graphs is hard to approximate within 2-epsilon (JH), pp. 544–552.

ICPR-v3-2002-SumiIT #locality #realtime

Hyper Frame Vision: A Real-Time Vision System for 6-DOF Object Localization (YS, YI, FT), pp. 577–580.

ICPR-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.

SIGIR-2002-FuhrGG #named #retrieval #xml

HyREX: hyper-media retrieval engine for XML (NF, NG, KG), p. 449.

ICSE-2002-TarrOS #java #multi #named

Hyper/J: multi-dimensional separation of concerns for Java (PLT, HO, SMSJ), pp. 689–690.

SAT-2002-Kusper #linear #problem #satisfiability

Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.

ICSE-2001-OssherT #java #multi #named

Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (HO, PLT), pp. 821–822.

ICSE-2001-TarrO #java #multi #named

Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (PLT, HO), pp. 729–730.

CSL-2001-Eijck

Constrained Hyper Tableaux (JvE), pp. 232–246.

ICPR-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.

ICSE-2000-OssherT #java #multi #named

Hyper/J: multi-dimensional separation of concerns for Java (HO, PLT), pp. 734–737.

VLDB-1999-ZirintsisKM #java

Hyper-Programming in Java (EZ, GNCK, RM), pp. 734–737.

CHI-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.

HCI-CCAD-1999-Morikawa #communication #video

Pointing on HyperMirror video mediated communication (OM), pp. 548–552.

DAC-1998-JiangJH #composition #encoding #synthesis

Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.

CSCW-1998-MorikawaM #communication #named #towards #video

HyperMirror: Toward Pleasant-to-Use Video Mediated Communication System (OM, TM), pp. 149–158.

KDD-1998-WangDB #reduction

Data Reduction Based on Hyper Relations (HW, ID, DAB), pp. 349–353.

SAC-1998-MorinK #named

HyperNews: a MEDIA application for the commercialization of an electronic newspaper (JHM, DK), pp. 696–705.

SAC-1998-Sibai #multi #performance

Performance of the hyper-ring multicomputer (FNS), pp. 598–606.

SAC-1998-Sibai98a #low cost #multi #network #scalability

The hyper-ring network: a cost-efficient topology for scalable multicomputers (FNS), pp. 607–612.

SAC-1998-Wiil #framework #library

Evaluating HyperDisco as an infrastructure for digital libraries (UKW), pp. 491–497.

HT-1997-Engebretsen #named #question

Hyper-news: Revolution or Contradiction? (ME), pp. 222–223.

HT-1997-WiilL #approach #internet #named

Workspaces: The HyperDisco Approach to Internet Distribution (UKW, JJL), pp. 13–23.

STOC-1997-AuerLS #approximate #learning #pseudo #set

Approximating Hyper-Rectangles: Learning and Pseudo-Random Sets (PA, PML, AS), pp. 314–323.

HCI-SEC-1997-Niwano #named #navigation #towards

HyperBBS: Towards Smooth Navigation (EN), pp. 739–742.

SAC-1997-Sibai #communication #multi #network

Multi-node communication in hyper-ring networks (FNS), pp. 380–383.

HT-1996-BapatWAH #hypermedia #named #object-oriented

HyperStorM: An Extendable Object-Oriented Hypermedia Engine (AB, JW, KA, JMH), pp. 203–214.

HT-1996-CramerEMMP

Future (Hyper)Spaces (KC, SE, CCM, TM, MP), p. 261.

HT-1996-SawhneyBS #named

HyperCafe: Narrative and Aesthetic Properties of Hypervideo (NS, DB, IES), pp. 1–10.

HT-1996-WiilL #approach #hypermedia

The HyperDisco Approach to Open Hypermedia Systems (UKW, JJL), pp. 140–148.

SIGMOD-1996-BohmA #database #documentation #named #object-oriented #using

HyperStorM — Administering Structured Documents Using Object-Oriented Database Technology (KB, KA), p. 547.

ICPR-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.

CADE-1994-ChuP #first-order #proving #semantics #theorem proving #using

Semantically Guided First-Order Theorem Proving using Hyper-Linking (HC, DAP), pp. 192–206.

HCI-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.

HT-ECHT-1992-Johnson #architecture #hypermedia #named

HyperWriter: An Integrated Hypermedia Architecture (Demonstration) (JSJ), p. 295.

CSCW-1992-Resnick #framework #named

HyperVoice: A Phone-Based CSCW Platform (PR), pp. 218–225.

CADE-1992-AlexanderP #proving #similarity #theorem

Proving Equality Theorems with Hyper-Linking (GDA, DAP), pp. 706–710.

CADE-1992-DigricoliK #challenge #problem

LIM+ Challenge Problems by RUE Hyper-Resolution (VJD, EK), pp. 239–252.

ICSE-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.

ECHT-1990-Rouet #interactive

Interactive Text Processing by Inexperienced (Hyper-) Readers (JFR), pp. 250–260.

ECHT-1990-SchuttS #database #hypermedia #named #relational

HyperBase: A Hypermedia Engine Based on a Relational Database Management System (HS, NAS), pp. 95–108.

CADE-1990-OzturkH #axiom #similarity

Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.

CADE-1988-Hines #knowledge-based #proving #theorem proving

Hyper-Chaining and Knowledge-Based Theorem Proving (LMH), pp. 469–486.

ICALP-1977-Erni #complexity #on the

On the Time and Tape Complexity of Hyper(1)-AFL’s (WJE), pp. 230–243.