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.