Stem middl$ (all stems)

41 papers:

ITiCSE-2015-Thomas #algorithm #women

Supporting Computational Algorithmic Thinking (SCAT): Exploring the difficulties African-American middle school girls face while enacting computational algorithmic thinking (JOT), pp. 69–74.

DHM-EH-2015-HuZ #case study #design #women

Study on the Body Shape of Middle-Aged and Old Women for Garment Design (XH, YZ), pp. 53–61.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

ASE-2014-RahimiC #automation

Personas in the middle: automated support for creating personas as focal points in feature gathering forums (MR, JCH), pp. 479–484.

ITiCSE-2014-RodgerBHMMOOW #weaving

Weaving computing into all middle school disciplines (SHR, DB, MH, DM, MM, EO, BO, EW), pp. 207–212.

ITiCSE-2013-DoddsE #education #named

MyCS: building a middle-years CS curriculum (ZD, ME), p. 330.

ITiCSE-2012-SettleFHSJRW #education

Infusing computational thinking into the middle- and high-school curriculum (AS, BF, RH, FS, CJ, CRM, BW), pp. 22–27.

ESOP-2012-BartheDP

A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.

CSCW-2012-MillerPXEKCM #behaviour #game studies #health #pervasive #student

The work of play: supporting a pervasive health behavior change intervention for us middle school students (ADM, ESP, YX, EE, DK, RC, EDM), pp. 897–900.

ICPR-2012-ShaukatGWB #approach #bottom-up #detection #top-down

Meeting in the Middle: A top-down and bottom-up approach to detect pedestrians (AS, AG, DW, RB), pp. 874–877.

CSEET-2011-Sweedyk #education #how #problem

How middle school teachers solved our SE project problems (ES), pp. 449–453.

ITiCSE-2011-LangCPEA #source code #student

Outreach programs to promote computer science and ict to high school and middle school students (CL, AC, JP, MALE, RA), pp. 344–345.

ITiCSE-2011-Schroeder #metric

A bouquet of measures to promote computer science in middle & high schools (US), p. 1.

ITiCSE-2011-VanoM #learning #quote

“Computer science and nursery rhymes”: a learning path for the middle school (DDV, CM), pp. 238–242.

IDGD-2011-WuCCL #design #evaluation #novel

Design and Evaluation of a Novel Trackball Input Device for Middle-Aged Users (FGW, JC, CHC, LRL), pp. 228–237.

ITiCSE-2010-BasawapatnaKR #design #education #game studies #scalability #using

Using scalable game design to teach computer science from middle school to graduate school (ARB, KHK, AR), pp. 224–228.

ITiCSE-2009-TaubBA #student

The effect of CS unplugged on middle-school students’ views of CS (RT, MBA, MA), pp. 99–103.

ICDAR-2007-ReddySS #component #documentation #image #recognition

Middle Zone Component Extraction and Recognition of Telugu Document Image (LPR, LS, ASCSS), pp. 584–588.

ITiCSE-2007-DoerschukLM #assessment #women

Pilot summer camps in computing for middle school girls: from organization through assessment (PID, JL, JM), pp. 4–8.

CHI-2007-KelleherPK #motivation #programming #women

Storytelling alice motivates middle school girls to learn computer programming (CK, RFP, SBK), pp. 1455–1464.

SIGMOD-2006-BernsteinFGRT #replication

Relaxed-currency serializability for middle-tier caching and replication (PAB, AF, HG, RR, PT), pp. 599–610.

ICDAR-2005-YingsaereeK #analysis #detection #documentation #layout #rule-based

Rule-based Middle-level Character Detection for Simplifying Thai Document Layout Analysis (CY, AK), pp. 888–892.

SIGMOD-2004-Carey #framework #xml #xquery

XML in the Middle: XQuery in the WebLogic Platform (MJC), pp. 901–902.

ATEM-2003-LethbridgeTP04 #metamodelling #reverse engineering

The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering (TCL, ST, EP), pp. 7–18.

LICS-2004-AkamaBHK

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.

SIGMOD-2003-BornhovdAKMPR #architecture #database #named #scalability

DBCache: Middle-tier Database Caching for Highly Scalable e-Business Architectures (CB, MA, SK, CM, HP, BR), p. 662.

SIGMOD-2002-LuoKMPWLN #database

Middle-tier database caching for e-business (QL, SK, CM, HP, HW, BGL, JFN), pp. 600–611.

CSL-2002-ChernovSSV #logic

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.

VLDB-2001-DattaDTVRF #case study #comparative #web

A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration (AD, KD, HMT, DEV, KR, DF), pp. 667–670.

LCTES-OM-2001-Yellin #challenge #middleware #optimisation #roadmap

Stuck in the Middle: Challenges and Trends in Optimizing Middleware (DMY), pp. 175–180.

CAiSE-2000-Kilpi #agile #empirical #metric #process

Managing the Software Process in the Middle of Rapid Growth: A Metrics Based Experiment Report from Nokia (TK), pp. 498–508.

FM-v1-1999-Hoare #bottom-up #programming #top-down

Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.

ICPR-1996-Molina-GamezS #approach #polynomial #recognition

Sparse groups: A polynomial middle-level approach for object recognition (MCMG, JBSV), pp. 518–522.

KR-1996-GoldenW #representation #revisited

Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.

ICLP-1993-KraanBB #logic programming #reasoning #synthesis

Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.

CSCW-1992-SchwabHRA #collaboration #constraints #education

Collaboration and Constraint: Middle School Teaching Teams (RGS, SHL, SR, MA), pp. 241–248.

TOOLS-PACIFIC-1992-Watson92a #education #object-oriented

Teaching OOP: The Middle Phase (DW), pp. 243–249.

CADE-1992-HeskethBS #reasoning #recursion #source code #synthesis #using

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (JH, AB, AS), pp. 310–324.

KR-1989-Pednault #calculus #named

ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.

PLILP-1988-KluzniakM #code generation #towards

Towards a “Middle Road” Methodology for Writing Code Generators (FK, MM), pp. 105–118.

DAC-1977-Carley #automation #design #named #network

SWESS — the middle system of a design automation network (DKC), pp. 425–430.