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
- A lattice Boltzmann simulation of hemodynamics in a patient-specific aortic coarctation model. 7746 LNCS:17-25. 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
- Modeling infection with multi-agent dynamics. 7227 LNCS:172-179. 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
- 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
- A Markov random field framework for protein side-chain resonance assignment. 6044 LNBI:550-570. 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
- A fast, alignment-free, conservation-based method for transcription factor binding site discovery. 4955 LNBI:98-111. 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
- Nucleosome occupancy information improves de novo motif discovery. 4453 LNBI:107-121. 2007
- Reconstructing the topology of protein complexes. 4453 LNBI:32-46. 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
- DNA-based cryptography. 2950:167-188. 2004
- Deriving efficient graph algorithms. 2772:645-681. 2004
- 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
- Boosting based on a smooth margin. 3120:502-517. 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
- Semantic essence of asml: Extended abstract. 3188:240-259. 2004
- Simultaneous source location. 3122:13-26. 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
- Hiding data and structure in workflow provenance. 7108 LNCS:41-48. 2011
- Monomial ideals and planar graphs. 1719:19-28. 1999
- Contrastively Smoothed Class Alignment for Unsupervised Domain Adaptation 2021
- 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
- Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set 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
- OptORAMa: Optimal Oblivious RAM 2020
- Robocop: Multivariate state space model integrating epigenomic accessibility data to elucidate genome-wide chromatin occupancy 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
- Adaptive simultaneous multi-tenancy for GPUs 2019
- Deriving lung perfusion directly from CT image using deep convolutional neural network: A preliminary study 2019
- ICHNet: Intracerebral hemorrhage (ICH) segmentation using deep learning 2019
- Immersed Boundary Method Halo Exchange in a Hemodynamics Application 2019
- Implementing Arbitrary CRNs Using Strand Displacing Polymerase 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
- 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
- polyTop: Software for Computing Topology of Smooth Real Surfaces 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
- 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
- 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
- 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
- Uncertainty in 1D and 3D models of a fiber stimulated by an external electrode 2016
- A note on modeling retweet cascades on Twitter 2015
- Advances in visual computing: 11th international symposium, ISVC 2015 Las Vegas, NV, USA, december 14-16, 2015 proceedings, part II 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
- 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
- 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
- Learning protein-DNA interaction landscapes by integrating experimental data through computational models 2014
- Memristive radial basis function neural network for parameters adjustment of PID controller 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
- 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
- Aggregating conditionally lexicographic preferences on multi-issue domains 2012
- Relational differential prediction 2012
- A tight upper bound on the number of variables for average-case k-clique on ordered graphs 2012
- Modeling and verification of a dual chamber implantable pacemaker 2012
- Virtual human personality masks: A human computation approach to modeling verbal personalities in virtual humans 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
- Where are the academic jobs? Interactive exploration of job advertisements in geospatial and topical space 2010
- 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
- Learning and approximating the optimal strategy to commit to 2009
- Atlas-based automated segmentation of spleen and liver using adaptive enhancement estimation 2009
- First international fingerprint liveness detection competition-LivDet 2009 2009
- Multi-armed bandits with metric switching costs 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
- 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
- The stochastic machine replenishment problem 2008
- Exploring semantic social networks using virtual reality 2008
- A short introduction to computational social choice 2007
- An optimal decomposition algorithm for tree edit distance 2007
- Asymmetric synchronous collaboration within distributed teams 2007
- Dependencies between players in boolean games 2007
- From data reverence to data relevance: Model-mediated wireless sensing of the physical environment 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
- A computational model for eukaryotic directional sensing 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
- Computing a center-transversal line 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
- Invariance in kernel methods by haar-integration kernels 2005
- Margin-based ranking meets boosting in the middle 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
- 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
- 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
- Internet connected FPL 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
- 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 k^th 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
- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision 1991
- Binary covering codes and high speed data transmission 1991
- Farthest neighbors, maximum spanning trees and related problems in higher dimensions 1991
- Semantic evaluation in possibilistic logic application to min-max discrete optimisation problems 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 log² (n)) time 1981

Publication Venue For