Stem feasibl$ (all stems)

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.