Stem note$ (all stems)

118 papers:

CASE-2015-Ellery #3d #self

Notes on extraterrestrial applications of 3D-printing with regard to self-replicating machines (AE), pp. 930–935.

SIGMOD-2015-XiaoBME #metadata #summary #using

Even Metadata is Getting Big: Annotation Summarization using InsightNotes (DX, AB, TM, MYE), pp. 1409–1414.

HIMI-IKC-2015-HasegawaD #approach #framework #learning #ubiquitous

A Ubiquitous Lecture Archive Learning Platform with Note-Centered Approach (SH, JD), pp. 294–303.

SCSM-2015-FukudaWFHFHN #towards

Text-Mining of Hand-Over Notes for Care-Workers in Real Operation — Toward an Employee-Driven Innovation (KF, KW, TF, MH, RF, MH, TN), pp. 30–38.

LICS-2015-BaazLR #complexity #proving

A Note on the Complexity of Classical and Intuitionistic Proofs (MB, AL, GR), pp. 657–666.

SIGMOD-2014-XiaoE #database #named #relational

InsightNotes: summary-based annotation management in relational databases (DX, MYE), pp. 661–672.

CHI-2014-RenLL #mobile #named

InkAnchor: enhancing informal ink-based note taking on touchscreen mobile phones (YR, YL, EL), pp. 1123–1132.

DUXU-ELAS-2014-George-PalilonisB #multi #student #tablet #tool support

SMART Note: Student-Centered Multimedia Active Reading Tools for Tablet Textbooks (JGP, DB), pp. 217–229.

HCI-AS-2014-Fragoso #design #interface

Interface Design Strategies and Disruptions of Gameplay: Notes from a Qualitative Study with First-Person Gamers (SF), pp. 593–603.

HIMI-AS-2014-TomotoH

Report on Practice of Note-Rebuilding Support System (TT, TH), pp. 127–136.

FSE-2014-MorenoBPOMC #automation #generative

Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.

ICDAR-2013-FengRZS

Extraction of Serial Numbers on Bank Notes (BYF, MR, XYZ, CYS), pp. 698–702.

CHI-2013-GoyalLF #analysis #visualisation

Effects of visualization and note-taking on sensemaking and analysis (NG, GL, SRF), pp. 2721–2724.

CHI-2013-McPhersonGS

The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.

CHI-2013-MonserratZMP13a #named #navigation

NoteVideo: facilitating navigation of blackboard-style lecture videos (TJKPM, SZ, KM, AVP), pp. 1139–1148.

HIMI-LCCB-2013-NakajimaT #generative #learning #online

New Potential of E-learning by Re-utilizing Open Content Online — TED NOTE: English Learning System as an Auto-assignment Generator (AN, KT), pp. 108–117.

FM-2012-Abadi #formal method #security

Software Security: A Formal Perspective — (Notes for a Talk) (MA), pp. 1–5.

KDD-2012-SondhiSTZ #framework #graph #mining #named

SympGraph: a framework for mining clinical notes through symptom relation graphs (PS, JS, HT, CZ), pp. 1167–1175.

LICS-2012-Constable #on the

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.

AFL-2011-Maletti

Notes on Hyper-minimization (AM), pp. 34–49.

CHI-2011-KleekSsK #named #people

Finders/keepers: a longitudinal study of people managing information scraps in a micro-note tool (MVK, WS, MMCS, DRK), pp. 2907–2916.

CIAA-2010-ZdarekM #2d

A Note on a Tree-Based 2D Indexing (JZ, BM), pp. 300–309.

CHI-2010-BrandlRH #named

NiCEBook: supporting natural note taking (PB, CR, MH), pp. 599–608.

CHI-2010-HartmannFRCK #user interface

d.note: revising user interfaces through change tracking, annotations, and alternatives (BH, SF, AR, TC, SRK), pp. 493–502.

CHI-2010-WilcoxLLFJ

Physician-driven management of patient progress notes in an intensive care unit (LW, JL, JCL, SF, DAJ), pp. 1879–1888.

ICPR-2010-TahirYBAMK #concept #detection #visual notation

The University of Surrey Visual Concept Detection System at ImageCLEF@ICPR: Working Notes (MAT, FY, MB, MA, KM, JK), pp. 850–853.

ICDAR-2009-SchenkHSBR #implementation #modelling #online #recognition

