12 papers:
- HIMI-LCCB-2013-YoshidaOSNSH #assessment #comprehension #concept #using
- Instantaneous Assessment of Learners’ Comprehension for Lecture by Using Kit-Build Concept Map System (KY, TO, KS, YN, MS, TH), pp. 175–181.
- SEFM-2012-ZhaoZZH #calculus
- A Denotational Model for Instantaneous Signal Calculus (YZ, LZ, HZ, JH), pp. 126–140.
- HCI-ITE-2011-TakahashiK
- Eye-Movement-Based Instantaneous Cognition Model for Non-verbal Smooth Closed Figures (YT, SK), pp. 314–322.
- VLDB-2010-MahPC #algorithm #functional #named #realtime #set
- UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.
- ICML-2008-HyvarinenSH #modelling
- Causal modelling combining instantaneous and lagged effects: an identifiable model based on non-Gaussianity (AH, SS, POH), pp. 424–431.
- CASE-2006-Shi0 #detection
- Signal Detecting Based on Instantaneous Virtual Power (WS, JL), pp. 270–273.
- SAS-2003-TardieuS #termination
- Instantaneous Termination in Pure Esterel (OT, RdS), pp. 91–108.
- DATE-1998-JiangC #approximate #estimation
- Exact and Approximate Estimation for Maximum Instantaneous Current of CMOS Circuits (YMJ, KTC), pp. 698–702.
- DAC-1997-KrsticC #generative
- Vector Generation for Maximum Instantaneous Current Through Supply Lines for CMOS Circuits (AK, KTC), pp. 383–388.
- TACAS-1997-PhilippsS #verification
- Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.
- ICPR-1996-SchackK #information management #parametricity
- Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.
- SIGMOD-1975-Rappaport #design #online
- File Structure Design to Facilitate On-Line Instantaneous Updating (RLR), pp. 1–14.