71 papers:
ICML-2015-Betancourt #monte carlo #scalability- The Fundamental Incompatibility of Scalable Hamiltonian Monte Carlo and Naive Data Subsampling (MB), pp. 533–540.
ICML-2015-YiCP #algorithm #performance- Binary Embedding: Fundamental Limits and Fast Algorithm (XY, CC, EP), pp. 2162–2170.
SAT-2015-Oh #difference #satisfiability- Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
DHM-2014-KitajimaNMKAHNOKO #education- Robotics as a Tool in Fundamental Nursing Education (YK, MN, JM, MKP, KA, ZH, AN, TO, NK, JO), pp. 392–402.
ITiCSE-2013-Honig #education #programming #visual notation- Teaching and assessing programming fundamentals for non majors with visual programming (WLH), pp. 40–45.
SAC-2013-AhatAB #grid #modelling #smarttech #strict- Modeling fundamentals for smart grid enabled ecodistricts (MA, SBA, AB), pp. 688–689.
LICS-2013-LicataS #type system- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (DRL, MS), pp. 223–232.
CASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support- Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
VLDB-2012-SzlichtaGG #dependence #order- Fundamentals of Order Dependencies (JS, PG, JG), pp. 1220–1231.
CHI-2012-RaihaO #case study #fault #type system- An exploratory study of eye typing fundamentals: dwell time, text entry rate, errors, and workload (KJR, SO), pp. 3001–3010.
DUXU-v2-2011-ObermeierBSV #aspect-oriented #automation #evaluation #modelling #object-oriented #programming #usability- Fundamental Aspects Concerning the Usability Evaluation of Model-Driven Object Oriented Programming Approaches in Machine and Plant Automation (MO, SB, KS, BVH), pp. 497–506.
HCI-UA-2011-LuhC #framework #geometry #sketching- CAI Platform for Fundamental Geometric Training on Perspective Sketching (DBL, SNC), pp. 86–92.
DAC-2010-RiedelHWSAM #biology- Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
ICPR-2010-FeragenLN- Fundamental Geodesic Deformations in Spaces of Treelike Shapes (AF, FL, MN), pp. 2089–2093.
KEOD-2010-KouOZKMIO #comprehension #development #ontology- Development of Fundamental Technologies for Better Understanding of Clinical Medical Ontologies (HK, MO, JZ, KK, RM, TI, KO), pp. 235–240.
MoDELS-v2-2010-FernandezPKB #lessons learnt #metamodelling #requirements- A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering (DMF, BP, MK, MB), pp. 183–197.
LDTA-2009-SingerBLPY10 #java- Fundamental Nano-Patterns to Characterize and Classify Java Methods (JS, GB, ML, AP, PY), pp. 191–204.
SFM-2009-Vasconcelos- Fundamentals of Session Types (VTV), pp. 158–186.
HCD-2009-ShibukawaFIN #effectiveness #using- Fundamental Studies on Effective e-Learning Using Physiology Indices (MS, MFF, YI, SPN), pp. 795–804.
HCI-NIMT-2009-AsaoHHKH #case study #information management- A Study on Fundamental Information Transmission Characteristics of an Air-Jet Driven Tactile Display (TA, HH, MH, KK, KH), pp. 397–406.
OCSC-2009-BramanVDJ #learning- Learning Computer Science Fundamentals through Virtual Environments (JB, GV, AMAD, AJ), pp. 423–431.
ICEIS-ISAS-2009-LopesGBF #case study #industrial #ontology #reverse engineering- Reverse Engineering a Domain Ontology to Uncover Fundamental Ontological Distinctions — An Industrial Case Study in the Domain of Oil and Gas Production and Exploration (ML, GG, FAB, RdAF), pp. 262–267.
OOPSLA-2009-Mullen #design #people- Writing code for other people: cognitive psychology and the fundamentals of good software design principles (TM), pp. 481–492.
ICSE-2008-LanzaMRLB #approach #java #programming #smalltalk- A teamwork-based approach to programming fundamentals with scheme, smalltalk & java (ML, ALM, RR, ML, PB), pp. 787–790.
HPCA-2008-SalverdaZ #constraints #performance- Fundamental performance constraints in horizontal fusion of in-order cores (PS, CBZ), pp. 252–263.
ITiCSE-2007-VilnerZG #case study #concept #object-oriented #paradigm- Fundamental concepts of CS1: procedural vs. object oriented paradigm — a case study (TV, EZ, JGE), pp. 171–175.
CSMR-2007-Leeten #configuration management #evolution #scalability- Software Configuration Management, Fundament for Evolution of Large Existing Code Bases (BL), pp. 321–322.
REFSQ-2007-AurumW #approach #concept #requirements- A Value-Based Approach in Requirements Engineering: Explaining Some of the Fundamental Concepts (AA, CW), pp. 109–115.
ITiCSE-2006-BaldwinCE #programming- WeBWorK for programming fundamentals (JB, EC, TE), p. 361.
FASE-2006-KobW #calculus #debugging #using- Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.
ICPR-v1-2006-HouZS #estimation #matrix- Estimation of the Fundamental Matrix Based on EV Mode (TH, FZ, ZS), pp. 679–682.
ICPR-v1-2006-PflugfelderB #matrix- Fundamental matrix and slightly overlapping views (RPP, HB), pp. 527–530.
ICPR-v2-2006-RiggiTA #estimation #invariant #matrix #parametricity- Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.
ICDAR-2005-TakiguchiOM #comprehension #layout #recognition #semantics- A Fundamental Study of Output Translation from Layout Recognition and Semantic Understanding System for Mathematical Formulae (YT, MO, YM), pp. 745–749.
ITiCSE-2005-Ludi #process #re-engineering #student- Active-learning activities that introduce students to software engineering fundamentals (SL), pp. 128–132.
ITiCSE-2004-NatvigL #education #game studies- Age of computers: game-based teaching of computer fundamentals (LN, SL), pp. 107–111.
ICGT-2004-EhrigPT #graph transformation- Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.
ICPR-v1-2004-MottlDK #algorithm #pattern matching #pattern recognition #problem #recognition- Pattern Recognition in Interrelated Data: The Problem, Fundamental Assumptions, Recognition Algorithms (VM, SD, AK), pp. 188–191.
SAC-2004-WeisserK #identification #metric #sequence #statistics #using- Identification of fundamental building blocks in protein sequences using statistical association measures (DKW, JKS), pp. 154–161.
IJCAR-2004-GodoyT #term rewriting- Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure (GG, AT), pp. 91–106.
CSEET-2003-OvalleE04 #experience #process- Training Experts in the Fundamentals: An Experience in Providing Software Engineers with the Basis of Software Process Improvement (NKO, HWE), p. 339–?.
CSEET-2003-StrooperCNS #education #re-engineering- Teaching Software Engineering Fundamentals to Practicing Engineers (PAS, DAC, SN, TS), pp. 36–43.
REFSQ-J-2002-AurumW03 #process #requirements- The fundamental nature of requirements engineering activities as a decision-making process (AA, CW), pp. 945–954.
ICPR-v1-2002-KamarainenKK #recognition- Fundamental Frequency Gabor Filters for Object Recognition (JKK, VK, HK), pp. 628–631.
ICPR-v2-2002-RothW #algorithm #matrix- Some Improvements on Two Autocalibration Algorithms Based on the Fundamental Matrix (GR, AW), p. 312–?.
WICSA-2001-Laine #architecture #development #embedded #object-oriented #problem #scalability- The Role of SW Architectures in Solving Fundamental Problems in Object-Oriented Development of Large Embedded SW Systems (PKL), pp. 14–23.
KDD-2001-LiuHM01a #set- Discovering the set of fundamental rule changes (BL, WH, YM), pp. 335–340.
SAC-2001-Pressel- Fundamental limitations on the use of prefetching and stream buffers for scientific applications (DMP), pp. 554–559.
ESEC-FSE-2001-Ran #architecture #concept- Fundamental concepts for practical software architecture (AR), pp. 328–329.
ICSE-2001-Ran #architecture #concept #tutorial- Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.
HT-2000-MillardMDR #hypermedia #named- FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains (DEM, LM, HCD, SR), pp. 93–102.
HT-2000-TzagarakisKCR #concept #hypermedia- Naming as a fundamental concept of open hypermedia systems (MT, NK, DC, SR), pp. 103–112.
ICPR-v1-2000-IsgroT #matrix- A General Rank-2 Parameterization of the Fundamental Matrix (FI, ET), pp. 1868–1871.
ICPR-v4-2000-NittaBK #approach #video- Extracting Actors, Actions and Events from Sports Video — A Fundamental Approach to Story Tracking (NN, NB, TK), pp. 4718–4721.
SIGIR-1999-BruzaSW- Fundamental Properties of Aboutness (poster abstract) (PB, DS, KFW), pp. 277–278.
TOOLS-EUROPE-1999-WoodmanGHRM #concept- Employing Object Technology to Expose Fundamental Object Concepts (MW, RG, SH, HR, MM), pp. 371–383.
HCI-CC-1997-Horie- Fundamental Study on Optimum Working Posture of VDT Workers from the View Point of EMG (YH), pp. 643–646.
HCI-SEC-1997-ShimadaYA #network- A Fundamental Mechanism of Intelligent Sensor-Actuator Networks (SS, YY, YA), pp. 201–204.
SIGMOD-1996-SimmenSM #optimisation #order- Fundamental Techniques for Order Optimization (DES, EJS, TM), pp. 57–67.
CSCW-1996-HudsonS #privacy #trade-off- Techniques for Addressing Fundamental Privacy and Disruption Tradeoffs in Awareness Support Systems (SEH, IES), pp. 248–257.
VLDB-1995-Korth #abstraction #concept #evolution #transaction- The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.
DAC-1993-SiegelMD #automation #design- Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs (PS, GDM, DLD), pp. 61–67.
TOOLS-PACIFIC-1993-Haebich #object-oriented- Object-Oriented Fundamentals and Object-Oriented Thinking (WH), p. 311.
STOC-1991-CoffmanCGJMSWY #analysis #case study- Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study (EGCJ, CC, MRG, DSJ, LAM, PWS, RRW, MY), pp. 230–240.
KR-1989-Frisch #deduction #framework #hybrid #reasoning- A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
SIGMOD-1988-ChristodoulakisF #analysis #performance- Performance Analysis and Fundamental Performance Trade Offs for CLV Optical Disks (SC, DAF), pp. 286–294.
DAC-1986-Smith #logic #parallel #simulation- Fundamentals of parallel logic simulation (RJSI), pp. 2–12.
GG-1986-MainR #graph grammar- Fundamentals of edge-label controlled graph grammars (MGM, GR), pp. 411–426.
PODS-1982-GoodmanS #query- The Tree Property is Fundamental for Query Processing (NG, OS), pp. 40–48.
SIGMOD-1981-CurticeJ- Fundamentals of Data Element Definition (RMC, PEJJ), pp. 49–55.
VLDB-1979-Pirotte #design #relational- Fundamental and Secondary Issues in the Design of Non-Procedural Relational Languages (AP), pp. 239–250.