GMs in On-Line Handwritten Whiteboard Note Recognition: The Influence of Implementation and Modeling (JS, BH, BWS, AB, GR), pp. 877–880.

ICDAR-2009-SchenkKR #online #question #recognition

Selecting Features in On-Line Handwritten Whiteboard Note Recognition: SFS or SFFS? (JS, MK, GR), pp. 1251–1254.

LATA-2009-Masopust #context-free grammar #generative #power of

A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.

CHI-2009-KleekBPVKS #lightweight

Note to self: examining personal information keeping in a lightweight note-taking tool (MVK, MSB, KP, GGV, DRK, MMCS), pp. 1477–1480.

LICS-2009-KazakovP #complexity #logic #problem #satisfiability

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (YK, IPH), pp. 407–416.

CIKM-2008-WangBFJ

A note on search based forecasting of ad volume in contextual advertising (XW, AZB, MF, VJ), pp. 1343–1344.

ICPR-2008-SchenkR #online #recognition

Neural net vector quantizers for discrete HMM-based on-line handwritten whiteboard-note recognition (JS, GR), pp. 1–4.

RE-2008-SimAA #experience #requirements #what

Marginal Notes on Amethodical Requirements Engineering: What Experts Learned from Experience (SES, TAA, BAA), pp. 105–114.

DocEng-2007-Church

Bank notes: extreme doceng (SC), p. 92.

ICDAR-2007-YeVRSL #learning

Learning to Group Text Lines and Regions in Freeform Handwritten Notes (MY, PAV, SR, HS, CL), pp. 28–32.

CHI-2007-BauerK

Selection-based note-taking applications (AB, KRK), pp. 981–990.

CHI-2007-HinckleyZSBCST #named

InkSeine: In Situ search for active note taking (KH, SZ, RS, PB, EC, MS, DST), pp. 251–260.

CHI-2006-HsiehWS

Peripheral display of digital handwritten notes (GH, KRW, AS), pp. 285–288.

CSCW-2006-SellenHEIRTW #named

HomeNote: supporting situated messaging in the home (AS, RHRH, RE, SI, TR, AST, KRW), pp. 383–392.

ICML-2006-GeJ #approximate #consistency #multi

A note on mixtures of experts for multiclass responses: approximation rate and Consistent Bayesian Inference (YG, WJ), pp. 329–335.

ICPR-v1-2006-ChowdhuryGWM #detection #feature model

Note on Feature Selection for Polyp Detection in CT Colonography (TAC, OG, PFW, AAM), pp. 1017–1021.

ICPR-v2-2006-ChoiLY #classification #feature model #using

Feature Extraction for Bank Note Classification Using Wavelet Transform (EC, JL, JY), pp. 934–937.

ICDAR-2005-LiwickiB #database #recognition

Enhancing Training Data for Handwriting Recognition of Whiteboard Notes with Samples from a Different Database (ML, HB), pp. 550–554.

ICDAR-2005-YeSRLS

Grouping Text Lines in Freeform Handwritten Notes (MY, HS, SR, CL, MS), pp. 367–373.

SIGMOD-2005-ChiticariuTV #database #named #relational

DBNotes: a post-it system for relational databases based on provenance (LC, WCT, GV), pp. 942–944.

TACAS-2005-SchwoonE #algorithm #on the fly #verification

A Note on On-the-Fly Verification Algorithms (SS, JE), pp. 174–190.

DLT-2005-BrlekLL

A Note on a Result of Daurat and Nivat (SB, GL, AL), pp. 189–198.

FM-2005-Broadfoot #cost analysis #formal method #industrial

ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software (GHB), pp. 548–551.

CHI-2005-KamWITCGTC #named

Livenotes: a system for cooperative and augmented note-taking in lectures (MK, JW, AI, ET, JC, DG, OT, JFC), pp. 531–540.

CSL-2005-Baaz #reasoning

Note on Formal Analogical Reasoning in the Juridical Context (MB), pp. 18–26.

FATES-2005-Huima #black box #testing

A Note on an Anomaly in Black-Box Testing (AH), pp. 47–61.

FoSSaCS-2004-ZuninoD #calculus #encryption #process

A Note on the Perfect Encryption Assumption in a Process Calculus (RZ, PD), pp. 514–528.

IWPC-2004-HassanH #architecture #development #using

Using Development History Sticky Notes to Understand Software Architecture (AEH, RCH), pp. 183–193.

SCAM-2004-Gallagher #interprocedural #slicing

