21 papers:
CIKM-2014-LiuLYDZZT #named #people- AMiner-mini: A People Search Engine for University (JL, DL, XY, LD, TZ, YZ, JT), pp. 2069–2071.
KDD-2014-LiZCS #optimisation #performance #probability- Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
DUXU-WM-2013-LeNDP #interactive #process- Scaffolding Computer Supported Argumentation Processes through Mini Map Based Interaction Techniques (NTL, SN, DD, NP), pp. 533–542.
ICML-c3-2013-TakacBRS- Mini-Batch Primal and Dual Methods for SVMs (MT, ASB, PR, NS), pp. 1022–1030.
ICSE-2013-ZhangX #challenge- Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial) (DZ, TX), pp. 951–952.
ECIR-2012-GalleR #clustering- Full and Mini-batch Clustering of News Articles with Star-EM (MG, JMR), pp. 494–498.
SAC-2012-GomiI #3d #dataset #image #mobile #multi #named- MINI: a 3D mobile image browser with multi-dimensional datasets (AG, TI), pp. 989–996.
- ICSE-2012-ZhangX #tutorial
- Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
SAT-2012-IserTS #optimisation #order #relational- Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.
AGTIVE-2011-ErmlerKKT #graph transformation- From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
CHI-2008-ClawsonLRIS #automation #fault #type system #using- Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing (JC, KL, AR, RAI, TS), pp. 573–582.
- SAT-2007-HerasLO #named #satisfiability
- MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.
ASE-2006-Singer #evaluation #testing #tool support- Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.
DAC-2005-LeeGML #named #optimisation- MiniBit: bit-width optimization via affine arithmetic (DUL, AAG, OM, WL), pp. 837–840.
HPCA-2003-RedstoneEL #named #smt #thread- Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
- DAC-1996-FujimotoK #design #verification
- VLSI Design and System Level Verification for the Mini-Disc (TF, TK), pp. 491–496.
LFP-1986-ClementDDK- A Simple Applicative Language: Mini-ML (DC, JD, TD, GK), pp. 13–27.
- DAC-1982-Peled #data type
- Simplified data structure for “mini-based” turnkey CAD systems (JP), pp. 636–642.
- ICSE-1979-Rohmer #re-engineering
- The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers (JR), pp. 403–411.
- DAC-1976-PattersonP #automation
- A proven operational CAD system for P.W.B. design-based on a mini-computer and featuring fully automatic placement and routing (GLP, BHP), pp. 259–264.
VLDB-1975-Manacher #database #implementation #on the #performance #relational #scalability- On the Feasibility of Implementing a Large Relational Data Base with Optimal Performance on a Mini-Computer (GKM), pp. 175–201.
