103 papers:
CASE-2015-GagliardiniCG #parallel- Dimensioning of cable-driven parallel robot actuators, gearboxes and winches according to the twist feasible workspace (LG, SC, MG), pp. 99–105.
CASE-2015-MarkovskiH #framework #manycore #question #synthesis- Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? (JM, HH), pp. 521–525.
CASE-2015-MoalDC #bibliography #case study #monitoring #on the #process- On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
ICALP-v1-2015-BeyersdorffCMS #calculus- Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.
DUXU-DD-2015-RossBOAA #case study #experience #feedback- A Feasibility Study of the Effect of Phone-Based Feedback of Other Commuters’ Subjective Experiences on Driver Intentions to Change (TR, AB, LO, BA, VAS), pp. 548–558.
ICEIS-v2-2015-GeraldiOCS #empirical #modelling #variability- Checklist-based Inspection of SMarty Variability Models — Proposal and Empirical Feasibility Study (RTG, EOJ, TC, IS), pp. 268–276.
SAC-2015-GomesB #integration #mobile #network- Feasibility of information-centric networking integration into LTE mobile networks (AG, TB), pp. 627–633.
DATE-2014-KomalanPTRHC- Feasibility exploration of NVM based I-cache through MSHR enhancements (MK, JIGP, CT, PR, MH, FC), pp. 1–6.
CHI-2014-LafreniereGMF #tool support #video- Investigating the feasibility of extracting tool demonstrations from in-situ video content (BL, TG, JM, GWF), pp. 4007–4016.
DHM-2014-Kull #using- Using the Critical Path Method in Analyzing the Interdependencies of Critical Services — Feasibility Study (AK), pp. 620–629.
ICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #verification- Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
DUXU-CXC-2013-MoodyTOKHB #self- Exploring the Need for, and Feasibility of, a Web-Based Self-Management Resource for Teenage and Young Adult Cancer Survivors in the UK (LM, AT, JO, JKA, LH, LB), pp. 417–423.
HIMI-D-2013-KomineN #evaluation #optimisation #smarttech #user interface #visual notation- Optimization of GUI on Touchscreen Smartphones Based on Physiological Evaluation — Feasibility of Small Button Size and Spacing for Graphical Objects (SK, MN), pp. 80–88.
SEKE-2013-KrollPACF #development- A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (S) (JK, RP, JLNA, EC, JF), pp. 196–199.
SEKE-2013-PytelBG #mining #validation- Proposal and Validation of a Feasibility Model for Information Mining Projects (S) (PP, PB, RGM), pp. 83–88.
SAC-2013-KalyanC #analysis #navigation #using- A feasibility analysis on using bathymetry for navigation of autonomous underwater vehicles (BK, MC), pp. 229–231.
CASE-2012-NgoS #composition #design- Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition (QHN, KTS), pp. 674–679.
STOC-2012-BeiCGL #design- Budget feasible mechanism design: from prior-free to bayesian (XB, NC, NG, PL), pp. 449–458.
LATA-2012-KaraST #automaton #logic #word- Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
SEKE-2012-YangCXZZ #approach #multi #optimisation- A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.
SAC-2012-BasuVDK #case study #collaboration #performance #privacy- Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study (AB, JV, TD, HK), pp. 447–452.
CHI-2011-TaylorAGC #internet- Group pulmonary rehabilitation delivered to the home via the internet: feasibility and patient perception (AT, AA, DG, JC), pp. 3083–3092.
HIMI-v1-2011-YanoAFJ #modelling #performance #predict #process- Feasibility Study of Predictive Human Performance Modeling Technique in Field Activities (NY, TA, SF, BEJ), pp. 180–189.
MoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing- Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
MoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing- Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
CASE-2010-DahaneR #integration #process- Integration of subcontracting activity in a production planning for randomly failing manufacturing system: Feasibility and profitability conditions (MD, NR), pp. 100–105.
CIAA-2010-TirnaucaT #automaton #identification #query- Types of Trusted Information That Make DFA Identification with Correction Queries Feasible (CT, CIT), pp. 272–281.
ICPR-2010-HanL #biology #classification #multi- A Hierarchical GIST Model Embedding Multiple Biological Feasibilities for Scene Classification (YH, GL), pp. 3109–3112.
CSL-2010-Krajicek #proving- From Feasible Proofs to Feasible Computations (JK), pp. 22–31.
TACAS-2009-BjornerTV #analysis #source code #string- Path Feasibility Analysis for String-Manipulating Programs (NB, NT, AV), pp. 307–321.
ICALP-v2-2009-BodirskyJO #linear- Semilinear Program Feasibility (MB, PJ, TvO), pp. 79–90.
CIKM-2009-Baeza-YatesGJPT #multi #on the #web- On the feasibility of multi-site web search engines (RABY, AG, FJ, VP, LT), pp. 425–434.
SAC-2009-TarratacaSC #gesture #recognition #smarttech #using- The current feasibility of gesture recognition for a smartphone using J2ME (LT, ACS, JMPC), pp. 1642–1649.
ICST-2009-KalajiHS #finite #generative #state machine #testing- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
ICST-2009-KaminskiA #detection #fault #logic #testing #using- Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.
WICSA-2008-CantoneK #design #documentation #empirical- Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study (GC, PK), pp. 189–198.
CASE-2008-NelaturiAST- Feasible spaces in weld gun selection (SN, AA, VS, RT), pp. 870–875.
DATE-2008-MasrurDF #polynomial #testing- Improvements in Polynomial-Time Feasibility Testing for EDF (AM, SD, GF), pp. 1033–1038.
SEFM-2008-BhatejaM #message passing #testing- Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.
SEFM-2008-Gladisch #branch #generative #testing- Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
CHI-2008-GrimesTHSR #memory management- Feasibility and pragmatics of classifying working memory load with an electroencephalograph (DBG, DST, SEH, PS, RPNR), pp. 835–844.
CHI-2008-SaponasTMB #interface #using- Demonstrating the feasibility of using forearm electromyography for muscle-computer interfaces (TSS, DST, DM, RB), pp. 515–524.
ICPR-2008-LuoHMJY #image- Recognizing picture-taking environment from satellite images: A feasibility study (JL, WH, DM, DJ, JY), pp. 1–4.
ICST-2008-KimC #object-oriented #sequence #source code #testing- A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (MK, YC), pp. 537–540.
CASE-2007-YangM #approach #automation #feature model #interactive #matrix #verification- Automatic Feasibility Verification of Object Configurations: A New Approach Based on Feature Interaction Matrices (FY, MMM), pp. 686–691.
DATE-2007-CucuG #multi #scheduling- Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
DATE-2007-HaastregtK #interactive #optimisation #performance #random #using- Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search (SvH, PMWK), pp. 606–611.
CSEET-2007-MeadHMRS #on the #re-engineering #source code- On the Feasibility of Specialization within Software Engineering Degree Programs (NRM, TBH, JM, MR, DS), pp. 362–366.
ICPC-2007-StefikAPB #debugging #named #using- WAD: A Feasibility study using the Wicked Audio Debugger (AS, RTA, RP, JB), pp. 69–80.
HCI-IPT-2007-LeeKYL #community #smarttech- A Feasibility Study of Sixth Sense Computing Scenarios in a Wearable Community (SL, HK, SY, GL), pp. 1155–1164.
CAiSE-2007-DerzsiGKAT #case study- Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector (ZD, JG, KK, HA, YHT), pp. 66–80.
CIKM-2007-TamashiroTV #integration #query #towards- Towards practically feasible answering of regular path queries in lav data integration (MT, AT, SV), pp. 381–390.
OOPSLA-2007-AvgustinovTM #monitoring- Making trace monitors feasible (PA, JT, OdM), pp. 589–608.
PPDP-2007-AmadioD #π-calculus- Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.
TLCA-2007-Marion #analysis- Predicative Analysis of Feasibility and Diagonalization (JYM), pp. 290–304.
DATE-2006-BertozziABP #migration #multi- Supporting task migration in multi-processor systems-on-chip: a feasibility study (SB, AA, DB, AP), pp. 15–20.
SIGIR-2006-OtterbacherR #detection- Fact-focused novelty detection: a feasibility study (JO, DRR), pp. 687–688.
RTA-2006-BoichutG #approximate #re-engineering- Feasible Trace Reconstruction for Rewriting Approximations (YB, TG), pp. 123–135.
DAC-2005-DingV #megamodelling #performance- A combined feasibility and performance macromodel for analog circuits (MD, RV), pp. 63–68.
DATE-2005-AlbersS #analysis #performance #realtime #scheduling- Efficient Feasibility Analysis for Real-Time Systems with EDF Scheduling (KA, FS), pp. 492–497.
CSL-2005-Soltys #algorithm #matrix #proving- Feasible Proofs of Matrix Properties with Csanky’s Algorithm (MS), pp. 493–508.
TLCA-2005-BaillotT #algorithm #logic #type system- A Feasible Algorithm for Typing in Elementary Affine Logic (PB, KT), pp. 55–70.
DATE-v2-2004-ZhangC #analysis #embedded #fault tolerance #realtime #scalability- Task Feasibility Analysis and Dynamic Voltage Scaling in Fault-Tolerant Real-Time Embedded Systems (YZ, KC), pp. 1170–1175.
ICALP-2004-Razborov #proving- Feasible Proofs and Computations: Partnership and Fusion (AAR), pp. 8–14.
IFL-2004-Achten #user interface- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (PA), pp. 17–34.
CIKM-2004-DucksteinB #database- Database support for species extraction from the biosystematics literature: a feasibility demonstration (RD, KB), pp. 515–522.
ICPR-v1-2004-ReimersBBOCFKP- A Feasibility study of On-Board Data Compression for Infrared Cameras of Space Observatories (CR, ANB, HB, RO, DAC, HF, FK, AP), pp. 524–527.
LICS-2004-Razborov #proving- Feasible Proofs and Computations: Partnership and Fusion (AAR), pp. 134–138.
PODS-2003-RameshMZ #data mining #mining #theory and practice- Feasible itemset distributions in data mining: theory and application (GR, WM, MJZ), pp. 284–295.
CHI-2003-HudsonFAAFKLY #predict- Predicting human interruptibility with sensors: a Wizard of Oz feasibility study (SEH, JF, CGA, DA, JF, SBK, JCL, JY), pp. 257–264.
ICPR-v2-2002-ToenniesBA #locality #realtime- Feasibility of Hough-Transform-Based Iris Localisation for Real-Time-Application (KDT, FB, MA), pp. 1053–1056.
LICS-2002-Leivant #abstraction #rank- Calibrating Computational Feasibility by Abstraction Rank (DL), p. 345–?.
DAC-2001-SchenkelPZSGA #analysis #optimisation- Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search (FS, MP, SZ, RS, HEG, KA), pp. 858–863.
TACAS-2001-PasareanuDV #java #model checking #source code- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
CSL-2001-Marion- Actual Arithmetic and Feasibility (JYM), pp. 115–129.
CC-2000-Vallee-RaiGHLPS #bytecode #framework #java #optimisation #question #using- Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (RVR, EG, LJH, PL, PP, VS), pp. 18–34.
TestCom-2000-DualeU #generative #modelling #sequence #testing- Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
HCI-CCAD-1999-IshikawaS #collaboration- Feasibility study on the application of a human collaborative robot system to the inspecting patrol of nuclear power plants (NI, KS), pp. 1172–1176.
SIGIR-1998-ZamirE #clustering #documentation #web- Web Document Clustering: A Feasibility Demonstration (OZ, OE), pp. 46–54.
ESEC-FSE-1997-ForgacsB #slicing- Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.
STOC-1996-AllenderBO #complexity #equation #linear #matrix #rank- The Complexity of Matrix Rank and Feasible Systems of Linear Equations (Extended Abstract) (EA, RB, MO), pp. 161–167.
CAiSE-1995-VerhoefH #flexibility #modelling- Feasibility of Flexible Information Modelling Support (TFV, AHMtH), pp. 168–185.
EDAC-1994-ZemvaBKZ #fault- A Functionality Fault Model: Feasibility and Applications (AZ, FB, KK, BZ), pp. 152–158.
ISSTA-1994-GoldbergWZ #analysis #testing- Applications of Feasible Path Analysis to Program Testing (AG, TCW, DZ), pp. 80–94.
ISSTA-1994-JasperBWCZ #analysis #generative #testing- Test Data Generation and Feasible Path Analysis (RJ, MB, KEW, BC, DZ), pp. 95–107.
ICDAR-1993-WebsterN #parallel #recognition- The feasibility of a parallel processing oriented character recognition method based on a dynamic model (RGW, MN), pp. 714–717.
PODS-1993-ChomickiN #constraints #on the- On the Feasibility of Checking Temporal Integrity Constraints (JC, DN), pp. 202–213.
TRI-Ada-1993-Salant #reuse- The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems (NS), pp. 170–179.
SAC-1993-SekharanW #algorithm #search-based- Manipulating Subpopulations of Feasible and Infeasible Solutions in Genetic Algorithms (DAS, RLW), pp. 118–125.
STOC-1992-Barvinok #equation #polynomial #testing- Feasibility Testing for Systems of Real Quadratic Equations (AIB), pp. 126–132.
LICS-1992-Seth #axiom #recursion- There is No Recursive Axiomatization for Feasible Functionals of Type~2 (AS), pp. 286–295.
KR-1991-Attardi- Knowledge Sharing: A Feasible Dream (GA), pp. 597–598.
KR-1991-Vreeswijk #reasoning- The Feasibility of Defeat in Defeasible Reasoning (GV), pp. 526–534.
LICS-1991-Leivant- A Foundational Delineation of Computational Feasiblity (DL), pp. 2–11.
DAC-1989-KravitzBR #parallel #simulation- Massively Parallel Switch-Level Simulation: A Feasibility Study (SAK, REB, RAR), pp. 91–97.
STOC-1989-CookU #functional- Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) (SAC, AU), pp. 107–112.
HCI-SES-1987-Karasek #design- Making Customer-Oriented Variety Feasible for CIM: Customer-Oriented Product Design Software (RAK), pp. 129–136.
VLDB-1985-GoldSH #performance- The Private Workspace Model Feasibility and Applications to 2PL Performance Improvements (IG, OS, MH), pp. 192–208.
STOC-1984-Upfal #modelling #parallel #probability- A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) (EU), pp. 258–265.
STOC-1977-Simon #on the- On Feasible Numbers (Preliminary Version) (JS), pp. 195–207.
VLDB-1975-Manacher #database #implementation #on the #performance #relational #scalability- On the Feasibility of Implementing a Large Relational Data Base with Optimal Performance on a Mini-Computer (GKM), pp. 175–201.
STOC-1975-Cook #calculus #proving- Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version) (SAC), pp. 83–97.
DAC-1974-MillerHKRS #design- Feasibility study of an integrated program for aerospace vehicle design (IPAD) (REMJ, SH, AK, DR, JS), pp. 335–346.