Some Notes on Interprocedural Program Slicing (KBG), pp. 36–42.

ICALP-2004-Muller-OlmS #algorithm

A Note on Karr’s Algorithm (MMO, HS), pp. 1016–1028.

CHI-2004-LinLK #comprehension #lifecycle #mobile

Understanding the micronote lifecycle: improving mobile support for informal note taking (ML, WGL, TSK), pp. 687–694.

SAT-2004-Stachniak

A Note on Satisfying Truth-Value Assignments of Boolean Formulas (ZS), pp. 104–110.

ICDAR-2003-ShilmanWRSJ

Discerning Structure from Freeform Handwritten Notes (MS, ZW, SR, PYS, DJ), pp. 60–65.

FoSSaCS-2002-Srba #commutative

Note on the Tableau Technique for Commutative Transition Systems (JS), pp. 387–401.

ASIA-PEPM-2002-Nemytykh #recursion

A note on elimination of simplest recursions (APN), pp. 138–146.

ICPR-v2-2002-RuizLG

A Note on Principal Point Estimability (AR, PELdT, GGM), pp. 304–307.

SIGIR-2002-Spoerri #flexibility #named

Souvenir: flexible note-taking tool to pinpoint and share media highlights (AS), p. 453.

CADE-2002-Tour #heuristic #symmetry

A Note on Symmetry Heuristics in SEM (TBdlT), pp. 181–194.

HT-2001-Luz #hypermedia #named

Y-notes: unobtrusive devices for hypermedia annotation (SL), pp. 31–32.

DLT-2001-CulikKK #automaton #problem

A Note on Synchronized Automata and Road Coloring Problem (KCI, JK, JK), pp. 175–185.

SAC-2001-ChongS #standard #web

Creating and shareing web notes via a standard browser (NSTC, MS), pp. 99–104.

VLDB-2000-MohanBWSZ #database #evolution

Evolution of Groupware for Business Applications: A Database Perspective on Lotus Domino/Notes (CM, RB, SW, AS, MZ), pp. 684–687.

WLC-2000-KoshibaH #consistency

A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.

WLC-2000-YasugiW

A Note on Rademacher Functions and Computability (MY, MW), pp. 466–475.

ICEIS-2000-AldenbergHP #higher-order

High-Order Effects of Groupware: A Case of Censequences of Lotus Notes (BA, MSHH, SCAP), pp. 377–384.

SIGMOD-1999-Mohan #database

A Database Perspective on Lotus Domino/Notes (CM), p. 507.

ITiCSE-1999-Clear #collaboration #concept #education #interactive #learning

A collaborative learning trial between New Zealand and Sweden-using Lotus Notes Domino in teaching the concepts of Human Computer Interaction (TC), pp. 111–114.

AGTIVE-1999-KnirschK #graph transformation #modelling

A Note on Modeling Agent Systems by Graph Transformation (PK, HJK), pp. 79–86.

CHI-1999-DavisLCHL #named

NotePals: Light Weight Note Sharing by the Group, for the Group (RCD, JAL, VC, JH, RBL), pp. 338–345.

ITiCSE-1998-BouletJB #education #modelling #process #student #using

Teaching process modelling to undergraduate computer students: effects of using Lotus Notes and television programmes (MMB, FBJ, SB), pp. 32–36.

ICPR-1998-SporringNWO #difference #metric

A note on differential corner measures (JS, MN, JW, OFO), pp. 652–654.

ASE-1997-DimitrakosM #refinement

Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.

ICDAR-1997-PavlidisSP #online #recognition #using

An On-Line Handwritten Note Recognition Method Using Shape Metamorphosis (IP, RS, NP), pp. 914–918.

STOC-1997-CramerD #linear #performance #proving

Linear Zero-Knowledge — A Note on Efficient Zero-Knowledge Proofs and Arguments (RC, ID), pp. 436–445.

CIKM-1996-HuffmanB #retrieval

Notes Explorer: Entity-Based Retrieval in Shared, Semi-Structured Information Spaces (SBH, CB), pp. 99–106.

SAC-1996-Sharma

A note on tree medians (MBS), pp. 216–218.

SIGMOD-1995-Moore

The Lotus Notes Storage System (KM), pp. 427–428.

CHI-1994-WhittakerHW94a #named

FILOCHAT: handwritten notes provide access to recorded conversations (SW, PH, MW), pp. 271–277.

ICML-1994-Elomaa #learning

