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:
model (20)
test (18)
system (17)
order (14)
base (12)

Stem passiv$ (all stems)

87 papers:

CASECASE-2015-LiuFOCK #realtime
A real-time passive vision system for robotic arc welding (JL, ZF, SIO, KHC, JKK), pp. 389–394.
CASECASE-2015-YuWZ
From passive demand response to proactive demand participation (NY, TW, QZ), pp. 1300–1306.
CHICHI-2015-LaputBHH #interactive #named
Acoustruments: Passive, Acoustically-Driven, Interactive Controls for Handheld Devices (GL, EB, SEH, CH), pp. 2161–2170.
CHICHI-2015-LiYS #detection #interactive #named
IDSense: A Human Object Interaction Detection System Based on Passive UHF RFID (HL, CY, APS), pp. 2555–2564.
CHICHI-2015-SavageHHGML #component #named
Lamello: Passive Acoustic Sensing for Tangible Input Components (VS, AH, BH, DBG, GJM, WL), pp. 1277–1280.
HCISCSM-2015-BramanD #framework #personalisation
Utilizing Virtual Worlds for Personalized Search: Developing the PAsSIVE Framework (JB, CD), pp. 3–11.
CASECASE-2014-KoHCAY
Guidance and obstacle avoidance of passive robot walking helper based on receding horizon control (CHK, YHH, YTC, SKA, KYY), pp. 1032–1037.
CASECASE-2014-LiuK #communication #nondeterminism #parametricity
Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
DATEDATE-2014-UbolliGBC #linear #megamodelling
Sensitivity-based weighting for passivity enforcement of linear macromodels in power integrity applications (AU, SGT, MB, AC), pp. 1–6.
CIKMCIKM-2014-YaoRSLF #locality #probability
Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches (LY, WR, QZS, XL, NJGF), pp. 1799–1802.
ICMLICML-c1-2014-ShiZ #learning #online
Online Bayesian Passive-Aggressive Learning (TS, JZ), pp. 378–386.
MLDMMLDM-2014-YuST #detection #modelling #realtime
Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
LICSLICS-CSL-2014-BernardoSV #higher-order #interactive #on the #power of
On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
HCIHCI-UC-2013-TajimaIK #analysis
Analysis of Customer Preference through Unforced Natural Passive Observation (TT, YI, TK), pp. 466–474.
CASECASE-2012-QuangR #approach #implementation
Implementation of Time Domain Passivity Approach on Rate-Mode bilateral teleoperation (HVQ, JHR), pp. 846–850.
DATEDATE-2012-MahmoodSD #framework #linear #modelling #multi #performance
An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
CIKMCIKM-2012-WangXY #learning
Importance weighted passive learning (SW, XX, YY), pp. 2243–2246.
CIKMCIKM-2012-YanZN #realtime
Leveraging read rates of passive RFID tags for real-time indoor location tracking (DY, ZZ, WN), pp. 375–384.
ICMLICML-2012-FoxT #bound
Bounded Planning in Passive POMDPs (RF, NT), p. 15.
SACSAC-2012-DeriTMV #monitoring #towards
Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.
SACSAC-2012-NguyenPZ #consistency #testing
Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
ICTSSICTSS-2012-ChenV #protocol #testing
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
CASECASE-2011-DAngeloLL
A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.
DACDAC-2011-YeLGY #framework #megamodelling #novel
A novel framework for passive macro-modeling (ZY, YL, MG, ZY), pp. 546–551.
DATEDATE-2011-GobbatoCG #megamodelling #parallel #scalability
A parallel Hamiltonian eigensolver for passivity characterization and enforcement of large interconnect macromodels (LG, AC, SGT), pp. 26–31.
HCIHCI-MIIE-2011-BraunK #identification #smarttech
Passive Identification and Control of Arbitrary Devices in Smart Environments (AB, FK), pp. 147–154.
HCIHCI-MIIE-2011-LuMLW #interactive #pervasive #research
Research of Passive Mode Interaction in Pervasive Computing (YL, KM, ZL, KW), pp. 220–229.
DATEDATE-2010-ChineaGDDK #megamodelling #on the #performance
On the construction of guaranteed passive macromodels for high-speed channels (AC, SGT, DD, TD, LK), pp. 1142–1147.
DATEDATE-2010-MahmoodBMMD #modelling #multi #order #programming
Passive reduced order modeling of multiport interconnects via semidefinite programming (ZM, BNB, TM, AM, LD), pp. 622–625.
DATEDATE-2010-UgryumovaS #algorithm #modelling #on the
On passivity of the super node algorithm for EM modeling of interconnect systems (MVU, WHAS), pp. 471–476.
DATEDATE-2010-YeSP #assessment
Extended Hamiltonian Pencil for passivity assessment and enforcement for S-parameter systems (ZY, LMS, JRP), pp. 1148–1152.
CHICHI-2010-HuangSDWKAL #learning #mobile #music
Mobile music touch: mobile tactile stimulation for passive learning (KH, TS, EYLD, GW, DK, CA, RL), pp. 791–800.
SEKESEKE-2010-AndresMN #algorithm #multi #search-based #testing
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
ASEASE-2009-LalanneMOCMG #approach #automation #testing
An Automated Passive Testing Approach for the IMS PoC Service (FL, SM, EMdO, ARC, WM, AG), pp. 535–539.
DACDAC-2009-Wong #canonical #performance
An efficient passivity test for descriptor systems via canonical projector techniques (NW), pp. 957–962.
FoSSaCSFoSSaCS-2009-LengletSS #bisimulation #calculus
Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.
SEFMSEFM-2009-AndresMN #protocol #testing
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.
CHICHI-2009-HarrisonH09a #approach
Texture displays: a passive approach to tactile presentation (CH, SEH), pp. 2261–2264.
CHICHI-2009-Ljungblad #what
Passive photography from a creative perspective: “If I would just shoot the same thing for seven days, it’s like... What’s the point?” (SL), pp. 829–838.
HCIHCI-AUII-2009-WatanabeMSNM #interactive #interface #novel #towards
Electromyography Focused on Passiveness and Activeness in Embodied Interaction: Toward a Novel Interface for Co-creating Expressive Body Movement (TW, NM, RS, HN, YM), pp. 554–562.
HCIHCI-NIMT-2009-MassonM #communication #named
WeMe: Seamless Active and Passive Liquid Communication (NM, WEM), pp. 694–700.
SEKESEKE-2009-AndresMN #mining #realtime #testing #using
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
SACSAC-2009-CavalliMO #approach #consistency #protocol #testing
A passive conformance testing approach for a MANET routing protocol (ARC, SM, EMdO), pp. 207–211.
SACSAC-2009-ZaidiBC #network #protocol #testing
Network protocol interoperability testing based on contextual signatures and passive testing (FZ, EB, ARC), pp. 2–7.
ICSTICST-2009-AndresMN #probability #testing
Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.
CASECASE-2008-NummelaUSK #case study #industrial
Exploiting passive UHF RFID in paper industry — Case study: End user (JN, LU, LS, MK), pp. 436–441.
DACDAC-2008-LeeJCHKKK #power management
Applying passive RFID system to wireless headphones for extreme low power consumption (JGL, DJ, JC, SH, JKK, JK, SWK), pp. 486–491.
DACDAC-2008-ZhangYZDKDKC #optimisation #power management #using
Low power passive equalizer optimization using tritonic step response (LZ, WY, HZ, AD, GAK, DMD, ESK, CKC), pp. 570–573.
DATEDATE-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.
DACDAC-2007-YanTLM #higher-order #named #reduction
SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits (BY, SXDT, PL, BM), pp. 158–161.
HCIHCI-IPT-2007-PhamJYWA #human-computer #interface #locality #novel
A Novel Human-Computer Interface Based on Passive Acoustic Localisation (DTP, ZJ, MY, ZW, MAK), pp. 901–909.
FATESTestCom-FATES-2007-BenharrefDSEG #approach #testing #web #web service
New Approach for EFSM-Based Passive Testing of Web Services (AB, RD, MAS, AEN, RHG), pp. 13–27.
FATESTestCom-FATES-2007-UralX #approach #detection #fault
An EFSM-Based Passive Fault Detection Approach (HU, ZX), pp. 335–350.
CASECASE-2006-LiHZ #algorithm #multi
A New Data Association Algorithm for Multiple Passive Sensors (CL, CH, HZ), pp. 594–599.
DACDAC-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.
ICTSSTestCom-2006-ShuL #monitoring #protocol #security #testing
Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.
ICALPICALP-2005-BaudetCK #equation #implementation
Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.
ICTSSTestCom-2005-LadaniAC #approach #invariant #testing
Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.
DACDAC-2004-WongBK #performance #reduction
Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.
HPDCHPDC-2004-ZangrilliL #monitoring #network #using
Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.
ICTSSTestCom-2003-ArnedoCN #performance #testing
Fast Testing of Critical Properties through Passive Testing (JAA, ARC, MN), pp. 295–310.
DACDAC-2002-CaoLCC #megamodelling #named #power management
HiPRIME: hierarchical and passivity reserved interconnect macromodeling engine for RLKC power delivery (YC, YML, THC, CCPC), pp. 379–384.
DACDAC-2002-DanielP #distributed #order #reduction #strict
Model order reduction for strictly passive and causal distributed systems (LD, JRP), pp. 46–51.
DACDAC-2002-PhillipsDS #order #reduction
Guaranteed passive balancing transformations for model order reduction (JRP, LD, LMS), pp. 52–57.
DACDAC-2002-SuBK #framework #reduction
A factorization-based framework for passivity-preserving model reduction of RLC systems (QS, VB, CKK), pp. 40–45.
DATEDATE-2002-CoelhoSP #algorithm #approximate #using
Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.
ISMMISMM-2002-VardhanA #algorithm #garbage collection #using
Using passive object garbage collection algorithms for garbage collection of active objects (AV, GA), pp. 213–220.
DATEDATE-2001-XuM #difference #modelling #performance #using
Efficient and passive modeling of transmission lines by using differential quadrature method (QX, PM), pp. 437–444.
DACDAC-2000-BorosRP #configuration management #multi
High-level model of a WDMA passive optical bus for a reconfigurable multiprocessor system (VEB, ADR, SP), pp. 221–226.
DACDAC-2000-GadDNA #distributed #multi #order #reduction
Passive model order reduction of multiport distributed interconnects (EG, AD, MSN, RA), pp. 526–531.
DACDAC-2000-YuWK #algorithm #network #order #reduction
Passive model order reduction algorithm based on Chebyshev expansion of impulse response of interconnect networks (QY, JMW, ESK), pp. 520–525.
DATEDATE-2000-SchefflerT #effectiveness
Assessing the Cost Effectiveness of Integrated Passives (MS, GT), pp. 539–543.
ICPRICPR-v1-2000-Weik #using
A Passive Full Body Scanner Using Shape from Silhouettes (SW), pp. 1750–1753.
DACDAC-1999-Freund #algorithm #modelling #simulation
Passive Reduced-Order Models for Interconnect Simulation and Their Computation via Krylov-Subspace Algorithms (RWF), pp. 195–200.
FMFM-v1-1999-TabourierCI #empirical #protocol #testing #using
A GSM-MAP Protocol Experiment Using Passive Testing (MT, ARC, MI), pp. 915–934.
HCIHCI-EI-1999-Ramadhan #automation
Active vs. Passive Systems for Automatic Program Diagnosis (HAR), pp. 1278–1282.
HPDCHPDC-1999-SchnaidtHFKJ #adaptation #independence #message passing #monitoring #performance
Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.
DACDAC-1998-MarquesKWS #3d #modelling #performance
A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects (NAM, MK, JW, LMS), pp. 297–302.
DATEDATE-1998-FreundF #approximate #linear #modelling #multi #scalability #using
Reduced-Order Modeling of Large Linear Passive Multi-Terminal Circuits Using Matrix-Pade Approximation (RWF, PF), pp. 530–537.
DATEDATE-1998-MarquesKWS #3d #algorithm #modelling #order #performance #reduction
An Efficient Algorithm for Fast Parasitic Extraction and Passive Order Reduction of 3D Interconnect Models (NAM, MK, JW, LMS), pp. 538–543.
DACDAC-1997-ElfadelL #modelling #network
Zeros and Passivity of Arnoldi-Reduced-Order Models for Interconnect Networks (IME, DDL), pp. 28–33.
DACDAC-1997-KernsY #congruence #network #reduction
Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations (KJK, ATY), pp. 34–39.
AdaEuropeAdaEurope-1997-Mueller #ada #distributed
Supporting Ada 95 Passive Partitions in a Distributed Environment (FM), pp. 218–229.
ICMLICML-1996-KoenigS #distance #learning #navigation
Passive Distance Learning for Robot Navigation (SK, RGS), pp. 266–274.
CHICHI-1994-HinckleyPGK94a #interface #visualisation
Passive real-world interface props for neurosurgical visualization (KH, RP, JCG, NFK), pp. 452–458.
LICSLICS-1994-Reddy #independence
Passivity and Independence (USR), pp. 342–352.
ESECESEC-1993-BreitenederM #component #process #programming
Process Programming with Active and Passive Components (CB, TAM), pp. 466–482.

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.