Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Publication Venue For
-
Context-Aware Temporal Logic for Probabilistic Systems.
12302 LNCS:215-232.
2020
-
ForestHash: Semantic Hashing with Shallow Random Forests and Tiny Convolutional Networks.
11206 LNCS:442-459.
2018
-
Computing the Gromov-Hausdorff distance for metric trees.
9472:529-540.
2015
-
Predicting adverse drug events from electronic medical records.
9521 LNCS:243-257.
2015
-
The threshold of cooperation among adaptive agents: Pavlov and the stag hunt.
1193:219-231.
2015
-
A comparison of blocking methods for record linkage.
8744:253-268.
2014
-
Analysis of dependence of detector position on detected scatter distribution in dedicated breast SPECT.
8539 LNCS:501-507.
2014
-
Bayesian multiple protein structure alignment.
8394 LNBI:326-339.
2014
-
Convex hulls under uncertainty.
8737 LNCS:37-48.
2014
-
Disclosure risk evaluation for fully synthetic categorical data.
8744:185-199.
2014
-
On differentially private inductive logic programming.
8812:18-30.
2014
-
Preface.
8833.
2014
-
Three dimensional dose distribution comparison of simple and complex acquisition trajectories in dedicated breast CT - A Monte Carlo study.
8539 LNCS:187-194.
2014
-
Ants crawling to discover the community structure in networks.
8259 LNCS:552-559.
2013
-
Polyps flagging in virtual colonoscopy.
8259 LNCS:181-189.
2013
-
The exact computational complexity of evolutionarily stable strategies.
8289 LNCS:96-108.
2013
-
Distinguishing between genomic regions bound by paralogous transcription factors.
7821 LNBI:145-157.
2013
-
Extracting structural information from residual chemical shift anisotropy: Analytic solutions for peptide plane orientations and applications to determine protein structure.
7821 LNBI:271-284.
2013
-
Computing a profit-maximizing sequence of offers to agents in a social network.
7695 LNCS:482-488.
2012
-
Variational Bayesian learning of sparse representations and its application in functional neuroimaging.
7263 LNAI:218-225.
2012
-
Fast tiered labeling with topological priors.
7575 LNCS:587-601.
2012
-
Nested pictorial structures.
7573 LNCS:816-827.
2012
-
Simultaneous compaction and factorization of sparse image motion matrices.
7577 LNCS:456-469.
2012
-
Application of a dynamic 4D anthropomorphic breast phantom in contrast-based imaging system optimization: Dual-energy or temporal subtraction?.
7361 LNCS:658-665.
2012
-
Development and initial demonstration of a low-dose dedicated fully 3D breast CT system.
7361 LNCS:442-449.
2012
-
Initial evaluation of a newly developed high resolution CT imager for dedicated breast CT.
7361 LNCS:426-433.
2012
-
Quantification of Tc-99m sestamibi distribution in normal breast tissue using dedicated breast SPECT-CT.
7361 LNCS:402-409.
2012
-
Effects of in-home tele-rehabilitation on task self-efficacy in mobility impaired adults.
7251 LNCS:50-57.
2012
-
Constrained sparse functional connectivity networks for MCI classification.
7511 LNCS:212-219.
2012
-
Scaling invariance and a characterization of linear objective functions.
6992 LNAI:205-218.
2011
-
Localized hybridization circuits.
6937 LNCS:64-83.
2011
-
New tools for graph coloring.
6845 LNCS:1-12.
2011
-
Virtual restoration of the Ghent altarpiece using crack detection and inpainting.
6915 LNCS:417-428.
2011
-
People detection using color and depth images.
6718 LNCS:127-135.
2011
-
New algorithms for learning in presence of errors.
6755 LNCS:403-415.
2011
-
Efficient visual object tracking with online nearest neighbor classifier.
6492 LNCS:271-282.
2011
-
High-fidelity DNA hybridization using programmable molecular DNA devices.
6518 LNCS:59-70.
2011
-
A Bayesian Approach for Determining Protein Side-Chain Rotamer Conformations Using Unassigned NOE Data.
6577 LNBI:563-578.
2011
-
A Geometric Arrangement Algorithm for Structure Determination of Symmetric Protein Homo-oligomers from NOEs and RDCs.
6577 LNBI:222-237.
2011
-
An NTU cooperative game theoretic view of manipulating elections.
7090 LNCS:363-374.
2011
-
Budget-balanced and nearly efficient randomized mechanisms: Public goods and beyond.
7090 LNCS:158-169.
2011
-
Protein Loop Closure Using Orientational Restraints from NMR Data.
6577 LNBI:483-498.
2011
-
Fingerspelling recognition through classification of letter-to-letter transitions.
5996 LNCS:214-225.
2010
-
A Markov random field framework for protein side-chain resonance assignment.
6044 LNBI:550-570.
2010
-
On-line adaptive algorithms in autonomic restart control.
6407 LNCS:32-46.
2010
-
Strategy-proof voting rules over multi-issue domains with restricted preferences.
6484 LNCS:402-414.
2010
-
Reed Muller sensing matrices and the LASSO (Invited paper).
6338 LNCS:442-463.
2010
-
Scalable parallelization strategies to accelerate NuFFT data translation on multicores.
6272 LNCS:125-136.
2010
-
Stability of ε-kernels.
6346 LNCS:487-499.
2010
-
The robustness of level sets.
6346 LNCS:1-10.
2010
-
Accurate identification of MCI patients via enriched white-matter connectivity network.
6357 LNCS:140-147.
2010
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
6184 LNCS.
2010
-
Constancy checking of digital breast tomosynthesis systems.
6136 LNCS:518-525.
2010
-
Lipschitz unimodal and isotonic regression on paths and trees.
6034 LNCS:384-396.
2010
-
Critical nets and beta-stable features for image matching.
6313 LNCS:663-676.
2010
-
Dynamic color flow: A motion-adaptive color model for object segmentation in video.
6315 LNCS:617-630.
2010
-
Reed Muller Sensing Matrices and the LASSO.
6338:442-+.
2010
-
Design of a biomolecular device that executes process algebra.
5877 LNCS:97-105.
2009
-
Competitive repeated allocation without payments.
5929 LNCS:244-255.
2009
-
New results on simple stochastic games.
5878 LNCS:1014-1023.
2009
-
Prediction mechanisms that do not incentivize undesirable actions.
5929 LNCS:89-100.
2009
-
The persistent Morse complex segmentation of a 3-manifold.
5903 LNCS:36-50.
2009
-
Isothermal reactivating whiplash PCR for locally programmable molecular computation.
5347 LNCS:41-56.
2009
-
The tile complexity of linear assemblies.
5555 LNCS:235-253.
2009
-
A variational framework for non-local image inpainting.
5681 LNCS:345-358.
2009
-
Exemplar-based interpolation of sparsely sampled images.
5681 LNCS:331-344.
2009
-
Geodesics in shape space via variational time discretization.
5681 LNCS:288-302.
2009
-
Coalition structure generation utilizing compact characteristic function representations.
5732 LNCS:623-638.
2009
-
Efficient sensor placement for surveillance problems.
5516 LNCS:301-314.
2009
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
5422.
2009
-
An "ethical" game-theoretic solution concept for two-player perfect-information games.
5385 LNCS:696-707.
2008
-
Anonymity-proof voting rules.
5385 LNCS:295-306.
2008
-
Test power for drug abuse surveillance.
5354 LNBI:131-142.
2008
-
Welfare undominated groves mechanisms.
5385 LNCS:426-437.
2008
-
A framework for designing novel magnetic tiles capable of complex self-assemblies.
5204 LNCS:129-145.
2008
-
Breast mass detection under increased ambient lighting.
5116 LNCS:243-248.
2008
-
Reliability assessment of ensemble classifiers: Application in mammography.
5116 LNCS:366-370.
2008
-
Activatable tiles: Compact, robust programmable assembly and other applications.
4848 LNCS:15-25.
2008
-
Autonomous programmable nanorobotic devices using DNAzymes.
4848 LNCS:66-78.
2008
-
Invited keynote talk: Haplotype sharing for genome-wide case-control association studies.
4983 LNBI:183.
2008
-
3-D deformation guided on-line modification of multi-leaf collimators for adaptive radiation therapy.
5112 LNCS:798-806.
2008
-
Achieving and assuring high availability.
5017 LNCS:20-25.
2008
-
Ten fallacies of availability and reliability analysis.
5017 LNCS:187-206.
2008
-
CLP(BN): Constraint logic programming for probabilistic knowledge.
4911 LNAI:156-188.
2008
-
Accounting for intruder uncertainty due to sampling when estimating identification disclosure risks in partially synthetic data.
5262 LNCS:227-238.
2008
-
An efficient algorithm for 2D Euclidean 2-center with outliers.
5193 LNCS:64-75.
2008
-
Stabbing convex polygons with a segment or a polygon.
5193 LNCS:52-63.
2008
-
Improving XCP to achieve max-min fair bandwidth allocation.
4479 LNCS:992-1004.
2007
-
Advancing the state of the art in computational gene prediction.
4366 LNBI:81-106.
2007
-
Alpha-beta witness complexes.
4619 LNCS:386-397.
2007
-
An efficient re-scaled perceptron algorithm for conic systems.
4539 LNAI:393-408.
2007
-
Autonomous programmable biomolecular devices using self-assembled DNA nanostructures.
4576 LNCS:297-306.
2007
-
Distributed hybrid control for multiple-pursuer multiple-evader games.
4416 LNCS:787-789.
2007
-
Modeling and analyzing massive terrain data sets.
4835 LNCS:1.
2007
-
New possibilities with Sobolev active contours.
4485 LNCS:153-164.
2007
-
Stochastic modeling of composite Web services for closed-form analysis of their performance and reliability bottlenecks.
4749 LNCS:107-118.
2007
-
A framework for modeling DNA based molecular systems.
4287 LNCS:250-265.
2006
-
Capabilities and limits of compact error resilience methods for algorithmic self-assembly in two and three dimensions.
4287 LNCS:223-238.
2006
-
Design and simulation of self-repairing DNA lattices.
4287 LNCS:195-214.
2006
-
Message from the chair.
4288 LNCS.
2006
-
A self-assembly model of time-dependent glue strength.
3892 LNCS:290-304.
2006
-
Complexity of graph self-assembly in accretive systems and self-destructible systems.
3892 LNCS:257-274.
2006
-
Design of autonomous DNA cellular automata.
3892 LNCS:399-416.
2006
-
Distributed network querying with bounded approximate caching.
3882 LNCS:374-388.
2006
-
A multiscale discontinuous Galerkin method.
3743 LNCS:84-93.
2006
-
A new solution concept for coalitional games in open anonymous environments.
4012 LNAI:53-64.
2006
-
An adaptive robot motivational system.
4095 LNAI:346-356.
2006
-
Beam optimization for digital mammography - II.
4046 LNCS:273-280.
2006
-
Level-set curve particles.
3953 LNCS:633-644.
2006
-
Model-driven dynamic control of embedded wireless sensor networks.
3993 LNCS - III:409-416.
2006
-
Out-of-order event processing in kinetic data structures.
4168 LNCS:624-635.
2006
-
Segmenting motifs in protein-protein interface surfaces.
4175 LNBI:207-218.
2006
-
Tool for translating simulink models into input language of a model checker.
4260 LNCS:606-620.
2006
-
Faster algorithms for optimal Multiple Sequence Alignment based on pairwise comparisons.
3692 LNBI:315-327.
2005
-
Improved motion correction of fMRI time-series corrupted with major head movement using extended motion-corrected independent component analysis.
3765 LNCS:346-355.
2005
-
Monitoring continuous band-join queries over dynamic data.
3827 LNCS:349-359.
2005
-
Revenue failures and collusion in combinatorial auctions and exchanges with VCG payments.
3435 LNAI:1-14.
2005
-
The pipelined set cover problem.
3363 LNCS:83-98.
2005
-
Compact error-resilient computational DNA tiling assemblies.
3384:293-307.
2005
-
Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion.
3384:426-444.
2005
-
Design, simulation, and experimental demonstration of self-assembled DNA nanostructures and motors.
3566:173-187.
2005
-
Designs of autonomous unidirectional walking DNA devices.
3384:410-425.
2005
-
Evaluating performance attributes of layered software architecture.
3489:66-81.
2005
-
Fault-tolerant self-organization in sensor networks.
3560:191-205.
2005
-
I/O-efficient construction of constrained delaunay triangulations.
3669:355-366.
2005
-
METAMorph: Experimenting with genetic regulatory networks for artificial development.
3630 LNAI:108-117.
2005
-
Modeling user-perceived service availability.
3694 LNCS:107-122.
2005
-
Neural network sensitivity analysis applied for the reduction of the sensor matrix.
3643 LNCS:27-32.
2005
-
Online view maintenance under a response-time constraint.
3669:677-688.
2005
-
The synergy between power-aware memory systems and processor voltage scaling.
3164:164-179.
2004
-
Toward automatic management of embarrassingly parallel applications.
2790:509-516.
2004
-
A cellular automata model of early t cell recognition.
3305:553-560.
2004
-
Alternatives to non-malleability: Definitions, constructions, and applications (extended abstract).
2951:171-190.
2004
-
Boosting based on a smooth margin.
3120:502-517.
2004
-
DNA-based cryptography.
2950:167-188.
2004
-
Deriving efficient graph algorithms.
2772:645-681.
2004
-
Efficient tradeoff schemes in data structures for querying moving objects.
3221:4-15.
2004
-
Image similarity using mutual information of regions.
3023:596-607.
2004
-
Independent set of intersection graphs of convex objects in 2D.
3111:127-137.
2004
-
Local search heuristic for rigid protein docking.
3240:218-229.
2004
-
Private keyword-based push and pull with applications to anonymous communication extended abstract.
3089:16-30.
2004
-
Semantic essence of asml: Extended abstract.
3188:240-259.
2004
-
Seurat: A pointillist approach to anomaly detection.
3224:238-257.
2004
-
Simultaneous source location.
3122:13-26.
2004
-
Time-scoped searching of encrypted audit logs.
3269:532-545.
2004
-
Timing attacks in low-latency mix systems (Extended Abstract).
3110:251-265.
2004
-
Towards a characterization of polynomial preference elicitation with value queries in combinatorial auctions.
3120:1-16.
2004
-
Case based reasoning for medical decision-support in a safety critical environment.
2780 LNAI:314-323.
2003
-
Adaptive and compact discretization for weighted region optimal path finding.
2751:258-270.
2003
-
Bkd-tree: A dynamic scalable kd-tree.
2750:46-65.
2003
-
C-mode real time tomographic reflection for a matrix array ultrasound sonic flashlight.
2879:336-343.
2003
-
CRB-tree: An efficient indexing scheme for range-aggregate queries.
2572:143-157.
2003
-
DNA nanotubes: Construction and characterization of filaments composed of TX-tile lattice.
2568:10-21.
2003
-
I/O-efficient structures for orthogonal range-max and stabbing-max queries.
2832:7-18.
2003
-
On boundaries of highly visible spaces and applications.
2751:271-283.
2003
-
Streaming geometric optimization using graphics hardware.
2832:544-555.
2003
-
The design of autonomous DNA nanomechanical devices: Walking and rolling DNA.
2568:22-37.
2003
-
Three-dimensional segmentation of brain aneurysms in CTA using non-parametric region-based information and implicit deformable models: Method and evaluation.
2879:594-602.
2003
-
TupleRank and implicit relationship discovery in relational databases.
2762:445-457.
2003
-
Molecular assembly and Computation: From theory to experimental demonstrations.
2380 LNCS:1-21.
2002
-
BUSHWHACK: An approximation algorithm for minimal paths through pseudo-euclidean spaces.
2223 LNCS:160-171.
2001
-
Efficient sorting using registers and caches.
1982 LNCS:51-62.
2001
-
Temporal view self-maintenance.
1777:395-412.
2000
-
Maintaining temporal views over non-temporal information sources for data warehousing.
1377 LNCS:389-403.
1998
-
LabFlow-l: A database benchmark for high-throughput workflow management.
1057 LNCS:463-478.
1996
-
Assessment of several virtual endoscopy techniques using computed tomography and perspective volume rendering.
1131:521-528.
1996
-
Applications of a new space-partitioning technique.
519 LNCS:379-391.
1991
-
Randomization in parallel algorithms and its impact on computational geometry.
401 LNCS:1-8.
1989
-
3-dimensional shortest paths in the presence of polyhedral obstacles.
324 LNCS:85-92.
1988
-
Randomized parallel computation.
278 LNCS:364-376.
1987
-
MULTIPROCESS NETWORK LOGIC WITH TEMPORAL AND SPATIAL MODALITIES..
628-639.
1983
-
Timing matters: Online dynamics in broadcast games.
11316 LNCS:80-95.
2018
-
Welfare-Preserving ε -BIC to BIC Transformation with Negligible Revenue Loss
2022
-
Contrastively Smoothed Class Alignment for Unsupervised Domain Adaptation
2021
-
Inductive Generalized Zero-Shot Learning with Adversarial Relation Network
2021
-
Mix-Up Augmentation for Oracle Character Recognition with Imbalanced Data Distribution
2021
-
Pain intensity assessment in sickle cell disease patients using vital signs during hospital visits
2021
-
Predicting Drug-Drug Interactions from Heterogeneous Data: An Embedding Approach
2021
-
Puncturable Pseudorandom Sets and Private Information Retrieval with Near-Optimal Online Bandwidth and Time
2021
-
Reproducibility of Retinal Vascular Phenotypes Obtained with Optical Coherence Tomography Angiography: Importance of Vessel Segmentation
2021
-
Retina-Match: Ipsilateral Mammography Lesion Matching in a Single Shot Detection Pipeline
2021
-
Synthetic Gaze Data Augmentation for Improved User Calibration
2021
-
Accelerating CNN Training by Pruning Activation Gradients
2020
-
Action recognition in videos with temporal segments fusions
2020
-
Bayesian Modeling for Simultaneous Regression and Record Linkage
2020
-
Bayesian Repeated Zero-Sum Games with Persistent State, with Application to Security Games
2020
-
Classification of PTSD and Non-PTSD Using Cortical Structural Measures in Machine Learning Analyses—Preliminary Study of ENIGMA-Psychiatric Genomics Consortium PTSD Workgroup
2020
-
Minimum-Regret Contracts for Principal-Expert Problems
2020
-
Mobile health and mobile rehabilitation for people with disabilities: Current state, challenges and opportunities: introduction to the special thematic session
2020
-
Monotone Circuit Lower Bounds from Robust Sunflowers
2020
-
Neural Predictor for Neural Architecture Search
2020
-
OptORAMa: Optimal Oblivious RAM
2020
-
Survey of rehabilitation clinicians in the united states: Barriers and critical use-cases for mrehab adoption
2020
-
Survey of user needs: Mobile apps for mhealth and people with disabilities
2020
-
Thresholds in the Lattice of Subspaces of Fqn
2020
-
Untangling Header Bidding Lore: Some Myths, Some Truths, and Some Hope
2020
-
Variational Diffusion Autoencoders with Random Walk Sampling
2020
-
Active Matrix Completion for Algorithm Selection
2019
-
Adaptive simultaneous multi-tenancy for GPUs
2019
-
Deriving lung perfusion directly from CT image using deep convolutional neural network: A preliminary study
2019
-
Fast Algorithms for Handling Diagonal Constraints in Timed Automata
2019
-
ICHNet: Intracerebral hemorrhage (ICH) segmentation using deep learning
2019
-
Immersed Boundary Method Halo Exchange in a Hemodynamics Application
2019
-
LCV: A verification tool for linear controller software
2019
-
Locality-preserving oblivious RAM
2019
-
Mask Embedding for Realistic High-Resolution Medical Image Synthesis
2019
-
Privacy Changes Everything
2019
-
Security-Aware Synthesis Using Delayed-Action Games
2019
-
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected $$O(n^2)$$ Communication, and Optimal Resilience
2019
-
A simple mechanism for a budget-constrained buyer
2018
-
Development and evaluation of a device to measure walking speed
2018
-
Generalized bayesian record linkage and regression with exact error propagation
2018
-
Human augmentation of UAV cyber-attack detection
2018
-
Mobile healthcare and mhealth apps for people with disabilities
2018
-
Mobile healthcare and mhealth apps: Introduction to the special thematic session
2018
-
Mobile healthcare and people with disabilities: Results from a preliminary survey
2018
-
Modeling Dependence in Evolutionary Inference for Proteins
2018
-
More is less: Perfectly secure oblivious algorithms in the multi-server setting
2018
-
Opportunities and challenges in monitoring cyber-physical systems security
2018
-
Perfectly Secure Oblivious Parallel RAM
2018
-
Privacy-preserving ridge regression with only linearly-homomorphic encryption
2018
-
Probabilistic blocking with an application to the syrian conflict
2018
-
Temporal DNA barcodes: A time-based approach for single-molecule imaging
2018
-
A field study of multimodal alerts for an autonomous threat detection system
2017
-
Asymptotically tight bounds for composing ORAM with PIR
2017
-
Automatic verification of finite precision implementations of linear controllers
2017
-
BBK* (Branch and bound over K*): A provable and efficient ensemble-based algorithm to optimize stability and binding affinity over large sequence spaces
2017
-
Dictionary learning and sparse coding-based denoising for high-resolution task functional connectivity MRI analysis
2017
-
E pluribus unum: United states of single cells
2017
-
Genotypic data in relational databases: Efficient storage and rapid retrieval
2017
-
Greedy based pareto local search for bi-objective robust airport gate assignment problem
2017
-
Introducing reputation systems to the economics of outsourcing computations to rational workers
2017
-
Matrix factorization based benchmark set analysis: A case study on HyFlex
2017
-
On-demand time blurring to support side-channel defense
2017
-
Output performance study on a production petascale filesystem
2017
-
Personalizing training to acquire and sustain competence through use of a cognitive model
2017
-
Sequential deliberation for social choice
2017
-
Simulated annealing with a time-slot heuristic for ready-mix concrete delivery
2017
-
Why is the internet so slow?!
2017
-
Augmenting VR/AR applications with EEG/EOG monitoring and oculo-vestibular recoupling
2016
-
Computing equilibria with partial commitment
2016
-
Deep metric learning with data summarization
2016
-
Designing and comparing multiple portfolios of parameter configurations for online algorithm selection
2016
-
Development of fully-3D CT in a hybrid SPECT-CT breast imaging system
2016
-
Knowledge-guided maximal clique enumeration
2016
-
Laplacian Hamiltonian Monte Carlo
2016
-
Lifting EMMeT to OWL getting the most from SKOS
2016
-
Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution
2016
-
On the price of stability of undirected multicast games
2016
-
Performance measures and a data set for multi-target, multi-camera tracking
2016
-
Scalable verification of linear controller software
2016
-
Semantic reconstruction-based nuclear cataract grading from slit-lamp lens images
2016
-
Survivability analysis of a computer system under an advanced persistent threat attack
2016
-
Survivability quantification for networks
2016
-
The core of the participatory budgeting problem
2016
-
A note on modeling retweet cascades on Twitter
2015
-
ADVISER: A web-based algorithm portfolio deviser
2015
-
An SRN-based resiliency quantification approach
2015
-
Automatic feature learning for glaucoma detection based on deep learning
2015
-
Automatic feature learning to grade nuclear cataracts based on deep learning
2015
-
Combining practical and dialectical commitments for service engagements
2015
-
Discriminative feature selection for multiple ocular diseases classification by sparse induced graph regularized group lasso
2015
-
From local to global communities in large networks through consensus
2015
-
Memristor crossbar array for image storing
2015
-
OSCAR: Online selection of algorithm portfolios with case study on memetic algorithms
2015
-
Robust prediction of clinical deep brain stimulation target structures via the estimation of influential high-field MR atlases
2015
-
Scalable bayesian non-negative tensor factorization for massive count data
2015
-
Tensor decompositions for learning latent variable models (A survey for ALT)
2015
-
Tracking multiple people online and in real time
2015
-
Turning prediction tools into decision tools
2015
-
A recommender system for process discovery
2014
-
Bayesian multiple protein structure alignment
2014
-
Convex hulls under uncertainty
2014
-
Disclosure risk evaluation for fully synthetic categorical data
2014
-
Efficient primal-dual graph algorithms for MapReduce
2014
-
Memristive radial basis function neural network for parameters adjustment of PID controller
2014
-
Preface
2014
-
SNIPS: A software-defined approach for scaling intrusion prevention systems via offloading
2014
-
Some vulnerabilities are different than others: Studying vulnerabilities and attack surfaces in the wild
2014
-
The query complexity of witness finding
2014
-
Value-based network externalities and optimal auction design
2014
-
Algorithms for cost-aware scheduling
2013
-
Area under the precision-recall curve: Point estimates and confidence intervals
2013
-
Forest-based point process for event prediction from electronic health records
2013
-
Learning to detect patterns of crime
2013
-
Approximate indexability and bandit problems with concave rewards and delayed feedback
2013
-
Ensuring file authenticity in private DFA evaluation on encrypted files in the cloud
2013
-
Automatic grading of cortical and PSC cataracts using retroillumination lens images
2013
-
Superpixel classification based optic disc segmentation
2013
-
The circuit realization of a neuromorphic computing system with memristor-based synapse design
2012
-
An intelligent hyper-heuristic framework for CHeSC 2011
2012
-
Relational differential prediction
2012
-
A tight upper bound on the number of variables for average-case k-clique on ordered graphs
2012
-
The effect of the set of low-level heuristics on the performance of selection hyper-heuristics
2012
-
Efficient, compromise resilient and append-only cryptographic schemes for secure audit logging
2012
-
Third-party private DFA evaluation on encrypted files in the cloud
2012
-
Revisiting botnet models and their implications for takedown strategies
2012
-
On the expressiveness of return-into-libc attacks
2011
-
Robustness of change detection algorithms
2011
-
The machine learning and traveling repairman problem
2011
-
Display requirements for an interactive rail scheduling display
2011
-
Automating the ILP setup task: Converting user advice about specific examples into general background knowledge
2011
-
Approximation algorithm for security games with costly resources
2011
-
On allocations with negative externalities
2011
-
On the Notion of IF-Shadows
2011
-
Summary-invisible networking: Techniques and defenses
2011
-
Teleimmersive archaeology: Simulation and cognitive impact
2010
-
False-name-proofness in social networks
2010
-
Persistent homology under non-uniform error
2010
-
Content-based medical image retrieval with metric learning via rank correlation
2010
-
Choiceless computation and symmetry
2010
-
Selected results from the latest decade of quorum systems research
2010
-
A Note on the Effect of Knowledge Refinement on Bag Structures
2010
-
Distinguishing Direct versus Indirect Transcription Factor-DNA Interactions
2010
-
On challenges in evaluating malware clustering
2010
-
Making peer-assisted content distribution robust to collusion using bandwidth puzzles
2009
-
Learning and approximating the optimal strategy to commit to
2009
-
Atlas-based automated segmentation of spleen and liver using adaptive enhancement estimation
2009
-
Automatically adapting a trained anomaly detector to software patches
2009
-
First international fingerprint liveness detection competition-LivDet 2009
2009
-
Multi-armed bandits with metric switching costs
2009
-
Data structures with unpredictable timing
2009
-
Browser fingerprinting from coarse traffic summaries: Techniques and implications
2009
-
Ehrenfeucht-Fraïssé Games on Random Structures
2009
-
Reducing noise in labels and features for a real world dataset: Application of NLP corpus annotation methods
2009
-
VR Visualisation as an interdisciplinary collaborative data exploration tool for large eddy simulations of biosphere-atmosphere interactions
2008
-
Write markers for probabilistic quorum systems
2008
-
On the limits of payload-oblivious network attack detection
2008
-
Assessment of low energies and slice depth in the quantification of breast tomosynthesis
2008
-
Effect of similarity metrics and ROI sizes in featureless computer aided detection of breast masses in tomosynthesis
2008
-
Knowledge transfer across breast cancer screening modalities: A pilot study using an information-theoretic CADe system for mass detection
2008
-
Multi-projection correlation imaging as a new diagnostic tool for improved breast cancer detection
2008
-
Traffic aggregation for malware detection
2008
-
The stochastic machine replenishment problem
2008
-
BinHunt: Automatically finding semantic differences in binary programs
2008
-
Exploring semantic social networks using virtual reality
2008
-
An optimal decomposition algorithm for tree edit distance
2007
-
Asymmetric synchronous collaboration within distributed teams
2007
-
Efficient proving for practical distributed access-control systems
2007
-
From data reverence to data relevance: Model-mediated wireless sensing of the physical environment
2007
-
Hit-list worm detection and bot identification in large networks using protocol graphs
2007
-
ILP through propositionalization and stochastic k-term DNF learning
2007
-
Inferring regulatory networks from time series expression data and relational data via inductive logic programming
2007
-
Probabilistic opaque quorum systems
2007
-
Trustworthy services and the biological analogy
2007
-
A computational model for eukaryotic directional sensing
2006
-
A linear logic of authorization and knowledge
2006
-
Adjusting survey weights when altering identifying design variables via synthetic data
2006
-
An efficient algorithm for the identification of repetitive variable motifs in the regulatory sequences of co-expressed genes
2006
-
An efficient approximation to lookahead in relational learners
2006
-
Behavioral distance for intrusion detection
2006
-
Behavioral distance measurement using Hidden Markov Models
2006
-
Censorship resistance revisited
2006
-
Computing a center-transversal line
2006
-
Finding peer-to-peer file-sharing using coarse network behaviors
2006
-
On consistency of encrypted files
2006
-
Probabilistic kernel principal component analysis through time
2006
-
Ranking with a P-norm push
2006
-
An integrated approach to learning Bayesian networks of rules
2005
-
Mode directed path finding
2005
-
Inverse consistent mapping in 3D deformable image registration: Its construction and statistical properties
2005
-
A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
2005
-
A model-based approach to visualizing classification decisions for patient diagnosis
2005
-
Building reliable mix networks with fair exchange
2005
-
Device-enabled authorization in the grey system
2005
-
Invariance in kernel methods by haar-integration kernels
2005
-
Margin-based ranking meets boosting in the middle
2005
-
Security by, and for, converged mobile devices
2005
-
Self-optimizing DHTs using request profiling
2005
-
Some representation and computational issues in social choice
2005
-
A Monte Carlo study of randomised restarted search in ILP
2004
-
Discriminative MR image feature analysis for automatic schizophrenia and Alzheimer's disease classification
2004
-
An empirical evaluation of bagging in inductive logic programming
2003
-
Intuition in soft decision analysis
2003
-
Lattice-search runtime distributions may be heavy-tailed
2003
-
Modeling of DRAM power control policies using deterministic and stochastic petri nets
2003
-
Specification-level integration of simulation and dependability analysis
2003
-
A programmable memory hierarchy for prefetching linked data structures
2002
-
An application of case-based reasoning to the adaptive management of wireless networks
2002
-
Approximation algorithms for k-line center
2002
-
Experimental construction of very large scale DNA databases with associative search capability
2002
-
Kinetic medians and kd-trees
2002
-
Near-linear time approximation algorithms for curve simplification
2002
-
Range searching in categorical data: Colored range searching on grid
2002
-
Routing and communication in interconnection networks
2002
-
Self-organizing subsets: From each according to his abilities, to each according to his needs
2002
-
Software reliability and rejuvenation: Modeling and analysis
2002
-
Star-tree: An efficient self-adjusting index for moving objects
2002
-
The role of declarative languages in mining biological databases
2002
-
Translating a planar object to maximize point containment
2002
-
User interface design patterns for interactive modeling in demography and biostatistics
2002
-
A framework for index bulk loading and dynamization
2001
-
A learning method for automated polyp detection
2001
-
Challenges and applications for self-assembled DNA nanostructures
2001
-
Computationally inspired biotechnologies: Improved DNA synthesis and associative search using error-correcting codes and vector-quantization
2001
-
Majority consensus and the local majority rule
2001
-
Movement planning in the presence of flows
2001
-
PET studies of the effects of ECT on cerebral physiology
2001
-
Performance evaluation of an automatic fingerprint classification algorithm adapted to a Vucetich based classification system
2001
-
Reporting intersecting pairs of polytopes in two and three dimensions
2001
-
Time responsive external data structures for moving points
2001
-
Topic 06, complexity theory and algorithms
2001
-
Two-party generation of DSA signatures
2001
-
Using optical flow fields for Polyp detection in virtual colonoscopy
2001
-
Building a reliable message delivery system using the CORBA Event Service
2000
-
Computing the penetration depth of two convex polytopes in 3d
2000
-
Distribution of prostate cancer for optimized biopsy protocols
2000
-
ILP: Just do it
2000
-
Ilp: Just do it
2000
-
Implementation of importance splitting techniques in stochastic petri net package
2000
-
Noise-resistant affine skeletons of planar curves
2000
-
Online algorithms for caching multimedia streams
2000
-
Polygon decomposition for efficient construction of Minkowski sums
2000
-
Reliability and performability modeling using SHARPE 2000
2000
-
SPNP: Stochastic petri nets. Version 6. 0
2000
-
SREPT: Software reliability estimation and prediction tool
2000
-
Stochastic modeling formalisms for dependability, performance and performability
2000
-
A hierarchical feature based deformation model applied to 4D cardiac SPECT data
1999
-
A windows-based user friendly system for image analysis with partial differential equations
1999
-
Annotated memory references: A mechanism for informed cache management
1999
-
Anonymous authentication of membership in dynamic groups
1999
-
Automatic grid fitting for genetic spot array images containing guide spots
1999
-
Dependability modelling and sensitivity analysis of scheduled maintenance systems
1999
-
Edges as outliers: Anisotropic smoothing using local image statistics
1999
-
ManArray processor interconnection network: An introduction
1999
-
Morphing active contours
1999
-
Output-sensitive algorithms for uniform partitions of points
1999
-
Region tracking on surfaces deforming via level-sets methods
1999
-
Alternative computational models: A comparison of biomolecular and quantum computation extended abstract
1998
-
3-D model supported prostate biopsy simulation and evaluation
1998
-
An improved multiple variable inversion algorithm for reliability calculation
1998
-
Case-based reasoning in care-partner: Gathering evidence for evidence-based medical practice
1998
-
Constructing binary space partitions for orthogonal rectangles in practice
1998
-
On balls and bins with deletions
1998
-
Srept: Software reliability estimation and prediction tool
1998
-
Adaptive color-image embeddings for database navigation
1997
-
An initial experiment into stereochemistry-based drug design using inductive logic programming
1997
-
Cross-correlations in sparsely connected recurrent networks of spiking neurons
1997
-
Integrating hands-on work into the formal languages course via tools and programming
1997
-
Maintaining the extent of a moving point set
1997
-
On queue length moments in fork and join queuing networks with general service times
1997
-
Random neural network recognition of shaped objects in strong clutter
1997
-
Robust anisotropic diffusion: Connections between robust statistics, line processing, and anisotropic diffusion
1997
-
Robust anisotropic diffusion: Connections between robust statistics, line processing, and anisotropic diffusion
1997
-
Sensor fusion for mine detection with the RNN
1997
-
A refinement methodology for developing Data-Parallel applications
1996
-
Quasi-planar graphs have a linear number of edges
1996
-
Stereo without search
1996
-
Three dimensional object modeling via minimal surfaces
1996
-
Steady state analysis of markov regenerative SPN with age memory policy
1995
-
Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time
1995
-
Area and length preserving geometric invariant scale-spaces
1994
-
Computing depth orders and related problems
1994
-
Selection in monotone matrices and computing kth
nearest neighbors
1994
-
Techniques and tools for reliability and performance evaluation: Problems and perspectives
1994
-
A dynamic separator algorithm
1993
-
An algorithm for finding predecessors in integer sets
1993
-
Connected component and simple polygon intersection searching
1993
-
Dependability and performability analysis
1993
-
FSPNs: Fluid stochastic petri nets
1993
-
Integration of specification for modeling and specification for system design
1993
-
On the apparent duality of the kerdock and preparata codes
1993
-
Sequence based methods for data transmission and source compression
1993
-
The complexity of N-body simulation
1993
-
The role of randomness in the design of interconnection networks
1993
-
Transient analysis of deterministic and stochastic petri nets
1993
-
Caching and lemmaizing in model elimination theorem provers
1992
-
Implicit point location of line segments, with an arrangements an application to motion planning
1992
-
On range searching with semialgebraic sets
1992
-
Project CALC: Calculus as a laboratory course
1992
-
Binary covering codes and high speed data transmission
1991
-
Farthest neighbors, maximum spanning trees and related problems in higher dimensions
1991
-
Efficient parallel algorithms for optical computing with the DFT primitive
1990
-
Intersection queries in sets of disks
1990
-
On the bit-complexity of discrete solutions of PDEs: Compact multigrid
1990
-
Star unfolding of a polytope with applications
1990
-
Efficient Parallel Pseudo-Random Number Generation
1986
-
Extension of the parallel nested dissection algorithm to path algebra problems
1986
-
Fast and efficient parallel linear programming and linear least squares computations
1986
-
Probabilistic algorithms in group theory
1985
-
Deriving efficient graph algorithms (summary)
1984
-
A multiprocess network logic with temporal and spatial modalities
1983
-
On the power of probabilistic choice in synchronous parallel computations
1982
-
Minimum s-t cut of a planar undirected network in o(n log2
(n)) time
1981
-
Evaluating and differentiating a polynomial using a pseudo-witness set
-
polyTop: Software for computing topology of smooth real surfaces