In Defense of C4.5: Notes Learning One-Level Decision Trees (TE), pp. 62–69.

SAC-1994-ChaudhuriD #generative #linear #sequence

A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.

SAC-1994-GordonBW #algorithm #performance #problem #search-based

A note on the performance of genetic algorithms on zero-one knapsack problems (VSG, APWB, DW), pp. 194–195.

ICLP-1994-Rauzy #design

Notes on the Design of an Open Boolean Solver (AR), pp. 354–368.

DLT-1993-BordihnD #nondeterminism

A Note on the Degree of Nondeterminism (HB, JD), pp. 70–80.

INTERCHI-1993-StifelmanASH #interface #named #speech

VoiceNotes: a speech interface for a hand-held voice notetaker (LS, BA, CS, EAH), pp. 179–186.

POPL-1993-ConselD #partial evaluation #tutorial

Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.

HT-ECHT-1992-Paolini

Electronic Lecture Notes (Demonstration) (PP), p. 291.

STOC-1992-Kilian #performance #proving

A Note on Efficient Zero-Knowledge Proofs and Arguments (Extended Abstract) (JK), pp. 723–732.

CSCW-1992-Orlikowski #implementation #learning

Learning from Notes: Organizational Issues in Groupware Implementation (WJO), pp. 362–369.

CSL-1992-MitchellS

Notes on Sconing and Relators (JCM, AS), pp. 352–378.

FPCA-1991-Baraki #abstract interpretation #polymorphism

A Note on Abstract Interpretation of Polymorphic Functions (GB), pp. 367–378.

GG-1990-DrewesK

A Note on Hyperedge Replacement (FD, HJK), pp. 1–12.

GG-1990-Rosenfeld #graph

A Note on Graph Decimation (AR), pp. 637–640.

DAC-1989-GabbeS #clustering

A Note on Clustering Modules for Floorplanning (JDG, PAS), pp. 594–597.

HT-1989-CatlinBY #collaboration #framework #hypermedia #named

InterNote: Extending a Hypermedia Framework to Support Annotative Collaboration (TC, PB, NY), pp. 365–378.

ICALP-1989-Winskel #calculus #model checking

A Note on Model Checking the Modal nu-Calculus (GW), pp. 761–772.

CADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog

Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.

LICS-1988-Meyer #paradigm #semantics

Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis (ARM), pp. 236–253.

HT-1987-Halasz #generative #hypermedia

Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems (FGH), pp. 345–365.

HT-1987-NeuwirthKCG #hypermedia

The Notes Program: A Hypertext Application for Writing from Source Texts (CN, DK, RC, TG), pp. 121–141.

HT-1987-TriggI #case study #experience #hypermedia

Hypertext Habitats: Experiences of Writers in NoteCards (RHT, PMI), pp. 89–108.

SLP-1987-SekiF87 #logic programming #source code

Notes on Transformation Techniques for Generate and Test Logic Programs (HS, KF), pp. 215–223.

STOC-1986-KoLD #morphism #polynomial

A Note on One-Way Functions and Polynomial-Time Isomorphisms (Extended Abstract) (KIK, TJL, DZD), pp. 295–303.

SLP-1984-Gelernter84 #concurrent #programming #prolog

A Note on Systems Programming in Concurrent Prolog (DG), pp. 76–82.

ICALP-1983-Karhumaki #monad

A Note on Intersections of Free Submonoids of a Free Monoid (JK), pp. 397–407.

STOC-1982-HongS #network

Notes on Merging Networks (Preliminary Version) (ZH, RS), pp. 296–302.

ILPC-1982-Bruynooghe82 #garbage collection #prolog

A Note on Garbage-Collection in Prolog Interpreters (MB), pp. 52–55.

ICALP-1980-Berman #automaton

A Note on Sweeping Automata (PB), pp. 91–97.

CADE-1980-Noll #how

A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.

VLDB-1977-HouselM #bibliography #database #future of

A Note on the Survey: “Future of Database Technology” (BCH, AGM), pp. 568–570.

ICALP-1976-BloniarzFM #transitive

A Note on the Average Time to Compute Transitive Closures (PAB, MJF, ARM), pp. 425–434.

DIPL-1976-Earnest #pointer

A note on pointers (CPE), pp. 86–101.

SIGIR-1973-Mitchell #proximity

A Note About the Proximity Operators in Information Retieval (PCM), pp. 177–179.