224 papers:
- SIGMOD-2015-ZhangYQS #performance
- Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
- VLDB-2015-WangWYZ #benchmark #community #detection #framework #metric #network #social
- Community Detection in Social Networks: An In-depth Benchmarking Study with a Procedure-Oriented Framework (MW, CW, JXY, JZ), pp. 998–1009.
- DLT-2015-MasopustT #automaton #complexity #on the #testing
- On the Complexity of k-Piecewise Testability and the Depth of Automata (TM, MT), pp. 364–376.
- ICALP-v1-2015-BunT #approximate
- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits (MB, JT), pp. 268–280.
- CHI-2015-WithanaPSN #gesture #named #recognition #smarttech
- zSense: Enabling Shallow Depth Gesture Recognition for Greater Input Expressivity on Smart Wearables (AIW, RLP, NS, SN), pp. 3661–3670.
- KDD-2015-SmithCS #web
- Going In-Depth: Finding Longform on the Web (VS, MC, IS), pp. 2109–2118.
- LICS-2015-KrebsV #bound #logic #refinement
- Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
- CASE-2014-KuoSLW #3d #detection #estimation #image
- 3D object detection and pose estimation from depth image for robotic bin picking (HYK, HRS, SHL, CCW), pp. 1264–1269.
- CASE-2014-LinWF #using
- Grasping unknown objects using depth gradient feature with eye-in-hand RGB-D sensor (YCL, STW, LCF), pp. 1258–1263.
- TACAS-2014-Lowe #algorithm #concurrent
- Concurrent Depth-First Search Algorithms (GL), pp. 202–216.
- STOC-2014-FournierLMS #bound #matrix #multi
- Lower bounds for depth 4 formulas computing iterated matrix multiplication (HF, NL, GM, SS), pp. 128–135.
- STOC-2014-KayalLSS #bound
- Super-polynomial lower bounds for depth-4 homogeneous arithmetic formulas (NK, NL, CS, SS), pp. 119–127.
- STOC-2014-KumarS #all about #reduction
- The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in (MK, SS), pp. 136–145.
- STOC-2014-Sherstov
- Breaking the minsky-papert barrier for constant-depth circuits (AAS), pp. 223–232.
- ICALP-v1-2014-KumarS #bound
- Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits (MK, SS), pp. 751–762.
- LATA-2014-Blanchet-SadriLSW
- Computing Depths of Patterns (FBS, AL, SS, BW), pp. 173–185.
- CHI-2014-KimIDRKZSLBNBFP #3d #named #physics
- RetroDepth: 3D silhouette sensing for high-precision input on and above physical surfaces (DK, SI, JD, CR, CK, CZ, JS, TAL, SB, MN, DAB, SF, VP), pp. 1377–1386.
- CHI-2014-MaudererCNV
- Depth perception with gaze-contingent depth of field (MM, SC, MAN, DV), pp. 217–226.
- CHI-2014-ValkovGH #interactive
- Imperceptible depth shifts for touch interaction with stereoscopic objects (DV, AG, KHH), pp. 227–236.
- DHM-2014-DuWZHM #evolution #image #using
- Human Skeleton Extraction of Depth Images Using the Polygon Evolution (HD, JW, XxZ, YH, LM), pp. 15–23.
- DUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive #nondeterminism
- In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.
- DUXU-TMT-2014-GoodeLSGB #approach #research
- A Mixed-Method Approach for In-Depth Contextual User Research (AWG, CL, AS, RG, VB), pp. 86–95.
- HCI-AIMT-2014-MohammedSS #predict
- Gaze Location Prediction with Depth Features as Auxiliary Information (RAAM, LS, OGS), pp. 281–292.
- HIMI-DE-2014-KaramT #gesture #interactive #symmetry
- Two-Handed Interactive Menu: An Application of Asymmetric Bimanual Gestures and Depth Based Selection Techniques (HK, JT), pp. 187–198.
- EDOC-2014-Weber #comprehension #how #modelling #process #towards
- Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
- ICPR-2014-BaiHRE #complexity #graph
- Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs (LB, ERH, PR, FE), pp. 3874–3879.
- ICPR-2014-BylowOK #metric #robust
- Robust Camera Tracking by Combining Color and Depth Measurements (EB, CO, FK), pp. 4038–4043.
- ICPR-2014-GaoHDJ #multi
- Depth Structure Association for RGB-D Multi-target Tracking (SG, ZH, DSD, JJ), pp. 4152–4157.
- ICPR-2014-GiordanoPS #estimation #kernel #modelling #using
- Kernel Density Estimation Using Joint Spatial-Color-Depth Data for Background Modeling (DG, SP, CS), pp. 4388–4393.
- ICPR-2014-HasnatAT #clustering #image #using
- Unsupervised Clustering of Depth Images Using Watson Mixture Model (MAH, OA, AT), pp. 214–219.
- ICPR-2014-KeceliC #approach #multimodal #using
- A Multimodal Approach for Recognizing Human Actions Using Depth Information (ASK, ABC), pp. 421–426.
- ICPR-2014-LeeSL #3d #invariant #recognition #self #using
- View-Invariant 3D Action Recognition Using Spatiotemporal Self-Similarities from Depth Camera (ARL, HIS, SWL), pp. 501–505.
- ICPR-2014-LiuCL #detection #segmentation
- Exploring Depth Information for Object Segmentation and Detection (TLL, KYC, SHL), pp. 4340–4345.
- ICPR-2014-LiZ #hybrid
- A Nonlocal Filter-Based Hybrid Strategy for Depth Map Enhancement (LL, CZ), pp. 4394–4399.
- ICPR-2014-NakashikaHTA #3d #recognition #using
- 3D-Object Recognition Based on LLC Using Depth Spatial Pyramid (TN, TH, TT, YA), pp. 4224–4228.
- ICPR-2014-SaygiliMH14a #artificial reality #hybrid #refinement
- Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
- ICPR-2014-SchmeingJ #image
- Superpixel-Based Disocclusion Filling in Depth Image Based Rendering (MS, XJ), pp. 1073–1078.
- ICPR-2014-SlamaWD #3d #gesture #recognition #representation
- Grassmannian Representation of Motion Depth for 3D Human Gesture and Action Recognition (RS, HW, MD), pp. 3499–3504.
- ICPR-2014-WangDWLZJ
- Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.
- ICPR-2014-XiaoHL #3d #estimation #re-engineering
- 3D Face Reconstruction via Feature Point Depth Estimation and Shape Deformation (QX, LH, PL), pp. 2257–2262.
- ICPR-2014-YanRLSS #analysis #clustering #invariant #linear #multi #recognition
- Clustered Multi-task Linear Discriminant Analysis for View Invariant Color-Depth Action Recognition (YY, ER, GL, RS, NS), pp. 3493–3498.
- ICPR-2014-YlioinasHKP #recognition
- An In-depth Examination of Local Binary Descriptors in Unconstrained Face Recognition (JY, AH, JK, MP), pp. 4471–4476.
- ICPR-2014-YuSZ #artificial reality #detection #image #realtime #sequence
- Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
- DocEng-2013-TruranSGC #automation #generative #guidelines
- Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
- CSEET-2013-ScharfK #agile #re-engineering
- Scrum in a software engineering course: An in-depth praxis report (AS, AK), pp. 159–168.
- STOC-2013-AgrawalSS
- Quasi-polynomial hitting-set for set-depth-Δ formulas (MA, CS, NS), pp. 321–330.
- DHM-HB-2013-HuhK #estimation #image #using
- Human Pose Estimation from Depth Image Using Visibility Estimation and Key Points (SH, GK), pp. 333–342.
- HCI-III-2013-Yang-MaoLLZW #evaluation #image #using
- Evaluation of Mono/Binocular Depth Perception Using Virtual Image Display (SFYM, YTL, MHL, WJZ, YlW), pp. 483–490.
- HCI-III-2013-YangZZJXW #detection #multi #realtime #using
- Depth Camera Based Real-Time Fingertip Detection Using Multi-view Projection (WY, ZZ, XZ, LJ, CX, PW), pp. 254–261.
- OOPSLA-2013-AzimN #android #testing
- Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
- CSL-2013-BerkholzKV #bound #logic #quantifier
- Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
- CSL-2013-GhasemlooC #bound #proving
- Theories for Subexponential-size Bounded-depth Frege Proofs (KG, SAC), pp. 296–315.
- VLDB-2013-LeeHKL12 #algorithm #comparison #database #graph #morphism
- An In-depth Comparison of Subgraph Isomorphism Algorithms in Graph Databases (JL, WSH, RK, JHL), pp. 133–144.
- STOC-2012-AgrawalSSS #bound
- Jacobian hits circuits: hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits (MA, CS, RS, NS), pp. 599–614.
- STOC-2012-GalHKPV #bound
- Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
- STOC-2012-GuptaKL #multi #re-engineering
- Reconstruction of depth-4 multilinear circuits with top fan-in 2 (AG, NK, SVL), pp. 625–642.
- AFL-J-2011-KufleitnerL12
- Around dot-Depth One (MK, AL), pp. 1323–1340.
- LATA-2012-ArvindV #morphism #testing
- Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
- CHI-2012-BergmanWSNR #how #navigation
- How do we find personal files?: the effect of OS, presentation & depth on file navigation (OB, SW, MS, RN, AR), pp. 2977–2980.
- CHI-2012-ButlerIHMHK
- Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.
- CIKM-2012-WebberCC #retrieval
- Alternative assessor disagreement and retrieval depth (WW, PC, BC), pp. 125–134.
- ICPR-2012-BergamascoATFZ #segmentation
- Pairwise similarities for scene segmentation combining color and depth data (FB, AA, AT, MF, PZ), pp. 3565–3568.
- ICPR-2012-ChenLL #artificial reality #image #using
- Depth image enhancement for Kinect using region growing and bilateral filter (LC, HL, SL), pp. 3070–3073.
- ICPR-2012-Dai #automation #segmentation
- Automatic segmentation fusing color and depth (XD), pp. 763–766.
- ICPR-2012-DuanPJ #multi #probability #realtime
- Probabilistic depth map fusion for real-time multi-view stereo (YD, MP, YJ), pp. 368–371.
- ICPR-2012-Hernandez-VelaBPPBPAE #gesture #named #recognition
- BoVDW: Bag-of-Visual-and-Depth-Words for gesture recognition (AHV, MÁB, XPS, VPL, XB, OP, CA, SE), pp. 449–452.
- ICPR-2012-IkemuraF #detection #using
- Human detection by Haar-like filtering using depth information (SI, HF), pp. 813–816.
- ICPR-2012-LiuGL #artificial reality
- Guided inpainting and filtering for Kinect depth maps (JL, XG, JL), pp. 2055–2058.
- ICPR-2012-LuL #image
- Image matting with color and depth information (TL, SL), pp. 3787–3790.
- ICPR-2012-MaLXS #detection #image #using
- Anomaly detection with spatio-temporal context using depth images (XM, TL, FX, FS), pp. 2590–2593.
- ICPR-2012-MinCMD #3d #identification #realtime
- Real-time 3D face identification from a depth camera (RM, JC, GGM, JLD), pp. 1739–1742.
- ICPR-2012-MirkamaliN #image
- Depth-wise image inpainting (SSM, PN), pp. 141–144.
- ICPR-2012-NaitoKSS #using
- Deblurring depth blur and motion blur simultaneously by using space-time coding (RN, TK, FS, JS), pp. 2177–2180.
- ICPR-2012-NascimentoSC #named #visual notation
- EDVD — Enhanced descriptor for visual and depth data (ERN, WRS, MFMC), pp. 2776–2779.
- ICPR-2012-PanZXQ #2d #category theory #detection
- Improved generic categorical object detection fusing depth cue with 2D appearance and shape features (HP, YZ, SX, KQ), pp. 1467–1470.
- ICPR-2012-ReinbacherRB #game studies #named #using
- RoμNect: Hand mounted depth sensing using a commodity gaming sensor (CR, MR, HB), pp. 461–464.
- ICPR-2012-RohithK #3d #estimation #modelling #using
- Augmenting monocular motion estimation using intermittent 3D models from depth sensors (MVR, CK), pp. 473–476.
- ICPR-2012-Shen #image #multi
- Depth-map merging for Multi-View Stereo with high resolution images (SS), pp. 788–791.
- ICPR-2012-ShinPJB #detection #using
- Moving objects detection using freely moving depth sensing camera (YDS, JHP, GRJ, MB), pp. 1314–1317.
- ICPR-2012-TianC12a #image #optimisation #using
- Depth image up-sampling using ant colony optimization (JT, LC), pp. 3795–3798.
- ICPR-2012-TsaoH #estimation #image #parametricity #realtime
- Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.
- ICPR-2012-TsuruKO #using
- Mixed-reality snapshot system using environmental depth sensors (HT, IK, YO), pp. 97–100.
- ICPR-2012-VaradarajanZV #3d #video
- RGB and depth intra-frame Cross-Compression for low bandwidth 3D video (KMV, KZ, MV), pp. 955–958.
- ICPR-2012-WangGL #detection #image
- A new depth descriptor for pedestrian detection in RGB-D images (NW, XG, JL), pp. 3688–3691.
- ICPR-2012-WangHB #bound #locality
- Glass object localization by joint inference of boundary and depth (TW, XH, NB), pp. 3783–3786.
- ICPR-2012-WeikersdorferGB #adaptation
- Depth-adaptive superpixels (DW, DG, MB), pp. 2087–2090.
- ICPR-2012-YamazoeHMY
- Easy depth sensor calibration (HY, HH, IM, YY), pp. 465–468.
- ICPR-2012-ZarrouatiAR #robust
- Robust depth regularization explicitly constrained by camera motion (NZ, EA, PR), pp. 3606–3609.
- ICPR-2012-ZhangLXL #difference #gesture #recognition
- Gesture recognition based on depth difference distribution (PZ, TL, HX, LL), pp. 157–160.
- ICPR-2012-ZhuW #gesture #kernel #recognition #using
- Single-frame hand gesture recognition using color and depth kernel descriptors (XZ, KYKW), pp. 2989–2992.
- TOOLS-EUROPE-J-2011-BockischSYMA12
- An In-Depth Look at ALIA4J (CB, AS, HY, MM, MA), pp. 1–28.
- SAC-2012-KangJC #3d #scalability #using #video
- Scalable depth map coding for 3D video using contour information (JK, HJ, KC), pp. 1028–1029.
- CASE-2011-JasperF #detection #performance
- Fast focus-based depth detection for manipulation in scanning electron microscopes (DJ, SF), pp. 375–380.
- DATE-2011-KyrkouTT #detection #hardware
- Depth-directed hardware object detection (CK, CT, TT), pp. 1442–1447.
- ICDAR-2011-ClausnerPA11a #analysis #documentation #evaluation #layout #performance
- Scenario Driven In-depth Performance Evaluation of Document Layout Analysis Methods (CC, SP, AA), pp. 1404–1408.
- CSEET-2011-Shepperd #case study #education #experience
- Group project work from the outset: An in-depth teaching experience report (MJS), pp. 361–370.
- STOC-2011-SarafV #black box #multi #testing
- Black-box identity testing of depth-4 multilinear circuits (SS, IV), pp. 421–430.
- STOC-2011-SaxenaS #bound #matter #testing
- Blackbox identity testing for bounded top fanin depth-3 circuits: the field doesn’t matter (NS, CS), pp. 431–440.
- AFL-2011-KufleitnerL
- Around Dot-Depth One (MK, AL), pp. 255–269.
- ICALP-v1-2011-BeyersdorffGLR #bound
- Parameterized Bounded-Depth Frege Is Not Optimal (OB, NG, ML, AAR), pp. 630–641.
- ICALP-v1-2011-JansenS #constant #polynomial
- Permanent Does Not Have Succinct Polynomial Size Arithmetic Circuits of Constant Depth (MJJ, RS), pp. 724–735.
- CSCW-2011-DeVincenziYIR #video
- Kinected conference: augmenting video imaging with calibrated depth and audio (AD, LY, HI, RR), pp. 621–624.
- ECIR-2011-BuffoniTG #ranking
- The Importance of the Depth for Text-Image Selection Strategy in Learning-To-Rank (DB, ST, PG), pp. 743–746.
- LICS-2011-KufleitnerL #infinity #word
- Languages of Dot-Depth One over Infinite Words (MK, AL), pp. 23–32.
- VLDB-2010-JiangOSW #performance #pipes and filters
- The Performance of MapReduce: An In-depth Study (DJ, BCO, LS, SW), pp. 472–483.
- FoSSaCS-2010-WiesZH #analysis #bound #process
- Forward Analysis of Depth-Bounded Processes (TW, DZ, TAH), pp. 94–108.
- STOC-2010-KarninMSV #bound #multi #testing
- Deterministic identity testing of depth-4 multilinear circuits with bounded top fan-in (ZSK, PM, AS, IV), pp. 649–658.
- DLT-2010-LodayaPS
- Around Dot Depth Two (KL, PKP, SSS), pp. 303–315.
- ICPR-2010-BaeJ
- Building a Videorama with Shallow Depth of Field (SB, HJ), pp. 420–423.
- ICPR-2010-EscolanoLH #complexity #network
- Heat Flow-Thermodynamic Depth Complexity in Networks (FE, MAL, ERH), pp. 1578–1581.
- ICPR-2010-HervieuPBGC #image
- Stereoscopic Image Inpainting: Distinct Depth Maps and Images Inpainting (AH, NP, AB, PG, VC), pp. 4101–4104.
- ICPR-2010-KimCKA #image
- Spatial and Temporal Enhancement of Depth Images Captured by a Time-of-Flight Depth Sensor (SYK, JHC, AK, MAA), pp. 2358–2361.
- ICPR-2010-SuryanarayanSM #recognition #using
- Dynamic Hand Pose Recognition Using Depth Data (PS, AS, DM), pp. 3105–3108.
- ICPR-2010-Tagawa #eye tracking #modelling #statistics #using
- Depth Perception Model Based on Fixational Eye Movements Using Bayesian Statistical Inference (NT), pp. 1662–1665.
- KDIR-2010-JunGRO #image #predict #process
- Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
- TOOLS-EUROPE-2010-LaraG #metamodelling
- Deep Meta-modelling with MetaDepth (JdL, EG), pp. 1–20.
- ESOP-2009-Campbell #analysis #data type #memory management #using
- Amortised Memory Analysis Using the Depth of Data Structures (BC), pp. 190–204.
- ICALP-v1-2009-Amano #approximate #bound
- Bounds on the Size of Small Depth Circuits for Approximating Majority (KA), pp. 59–70.
- VLDB-2008-HollowayD #database
- Read-optimized databases, in depth (ALH, DJD), pp. 502–513.
- STOC-2008-DvirSY #bound #trade-off
- Hardness-randomness tradeoffs for bounded depth arithmetic circuits (ZD, AS, AY), pp. 741–748.
- STOC-2008-Rossman #clique #complexity #on the
- On the constant-depth complexity of k-clique (BR), pp. 721–730.
- ICPR-2008-IiyamaHKM #re-engineering
- Usage of needle maps and shadows to overcome depth edges in depth map reconstruction (MI, KH, KK, MM), pp. 1–4.
- ICPR-2008-LinG #infinity #using
- Depth recovery using defocus blur at infinity (HYL, KDG), pp. 1–4.
- ICPR-2008-OhyamaNYN
- Reversible data hiding of full color JPEG2000 compressed bit-stream preserving bit-depth information (SO, MN, KY, HN), pp. 1–4.
- ICPR-2008-ZhiC #image
- Depth-based image mosaicing for both static and dynamic scenes (QZ, JRC), pp. 1–4.
- SIGIR-2008-Sakai #bias #metric #robust
- Comparing metrics across TREC and NTCIR: : the robustness to pool depth bias (TS), pp. 691–692.
- CSL-2008-ColcombetL #calculus #problem #μ-calculus
- The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (TC, CL), pp. 416–430.
- ICST-2008-BousquetS #inheritance
- Relation between Depth of Inheritance Tree and Number of Methods to Test (LdB, MRS), pp. 161–170.
- SIGMOD-2007-LinskeyP #architecture #relational
- An in-depth look at the architecture of an object/relational mapper (PCL, MP), pp. 889–894.
- VLDB-2007-SchnaitterSP #estimation #optimisation #query #ranking
- Depth Estimation for Ranking Query Optimization (KS, JS, NP), pp. 902–913.
- STOC-2007-GoldwasserGHKR #constant #verification
- Verifying and decoding in constant depth (SG, DG, AH, TK, GNR), pp. 440–449.
- STOC-2007-Sherstov
- Separating AC0 from depth-2 majority circuits (AAS), pp. 294–301.
- STOC-2007-Shpilka #multi
- Interpolation of depth-3 arithmetic circuits with two multiplication gates (AS), pp. 284–293.
- ICALP-2007-BjorklundB #bound
- Bounded Depth Data Trees (HB, MB), pp. 862–874.
- CHI-2007-HancockCC #3d #design #evaluation #interactive
- Shallow-depth 3d interaction: design and evaluation of one-, two- and three-touch techniques (MSH, MSTC, AC), pp. 1147–1156.
- HCI-IDU-2007-GeorgiakakisRPP #design #design pattern #tool support #usability
- DEPTH TOOLKIT: A Web-Based Tool for Designing and Executing Usability Evaluations of E-Sites Based on Design Patterns (PG, SR, YP, GP), pp. 453–462.
- ICEIS-SAIC-2007-ZarembaVMBCCVFT #challenge #comparison #semantics #towards #web #web service
- Towards Semantic Interoperabilty — In-depth Comparison of Two Approaches to Solving Semantic Web Service Challenge Mediation Tasks (MZ, TV, MM, MB, SC, DC, EDV, FMF, CT), pp. 413–421.
- DLT-2006-GlasserTW #polynomial
- Perfect Correspondences Between Dot-Depth and Polynomial-Time Hierarchy (CG, SDT, KWW), pp. 408–419.
- DLT-2006-Lakshmanan
- End-Marked Maximal Depth-First Contextual Grammars (LK), pp. 339–350.
- ICPR-v1-2006-LinC #image
- Depth Recovery from Motion Blurred Images (HYL, CHC), pp. 135–138.
- ICPR-v1-2006-MinYM #multi
- Multi-layer Mosaics in the Presence of Motion and Depth Effects (CM, QY, GGM), pp. 992–995.
- ICPR-v3-2006-ChanLN #re-engineering
- Extending the Depth of Field in a Compound-Eye Imaging System with Super-Resolution Reconstruction (WSC, EYL, MKN), pp. 623–626.
- IJCAR-2006-DyckhoffKL #bound #calculus #logic
- Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic (RD, DK, SL), pp. 347–361.
- LICS-2006-MacielP #bound #composition #proving
- Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (AM, TP), pp. 189–200.
- STOC-2005-DvirS #polynomial #query #testing
- Locally decodable codes with 2 queries and polynomial identity testing for depth 3 circuits (ZD, AS), pp. 592–601.
- STOC-2005-KouckyPT #bound
- Bounded-depth circuits: separating wires from gates (MK, PP, DT), pp. 257–265.
- DLT-J-2004-BorchertLSTT05 #polynomial
- The dot-depth and the polynomial hierarchies correspond on the delta levels (BB, KJL, FS, PT, DT), pp. 625–644.
- SAC-2005-BartakR
- Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.
- SAC-2005-ShangS #database #mining #relational
- Depth-first frequent itemset mining in relational databases (XS, KUS), pp. 1112–1117.
- STOC-2004-Wigderson #question #why
- Depth through breadth, or why should we attend talks in other areas? (AW), p. 579.
- DLT-2004-BorchertLSTT #polynomial
- The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels (BB, KJL, FS, PT, DT), pp. 89–101.
- ICPR-v1-2004-WoetzelK #estimation #hardware #multi #realtime
- Multi-Camera Real-Time Depth Estimation with Discontinuity Handling on PC Graphics Hardware (JW, RK), pp. 741–744.
- ICPR-v1-2004-XuWTQ #question #recognition
- Depth vs. Intensity: Which is More Important for Face Recognition? (CX, YW, TT, LQ), pp. 342–345.
- ICPR-v3-2004-ShimizuYWSTN #detection #mobile
- Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction (SS, KY, CW, YS, HT, YN), pp. 248–251.
- MLDM-2003-KostersPP #analysis #complexity #implementation
- Complexity Analysis of Depth First and FP-Growth Implementations of APRIORI (WAK, WP, VP), pp. 284–292.
- STOC-2002-Ben-Sasson02a #bound
- Hard examples for bounded depth frege (EBS), pp. 563–572.
- ICALP-2002-ImpagliazzoS #axiom #bound #simulation
- Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations (RI, NS), pp. 208–219.
- ICPR-v3-2002-DeschenesZF #estimation
- Homotopy-Based Estimation of Depth Cues in Spatial Domain (FD, DZ, PF), pp. 627–630.
- HT-2001-Kouper
- Out of nothing: in-depth hyperfication study (IK), pp. 71–72.
- ITiCSE-2001-Murtagh
- Teacing breadth-first depth-first (TPM), pp. 37–40.
- STOC-2001-RazS #bound #matrix
- Lower bounds for matrix product, in bounded depth circuits with arbitrary gates (RR, AS), pp. 409–418.
- DAC-2000-CongH #array #incremental #programmable
- Depth optimal incremental mapping for field programmable gate arrays (JC, HH), pp. 290–293.
- ICPR-v1-2000-AggarwalA #generative #on the #scalability
- On Generating Seamless Mosaics with Large Depth of Field (MA, NA), pp. 1588–1591.
- ICPR-v1-2000-Andrade-CettoS #integration
- Integration of Perceptual Grouping and Depth (JAC, AS), pp. 1295–1298.
- ICPR-v1-2000-Bayro-Corrochano #algebra #invariant #using
- Computing Depth, Shape and Motion Using Invariants and Incidence Algebra (EBC), pp. 1881–1884.
- ICPR-v1-2000-FernandezA #image #segmentation
- Image Segmentation Combining Region Depth and Object Features (JF, JA), pp. 1618–1621.
- ICPR-v1-2000-GarciaSOB
- Chromatic Aberration and Depth Extraction (JG, JMS, XO, XB), pp. 1762–1765.
- ICPR-v1-2000-LuI #3d #metric
- An Absolute Depth Range Measurement of 3-D Objects Based on Modulation Moiré Topography (CL, SI), pp. 1754–1757.
- ICPR-v1-2000-OuerhaniH #visual notation
- Computing Visual Attention from Scene Depth (NO, HH), pp. 1375–1378.
- ICPR-v1-2000-SpiesJB
- Dense Range Flow from Depth and Intensity Data (HS, BJ, JLB), pp. 1131–1134.
- ICPR-v4-2000-KagamiOII #3d #generative #realtime
- Realtime 3D Depth Flow Generation and its Application to Track to Walking Human Being (SK, KO, MI, HI), pp. 4197–4200.
- KDD-2000-AgarwalAP #generative
- Depth first generation of long patterns (RCA, CCA, VVVP), pp. 108–118.
- ICALP-1999-AllenderABDL #bound
- Bounded Depth Arithmetic Circuits: Counting and Closure (EA, AA, DAMB, SD, HL), pp. 149–158.
- HCI-CCAD-1999-GoldsteinAB #effectiveness #evaluation #navigation #prototype #smarttech #usability
- Usability evaluation of a high-fidelity smart phone prototype: task navigation depth affects effectiveness (MG, MA, RB), pp. 38–42.
- HCI-EI-1999-SunCH #3d #case study #how
- A Study on How Depth Perception Is Affected by Different Presentations of 3D Objects (HS, KWC, PAH), pp. 481–485.
- SAC-1999-KesslerH #programming #search-based
- Depth-Fair Crossover in Genetic Programming (MK, TH), pp. 319–323.
- STOC-1998-GrigorievK #bound #exponential
- An Exponential Lower Bound for Depth 3 Arithmetic Circuits (DG, MK), pp. 577–582.
- ICPR-1998-HatteryL #analysis #image #physics
- Depth from physics: physics-based image analysis and feature definition (DH, MHL), pp. 711–713.
- ICPR-1998-SchechnerK #how #question
- Depth from defocus vs. stereo: how different really are they? (YYS, NK), pp. 1784–1786.
- KDD-1998-JohnsonKN #2d #performance
- Fast Computation of 2-Dimensional Depth Contours (TJ, IK, RTN), pp. 224–228.
- STOC-1997-PaturiSZ #bound #exponential
- Exponential Lower Bounds for Depth 3 Boolean Circuits (RP, MES, FZ), pp. 86–91.
- ICALP-1997-LathropL #recursion
- Recursive Computational Depth (JIL, JHL), pp. 132–142.
- DAC-1996-CongH #composition #design
- Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA Design (JC, YYH), pp. 726–729.
- ICPR-1996-HansenS #estimation #using
- Active depth estimation with gaze and vergence control using Gabor filters (MH, GS), pp. 287–291.
- ICPR-1996-LohmannK #image
- Extracting lines of maximal depth from MR images of the human brain (GL, FK), pp. 518–522.
- ICPR-1996-MakiNE
- A computational model of depth-based attention (AM, PN, JOE), pp. 734–739.
- ICPR-1996-RebuffelS #estimation #framework #predict
- Estimation of depth-from-motion combining iterative prediction scheme and regularization framework (VR, JLS), pp. 466–470.
- ICPR-1996-WangA
- Stereo matching by integrating piecewise surfaces matched in subranges of depth (CW, KA), pp. 423–427.
- SEKE-1996-FoxvogT #realtime
- Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.
- PLILP-1996-FreireSW #logic programming #scheduling #source code
- Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.
- STOC-1995-GoldmannH
- Monotone circuits for connectivity have depth (log n)2-o(1) (Extended Abstract) (MG, JH), pp. 569–574.
- POPL-1995-KingL #algorithm #haskell
- Structuring Depth-First Search Algorithms in Haskell (DJK, JL), pp. 344–354.
- STOC-1994-KrauseP #on the #power of
- On the computational power of depth 2 circuits with threshold and modulo gates (MK, PP), pp. 48–57.
- ICLP-1994-KingS
- Depth-k Sharing and Freeness (AK, PS), pp. 553–568.
- DAC-1993-CongD #on the #trade-off
- On Area/Depth Trade-off in LUT-Based FPGA Technology Mapping (JC, YD), pp. 213–218.
- STOC-1993-AllenderJ #commutative #reduction
- Depth reduction for noncommutative arithmetic circuits (EA, JJ), pp. 515–522.
- STOC-1993-ImpagliazzoPS #trade-off
- Size-depth trade-offs for threshold circuits (RI, RP, MES), pp. 541–550.
- ICALP-1993-JuedesLL
- Computational Depth and Reducibility (Extended Abstract) (DWJ, JIL, JHL), pp. 277–288.
- CIKM-1993-CosarLS #bound #multi #optimisation #query
- Multiple Query Optimization with Depth-First Branch-and-Bound and Dynamic Query Ordering (AC, EPL, JS), pp. 433–438.
- ILPS-1993-Andrews #logic #prolog #semantics
- A Logical Semantics for Depth-First Prolog with Ground Negation (JHA), pp. 220–234.
- STOC-1992-KlugermanP #network
- Small-Depth Counting Networks (MK, CGP), pp. 417–428.
- STOC-1992-Plaxton #network #sorting
- A Hypercubic Sorting Network with Nearly Logarithmic Depth (CGP), pp. 405–416.
- LICS-1992-Clote #constant #proving
- Cutting Planes and constant depth Frege proofs (PC), pp. 296–307.
- DAC-1990-Fishburn #heuristic #how #logic
- A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
- STOC-1990-RazW #linear
- Monotone Circuits for Matching Require Linear Depth (RR, AW), pp. 287–292.
- STOC-1989-AggarwalAK #graph #parallel
- Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.
- SIGMOD-1988-MuralikrishnaD #multi #query
- Equi-Depth Histograms For Estimating Selectivity Factors For Multi-Dimensional Queries (MM, DJD), pp. 28–36.
- STOC-1988-KarchmerW
- Monotone Circuits for Connectivity Require Super-logarithmic Depth (MK, AW), pp. 539–550.
- STOC-1987-AggarwalA #algorithm #random
- A Random NC Algorithm for Depth First Search (AA, RJA), pp. 325–334.
- STOC-1986-Hastad #bound
- Almost Optimal Lower Bounds for Small Depth Circuits (JH), pp. 6–20.
- ICALP-1986-Straubing
- Semigroups and Languages of Dot-Depth 2 (HS), pp. 416–423.
- STOC-1985-Alon #sorting
- Expanders, Sorting in Rounds and Superconcentrators of Limited Depth (NA), pp. 98–102.
- STOC-1984-AjtaiB #constant #probability #theorem
- A Theorem on Probabilistic Constant Depth Computations (MA, MBO), pp. 471–474.
- STOC-1984-Alt #comparison
- Comparison of Arithmetic Functions with Respect to Boolean Circuit Depth (Extended Abstract) (HA), pp. 466–470.
- STOC-1984-Boppana #bound
- Threshold Functions and Bounded Depth Monotone Circuits (RBB), pp. 475–479.
- STOC-1984-KlawePPY #on the #strict
- On Monotone Formulae with Restricted Depth (Preliminary Version) (MMK, WJP, NP, MY), pp. 480–487.
- ICALP-1984-KirschenhoferP #algorithm #analysis #recursion #traversal
- Recursion Depth Analysis for Special Tree Traversal Algorithms (PK, HP), pp. 303–311.
- STOC-1983-DolevDPW
- Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version) (DD, CD, NP, AW), pp. 42–51.
- ICALP-1983-ChandraFL #bound #constant #problem
- Lower Bounds for Constant Depth Circuits for Prefix Problems (AKC, SF, RJL), pp. 109–117.
- DAC-1982-Grass #algorithm #bound
- A depth-first branch-and-bound algorithm for optimal PLA folding (WG), pp. 133–140.
- ICALP-1979-FichB
- A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.
- ICALP-1978-Commentz-Walter #trade-off
- Size-Depth Tradeoff in Boolean Formulas (BCW), pp. 125–141.
- STOC-1976-FongU #graph
- Finding the Depth of a Flow Graph (ACF, JDU), pp. 121–125.
- ICALP-1976-McColl
- The Depth of Boolean Functions (WFM), pp. 307–321.