{"task":"LaMP_5","golds":[{"id": "420", "output": "Competitive non-preemptive call control"}, {"id": "421", "output": "CBE from CL-PKE: a generic construction and efficient schemes"}, {"id": "422", "output": "A collaborative Brain-Computer Interface for improving group detection of visual targets in complex natural environments"}, {"id": "423", "output": "Generating diverse ethnic groups with genetic algorithms"}, {"id": "424", "output": "Expressing Security Properties Using Selective Interleaving Functions"}, {"id": "425", "output": "Ancestral maximum likelihood of evolutionary trees is hard."}, {"id": "426", "output": "Efficient cryptographic schemes provably as secure as subset sum"}, {"id": "427", "output": "Tracing Traitors"}, {"id": "428", "output": "Algorithmic game theory"}, {"id": "429", "output": "Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing."}, {"id": "4210", "output": "Mixed-Initiative Approaches to Global Editing in Slideware"}, {"id": "4211", "output": "Automated symbolic reachability analysis: with application to delta-notch signaling automata"}, {"id": "4212", "output": "Versatile and declarative dynamic programming using pair algebras."}, {"id": "4213", "output": "A stateless approach to connection-oriented protocols"}, {"id": "4214", "output": "What novice programmers don't know"}, {"id": "4215", "output": "A practical network coding and routing scheme based on maximum flow combination"}, {"id": "4216", "output": "Efficient weakest preconditions"}, {"id": "4217", "output": "Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning"}, {"id": "4218", "output": "A Universal Construction for Concurrent Objects"}, {"id": "4219", "output": "You are who you know: inferring user profiles in online social networks"}, {"id": "4220", "output": "Prediction models for long-term Internet prefix availability"}, {"id": "4221", "output": "CamCubeOS: a key-based network stack for 3D torus cluster topologies"}, {"id": "4222", "output": "Disjunctive Logic Programming: A Survey and Assessment"}, {"id": "4223", "output": "Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools"}, {"id": "4224", "output": "The Linear Landscape of External Contextual Languages."}, {"id": "4225", "output": "Ptc-Vanet Interactions To Prevent Highway Rail Intersection Crossing Accidents"}, {"id": "4226", "output": "Combination of Constraint Solving Techniques: An Algebraic POint of View"}, {"id": "4227", "output": "Computation of similarity: similarity search as computation"}, {"id": "4228", "output": "Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform"}, {"id": "4229", "output": "Extending model checking with dynamic analysis"}, {"id": "4230", "output": "Faster extraction of high-level minimal unsatisfiable cores"}, {"id": "4231", "output": "OpenCapSense: A rapid prototyping toolkit for pervasive interaction using capacitive sensing."}, {"id": "4232", "output": "RSVM: Reduced support vector machines"}, {"id": "4233", "output": "Stochastic Finite Learning of the Pattern Languages"}, {"id": "4234", "output": "Representing Product Family Architectures in an Extensible Architecture Description Language"}, {"id": "4235", "output": "Static checking of system behaviors using derived component assumptions"}, {"id": "4236", "output": "A Lambda Calculus of Incomplete Objects"}, {"id": "4237", "output": "JTS: tools for implementing domain-specific languages"}, {"id": "4238", "output": "On the Complexity of Boolean Functions Computed by Lazy Oracles"}, {"id": "4239", "output": "Wireless erasure networks with feedback"}, {"id": "4240", "output": "An Operational Semantics for Activity Diagrams using SMV."}, {"id": "4241", "output": "SLIQ: A Fast Scalable Classifier for Data Mining"}, {"id": "4242", "output": "Genovo: de novo assembly for metagenomes."}, {"id": "4243", "output": "Hyper-ellipsoidal conditions in XCS: rotation, linear approximation, and solution structure"}, {"id": "4244", "output": "Engineering multimedia applications on the basis of multi-structured descriptions of audiovisual contents"}, {"id": "4245", "output": "Teapot: a domain-specific language for writing cache coherence protocols"}, {"id": "4246", "output": "The Effect of Decision Satisfaction Prediction in Argumentation-Based Negotiation."}, {"id": "4247", "output": "Group decision making and Quality-of-Information in e-Health systems"}, {"id": "4248", "output": "On the effect and control of self-similar network traffic: a simulation perspective"}, {"id": "4249", "output": "On the hidden terminal problem in multi-rate ad hoc wireless networks"}, {"id": "4250", "output": "Fluid Polling System with Markov Modulated Load and Gated Discipline."}, {"id": "4251", "output": "Patch-Based Low-Rank Matrix Completion For Learning Of Shape And Motion Models From Few Training Samples"}, {"id": "4252", "output": "Slipping objects in image registration: improved motion field estimation with direction-dependent regularization."}, {"id": "4253", "output": "Storage and Retrieval of Large RDF Graph Using Hadoop and MapReduce"}, {"id": "4254", "output": "Real-time line-based motion stereo"}, {"id": "4255", "output": "VANET alert endorsement using multi-source filters"}, {"id": "4256", "output": "Supporting Scalable Peer to Peer Virtual Environments Using Frontier Sets"}, {"id": "4257", "output": "Comparing information access approaches"}, {"id": "4258", "output": "GeoTracks: Adaptive Music for Everyday Journeys."}, {"id": "4259", "output": "C-strider: type-aware heap traversal for C"}, {"id": "4260", "output": "Cooperating Distributed Grammar Systems Of Finite Index Working In Hybrid Modes"}, {"id": "4261", "output": "Decision Problems On Path-Controlled Grammars"}, {"id": "4262", "output": "How Convincing is Mr. Data's Smile: Affective Expressions of Machines"}, {"id": "4263", "output": "On message integrity in cryptographic protocols."}, {"id": "4264", "output": "Constructing explanatory process models from biological data and knowledge."}, {"id": "4265", "output": "Efficient Execution of Nondeterministic Parallel Programs on Asynchronous Systems"}, {"id": "4266", "output": "On Parsimonious Explanations for 2-D Tree- and Linearly-Ordered Data"}, {"id": "4267", "output": "Improving Release-Consistent Shared Virtual Memory using Automatic Update"}, {"id": "4268", "output": "Modeling and analyzing periodic distributed computations"}, {"id": "4269", "output": "An application of factoring"}, {"id": "4270", "output": "Multiscale simulations of blood-flow: from a platelet to an artery"}, {"id": "4271", "output": "The MAR&A Methodology to Develop Agent Systems"}, {"id": "4272", "output": "A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation"}, {"id": "4273", "output": "The Complexity of Checking Redundancy of CNF Propositional Formulae"}, {"id": "4274", "output": "A protocol's life after attacks..."}, {"id": "4275", "output": "BReLS: A System for the Integration of Knowledge Bases"}, {"id": "4276", "output": "Authenticated Key Exchange and Key Encapsulation Without Random Oracles"}, {"id": "4277", "output": "Retroactive ordering for dynamic backtracking"}, {"id": "4278", "output": "Refactoring Java programs using concurrent libraries"}, {"id": "4279", "output": "An overview of semantic search evaluation initiatives"}, {"id": "4280", "output": "Tagster - tagging-based distributed content sharing"}, {"id": "4281", "output": "Distributed User Modeling for Personalized News Delivery in Mobile Devices."}, {"id": "4282", "output": "Semantic annotation of images and videos for multimedia analysis"}, {"id": "4283", "output": "Steiner Triple Systems with High Chromatic Index."}, {"id": "4284", "output": "Scheduled Service Network Design for Freight Rail Transportation"}, {"id": "4285", "output": "Implicit depot assignments and rotations in vehicle routing heuristics."}, {"id": "4286", "output": "Optimized Pre-Compensating Compression."}, {"id": "4287", "output": "Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching"}, {"id": "4288", "output": "User Activity Patterns During Information Search"}, {"id": "4289", "output": "Interactive retrieval of complex documents"}, {"id": "4290", "output": "On the number of terms used in automatic query expansion"}, {"id": "4291", "output": "A Structural Lemma in 2-Dimensional Packing, and Its Implications on Approximability"}, {"id": "4292", "output": "Preference-based reinforcement learning: a formal framework and a policy iteration algorithm"}, {"id": "4293", "output": "Multimodal Interaction with Speech, Gestures and Haptic Feedback in a Media Center Application"}, {"id": "4294", "output": "Physically Embodied Conversational Agents As Health And Fitness Companions"}, {"id": "4295", "output": "An Eigenvalue Method for Testing Positive Definiteness of a Multivariate Form"}, {"id": "4296", "output": "A Multiexchange Local Search Algorithm for the Capacitated Facility Location Problem"}, {"id": "4297", "output": "A Sub-Optimal Second Order Sliding Mode Controller for Systems With Saturating Actuators"}, {"id": "4298", "output": "Switching controller design via convex polyhedral Lyapunov functions"}, {"id": "4299", "output": "A novel rotary dual-stage actuator positioner"}, {"id": "42100", "output": "On the Joint Source-Channel Coding Error Exponent for Discrete Memoryless Systems: Computation and Comparison with Separate Coding"}, {"id": "42101", "output": "Designing a large-scale video chat application"}, {"id": "42102", "output": "A converse duality theorem on higher-order dual models in nondifferentiable mathematical programming."}, {"id": "42103", "output": "Annotation Based Multimedia Streaming Over Wireless Networks"}, {"id": "42104", "output": "Integrated Informal Object-Oriented and Formal Modeling Techniques"}, {"id": "42105", "output": "Using trust-based information aggregation for predicting security level of systems"}, {"id": "42106", "output": "On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes"}, {"id": "42107", "output": "A Characterization of Testable Hypergraph Properties"}, {"id": "42108", "output": "Exhaustif\u00ae: a fault injection tool for distributed heterogeneous embedded systems"}, {"id": "42109", "output": "Concurrent multi-target localization, data association, and navigation for a swarm of flying sensors"}, {"id": "42110", "output": "Biometrics based observer free transferable E-cash"}, {"id": "42111", "output": "NMF: Network Mining Framework Using Topological Structure of Complex Networks"}, {"id": "42112", "output": "Gridftp-Apt: Automatic Parallelism Tuning Mechanism For Gridftp In Long-Fat Networks"}, {"id": "42113", "output": "Optimal state-feedback quadratic regulation of linear hybrid automata"}, {"id": "42114", "output": "Marking Estimation of Petri Nets With Silent Transitions"}, {"id": "42115", "output": "Instance-Based State Identification for Reinforcement Learning"}, {"id": "42116", "output": "Advanced Information Security Management Evaluation System."}, {"id": "42117", "output": "Practical and provably-secure multicasting over high-delay networks"}, {"id": "42118", "output": "The NTP experimental platform for heterogeneous wireless sensor networks"}, {"id": "42119", "output": "Improved morpho-phonological sequence processing with constraint satisfaction inference"}, {"id": "42120", "output": "Linear tabulated resolution based on Prolog control strategy"}, {"id": "42121", "output": "A Scientific Multimedia Database System for Polymer Science Experiments"}, {"id": "42122", "output": "Threshold counters with increments and decrements"}, {"id": "42123", "output": "Computing Manipulations of Ranking Systems"}, {"id": "42124", "output": "Model-Based Tests of Truisms"}, {"id": "42125", "output": "Brief Identification of linear systems with hard input nonlinearities of known structure"}, {"id": "42126", "output": "Regular induced subgraphs of a random Graph"}, {"id": "42127", "output": "Nonuniform banking for reducing memory energy consumption"}, {"id": "42128", "output": "Low-leakage robust SRAM cell design for sub-100nm technologies"}, {"id": "42129", "output": "A Two-Dimensional, Distributed Logic Architecture"}, {"id": "42130", "output": "A Derivative-Free Algorithm for Bound Constrained Optimization"}, {"id": "42131", "output": "Traffic Grooming in WDM Ring Networks with the Min-Max Objective"}, {"id": "42132", "output": "A Comparison of Allocation Policies in Wavelength Routing Networks"}, {"id": "42133", "output": "\"My child will be respected\": Parental perspectives on computers and education in Rural India"}, {"id": "42134", "output": "Full Motion Tracking In Ultrasound Using Image Speckle Information And Visual Servoing"}, {"id": "42135", "output": "Asymptotic analysis of opportunistic relaying protocols"}, {"id": "42136", "output": "Deformable Registration through Learning of Context-Specific Metric Aggregation."}, {"id": "42137", "output": "The Amiti\u00e9s system: Data-driven techniques for automated dialogue"}, {"id": "42138", "output": "Visible Light Communication Based Indoor Positioning Techniques."}, {"id": "42139", "output": "A Novel Distributed Protocol for Path Selection in Dynamic Wavelength-Routed WDM Networks."}, {"id": "42140", "output": "Extraction of periodicity vectors from structural textures using projection information"}, {"id": "42141", "output": "Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling"}, {"id": "42142", "output": "Design and Analysis of e-Government Control: the Green Corridor between Finland and Russia"}, {"id": "42143", "output": "Brief Second-order sliding-mode control of container cranes"}, {"id": "42144", "output": "Application-directed voltage scaling"}, {"id": "42145", "output": "Efficient code distribution in wireless sensor networks"}, {"id": "42146", "output": "Verifying safety critical task scheduling systems in PPTL axiom system"}, {"id": "42147", "output": "A Novel En-Route Filtering Scheme Against False Data Injection Attacks in Cyber-Physical Networked Systems"}, {"id": "42148", "output": "Minimization of symbolic relations"}, {"id": "42149", "output": "Sensor Information Representation for the Internet of Things."}, {"id": "42150", "output": "Fuzzy sliding-mode under-actuated control for autonomous dynamic balance of an electrical bicycle"}, {"id": "42151", "output": "How Do Open Source Communities Document Software Architecture: An Exploratory Survey"}, {"id": "42152", "output": "Weak pattern matching in colored graphs: Minimizing the number of connected components"}, {"id": "42153", "output": "How pseudo-boolean programming can help genome rearrangement distance computation"}, {"id": "42154", "output": "Parallel and output sensitive algorithms for combinatorial and linear algebra problems"}, {"id": "42155", "output": "Face recognition as a kronecker product equation"}, {"id": "42156", "output": "How Accurately Should We Calibrate A Massive Mimo Tdd System?"}, {"id": "42157", "output": "On Training Recurrent Networks with Truncated Backpropagation Through Time in Speech Recognition."}, {"id": "42158", "output": "Improved portability and parsing through interactive acquisition of semantic information"}, {"id": "42159", "output": "A hierarchical duration model for speech recognition based on the ANGIE framework"}, {"id": "42160", "output": "Biologically inspired mobile robot vision localization"}, {"id": "42161", "output": "Digital watermarking: new speech and image applications"}, {"id": "42162", "output": "Grover Meets Simon - Quantumly Attacking the FX-construction."}, {"id": "42163", "output": "The Effect of Regional Variation and Resolution on Geosocial Thematic Signatures for Points of Interest."}, {"id": "42164", "output": "Verification of a safety-critical railway interlocking system with real-time constraints"}, {"id": "42165", "output": "Syntactic optimizations for PSL verification"}, {"id": "42166", "output": "Aiming Perfectly in the Dark - Blind Interference Alignment through Staggered Antenna Switching"}, {"id": "42167", "output": "Capacity of ad-hoc networks with node cooperation"}, {"id": "42168", "output": "Implementation techniques for main memory database systems"}, {"id": "42169", "output": "What is scalability?"}, {"id": "42170", "output": "TLC: Transmission Line Caches"}, {"id": "42171", "output": "Enhanced Uplink Resource Allocation in Non-Orthogonal Multiple Access Systems."}, {"id": "42172", "output": "CallCab: A unified recommendation system for carpooling and regular taxicab services"}, {"id": "42173", "output": "An RF-Based System for Tracking Transceiver-Free Objects"}, {"id": "42174", "output": "Information sharing for distributed intrusion detection systems"}, {"id": "42175", "output": "Mining succinct systems of minimal generators of formal concepts"}, {"id": "42176", "output": "Detection and tracking of region-based evolving targets in sensor networks"}, {"id": "42177", "output": "Block Least Mean Squares Algorithm Over Distributed Wireless Sensor Network"}, {"id": "42178", "output": "The SKINNY Family of Block Ciphers and its Low-Latency Variant MANTIS."}, {"id": "42179", "output": "Coverage Protocol For Wireless Sensor Networks Using Distance Estimates"}, {"id": "42180", "output": "Flow-based partitioning of network testbed experiments"}, {"id": "42181", "output": "The Raid Distributed Database System"}, {"id": "42182", "output": "Active fault tolerant control design for reusable launch vehicle using adaptive sliding mode technique"}, {"id": "42183", "output": "Comparison of distributed evolutionary k-means clustering algorithms."}, {"id": "42184", "output": "Constrained space-time spreading for MIMO-CDMA systems: Tensor modeling and blind detection"}, {"id": "42185", "output": "Performance prediction for running workflows under role-based authorization mechanisms"}, {"id": "42186", "output": "An optimal algorithm for testing for safety and detecting deadlocks in locked transaction systems"}, {"id": "42187", "output": "Proving ptolemy right: the environment abstraction framework for model checking concurrent systems"}, {"id": "42188", "output": "A nonlinear blind source separation solution for removing the show-through effect in the scanned documents"}, {"id": "42189", "output": "Fusion of Hyperspectral and panchromatic images using multiresolution analysis and nonlinear PCA band reduction."}, {"id": "42190", "output": "A Visual Servoing Algorithm Based On Epipolar Geometry"}, {"id": "42191", "output": "Input-Output Realization Of Piecewise Affine State Space Models"}, {"id": "42192", "output": "Smart Cloud Marketplace - Agent-Based Platform for Trading Cloud Services"}, {"id": "42193", "output": "Approximation algorithms for the sex-equal stable marriage problem"}, {"id": "42194", "output": "A note on the relation between weak derivatives and perturbation realization"}, {"id": "42195", "output": "Towards realistic benchmarking for cloud file systems: Early experiences"}, {"id": "42196", "output": "Are You Really My Friend? Efficient And Secure Friend-Matching In Mobile Social Networks"}, {"id": "42197", "output": "Finding median in read-only memory on integer input"}, {"id": "42198", "output": "Fast Distributed Multi-Cell Scheduling with Delayed Limited-Capacity Backhaul Links"}, {"id": "42199", "output": "Efficient authentication of electronic document workflow"}, {"id": "42200", "output": "Ad Hoc Networks and Mobile Devices in Emergency Response - A Perfect Match? - (Invited Paper)"}, {"id": "42201", "output": "Discriminating among word meanings by identifying similar contexts"}, {"id": "42202", "output": "A new chaotic secure communication system"}, {"id": "42203", "output": "Robust H\u221e control for a class of cascaded nonlinear systems"}, {"id": "42204", "output": "What Makes An Instance Difficult For Black-Box 0-1 Evolutionary Multiobjective Optimizers?"}, {"id": "42205", "output": "The benefits of using multi-objectivization for mining pittsburgh partial classification rules in imbalanced and discrete data"}, {"id": "42206", "output": "Using multiobjective optimization for biclustering microarray data"}, {"id": "42207", "output": "On identifying representative relevant documents"}, {"id": "42208", "output": "Backstop: a tool for debugging runtime errors"}, {"id": "42209", "output": "Semantic Categorization of Web Services Based on Feature Space Transformation"}, {"id": "42210", "output": "Detection of Blocking Artifacts of Compressed Still Images"}, {"id": "42211", "output": "The SocioMetric Badges Corpus: A Multilevel Behavioral Dataset for Social Behavior in Complex Organizations"}, {"id": "42212", "output": "Near optimal line segment queries in simple polygons"}, {"id": "42213", "output": "Visual explanation of evidence in additive classifiers"}, {"id": "42214", "output": "PALO: a probabilistic hill-climbing algorithm"}, {"id": "42215", "output": "Adaptive smooth surface fitting with manifolds"}, {"id": "42216", "output": "Automating human-performance modeling at the millisecond level"}, {"id": "42217", "output": "Prototyping Parallel Algorithms with PROSET-Linda"}, {"id": "42218", "output": "The Complexity of Clausal Fragments of LTL."}, {"id": "42219", "output": "Automata for Ontologies."}, {"id": "42220", "output": "Multi-Dimensional Description Logics"}, {"id": "42221", "output": "A Crosslinguistic Study Of Prosodic Focus"}, {"id": "42222", "output": "A framework for defining logics"}, {"id": "42223", "output": "Semantics and proof rules of invariant based programs"}, {"id": "42224", "output": "Improved Approximation Algorithms for the Quality of Service Multicast Tree Problem"}, {"id": "42225", "output": "A Flexible Software Architecture for High Availability Computing"}, {"id": "42226", "output": "Implications of cache asymmetry on server consolidation performance"}, {"id": "42227", "output": "Structural sparse representation-based semi-supervised learning and edge detection proposal for visual tracking."}, {"id": "42228", "output": "Receding horizon tracking control of wheeled mobile robots"}, {"id": "42229", "output": "Process checkpointing primitives for fault tolerance: definitions and examples"}, {"id": "42230", "output": "Patterns And Transitions Of Query Reformulation During Web Searching"}, {"id": "42231", "output": "Extracting a Valid Boundary Representation from a Segmented Range Image"}, {"id": "42232", "output": "Unsupervised Myocardial Segmentation for Cardiac BOLD."}, {"id": "42233", "output": "A New Line Symmetry Distance Based Automatic Clustering Technique: Application To Image Segmentation"}, {"id": "42234", "output": "Validity index for crisp and fuzzy clusters"}, {"id": "42235", "output": "A new TX leakage-suppression technique for an RFID receiver using a dead-zone amplifier"}, {"id": "42236", "output": "Real-time human activity monitoring exploring multiple vision sensors"}, {"id": "42237", "output": "Cracking Hill Ciphers with Goodness-of-Fit Statistics"}, {"id": "42238", "output": "Uncalibrated Euclidean reconstruction: a review"}, {"id": "42239", "output": "Hierarchical Mix-Pooling And Its Applications To Biomedical Image Classification"}, {"id": "42240", "output": "Object Recognition Based On Binary Partition Trees"}, {"id": "42241", "output": "A hyper-heuristic for solving one and two-dimensional bin packing problems"}, {"id": "42242", "output": "2nd international workshop on living with inconsistency"}, {"id": "42243", "output": "Systems of equations over a free monoid and Ehrenfeucht's conjecture"}, {"id": "42244", "output": "A Metric Approach to Building Decision Trees Based on Goodman-Kruskal Association Index"}, {"id": "42245", "output": "Residual Generation For Fault Detection And Isolation In A Class Of Uncertain Nonlinear Systems"}, {"id": "42246", "output": "Force Sensor Integrated Surgical Forceps for Minimally Invasive Robotic Surgery."}, {"id": "42247", "output": "Automatic compartment modelling and segmentation for dynamical renal scintigraphies"}, {"id": "42248", "output": "Identifying student online discussions with unanswered questions"}, {"id": "42249", "output": "Robust feature extraction based on an asymmetric level-dependent auditory filterbank and a subband spectrum enhancement technique."}, {"id": "42250", "output": "Edge-aware smoothing through adaptive interpolation."}, {"id": "42251", "output": "Improved Bit Rate Control for Real-Time MPEG Watermarking"}, {"id": "42252", "output": "The Effect of Feedback Sampling Clock Jitter on the Performance of Direct Learning Digital Predistortion in Wideband Systems"}, {"id": "42253", "output": "Efficient multi-source multicasting in Information Centric Networks"}, {"id": "42254", "output": "Modulation Classification In Mimo Fading Channels Via Expectation Maximization With Non-Data-Aided Initialization"}, {"id": "42255", "output": "Kodak moments and Flickr diamonds: how users shape large-scale media"}, {"id": "42256", "output": "Density displays for data stream monitoring"}, {"id": "42257", "output": "Four factors of change: adaptations of everyday design"}, {"id": "42258", "output": "An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces"}, {"id": "42259", "output": "Coding and Counting Arrangements of Pseudolines"}, {"id": "42260", "output": "Self-Adaptive Evolutionary Extreme Learning Machine."}, {"id": "42261", "output": "Data-Driven Techniques in Disaster Information Management."}, {"id": "42262", "output": "Energy Efficient Estimation of Gaussian Sources over Inhomogeneous Gaussian MAC Channels"}, {"id": "42263", "output": "Translating Strong Mobility into Weak Mobility"}, {"id": "42264", "output": "A Framework for Epistemological Perspectives on Simulation."}, {"id": "42265", "output": "What good are strong specifications?"}, {"id": "42266", "output": "Analysis of random oracle instantiation scenarios for OAEP and other practical schemes"}, {"id": "42267", "output": "Intersection-Based Geographical Routing Protocol for VANETs: A Proposal and Analysis."}, {"id": "42268", "output": "Virtual Reference Feedback Tuning For Non-Linear Systems"}, {"id": "42269", "output": "An improved GLMNET for l1-regularized logistic regression"}, {"id": "42270", "output": "The cost of being object-oriented: A preliminary study"}, {"id": "42271", "output": "Improving Data Hiding Capacity Based on Hamming Code"}, {"id": "42272", "output": "Adaptive control of robot manipulators: an input-output approach"}, {"id": "42273", "output": "Is multilayer networking feasible?"}, {"id": "42274", "output": "A visual language and environment for enterprise system modelling and automation"}, {"id": "42275", "output": "Softarch: Tool Support For Integrated Software Architecture Development"}, {"id": "42276", "output": "Two Layer Web User Interface Analysis Framework Using SNN and iFIN"}, {"id": "42277", "output": "Improvement of a Convertible Undeniable Partially Blind Signature Scheme"}, {"id": "42278", "output": "Managing with web-based IT in mind"}, {"id": "42279", "output": "Transient fault prediction based on anomalies in processor events"}, {"id": "42280", "output": "Remembrance of things past: locality and memory in BDDs"}, {"id": "42281", "output": "Composable core-sets for diversity and coverage maximization"}, {"id": "42282", "output": "Minimum congestion mapping in a cloud"}, {"id": "42283", "output": "A linear time approximation scheme for makespan minimization in an open shop with release dates"}, {"id": "42284", "output": "Demystifying Information-Theoretic Clustering."}, {"id": "42285", "output": "Multiplicative updates for nonnegative quadratic programming."}, {"id": "42286", "output": "Efficient Single Frontier Bidirectional Search."}, {"id": "42287", "output": "Genetic algorithms for mentor-assisted evaluation function optimization"}, {"id": "42288", "output": "Time, clocks, and the ordering of events in a distributed system"}, {"id": "42289", "output": "A Design Methodology for Databases with Uncertain Data"}, {"id": "42290", "output": "Sorting networks on FPGAs."}, {"id": "42291", "output": "Information retrieval with APL by adaptive index and user guidance"}, {"id": "42292", "output": "Modeling elastic vessels with the LBGK method in three dimensions"}, {"id": "42293", "output": "Neural network based sensor validation scheme demonstrated on an unmanned air vehicle (UAV) model"}, {"id": "42294", "output": "Disjunctive interpolants for horn-clause verification"}, {"id": "42295", "output": "Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic"}, {"id": "42296", "output": "Better speedups using simpler parallel programming for graph connectivity and biconnectivity"}, {"id": "42297", "output": "Polymorphic algebraic data type reconstruction"}, {"id": "42298", "output": "Improving prolog programs: Refactoring for prolog"}, {"id": "42299", "output": "Rapid Fault-Space Exploration by Evolutionary Pruning"}, {"id": "42300", "output": "Privacy-Preserving Quick Authentication In Fast Roaming Networks"}, {"id": "42301", "output": "Hierarchical Verification Using Verification Diagrams"}, {"id": "42302", "output": "Ranking abstraction as a companion to predicate abstraction"}, {"id": "42303", "output": "Single-carrier transmission with iterative frequency-domain decision-feedback equalization"}, {"id": "42304", "output": "A method for parallel program generation with an application to the Booster language"}, {"id": "42305", "output": "Combined Impedance/Direct Control Of Robot Manipulators"}, {"id": "42306", "output": "Combinatorial conjectures that imply local log-concavity of graph genus polynomials"}, {"id": "42307", "output": "Cryptographic primitives based on hard learning problems"}, {"id": "42308", "output": "Almost-Everywhere Secure Computation"}, {"id": "42309", "output": "Utilizing acoustic propagation delay to design MAC protocols for underwater wireless sensor networks"}, {"id": "42310", "output": "Minimum and maximum delay problems in real-time systems"}, {"id": "42311", "output": "The four ladies of experimental evaluation"}, {"id": "42312", "output": "A Bayesian approach to feasibility determination."}, {"id": "42313", "output": "A tool for study of optimal decision trees"}, {"id": "42314", "output": "The design and implementation of zero copy MPI using commodity hardware with a high performance network"}, {"id": "42315", "output": "On a Conjecture Concerning the Petersen Graph: Part II."}, {"id": "42316", "output": "\"Program, enhance thyself!\": demand-driven pattern-oriented program enhancement"}, {"id": "42317", "output": "Automating ad hoc data representation transformations"}, {"id": "42318", "output": "Statistical Learning of Multi-view Face Detection"}, {"id": "42319", "output": "A Bayesian Estimation of Building Shape Using MCMC"}, {"id": "42320", "output": "Approximate analysis of a discrete-time tandem network of cut-through queues with blocking and bursty traffic"}, {"id": "42321", "output": "De dictionariis dynamicis pauco spatio utentibus"}, {"id": "42322", "output": "The Binomial Transform and its Application to the Analysis of Skip Lists"}, {"id": "42323", "output": "Faster Parameterized Algorithms Using Linear Programming"}, {"id": "42324", "output": "A tested semantics for getters, setters, and eval in JavaScript"}, {"id": "42325", "output": "Visualizing threads, transactions and tasks"}, {"id": "42326", "output": "Strengthening user authentication through opportunistic cryptographic identity assertions"}, {"id": "42327", "output": "Recognizable-image selection for fingerprint recognition with a mobile-device camera."}, {"id": "42328", "output": "A New Object Searching Protocol for Multi-tag RFID."}, {"id": "42329", "output": "Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG"}, {"id": "42330", "output": "Haskell on a shared-memory multiprocessor"}, {"id": "42331", "output": "An abstraction-refinement framework for trigger querying"}, {"id": "42332", "output": "Comparing trees via crossing minimization"}, {"id": "42333", "output": "Video-on-Demand Based on Delayed-Multicast: Algorithmic Support"}, {"id": "42334", "output": "Consensus Problems In Networks Of Agents With Communication Delay"}, {"id": "42335", "output": "Clustering methodologies for identifying country core competencies"}, {"id": "42336", "output": "Belief Propagation for Min-Cost Network Flow: Convergence and Correctness"}, {"id": "42337", "output": "Multimodal Interaction for Ambient Assisted Living (AAL)"}, {"id": "42338", "output": "Using metalevel techniques in a flexible toolkit for CSCW applications"}, {"id": "42339", "output": "Designing novel interactional workspaces to support face to face consultations"}, {"id": "42340", "output": "Predictive Integration of Gene Ontology-Driven Similarity and Functional Interactions."}, {"id": "42341", "output": "Optimal Online Algorithms for Multidimensional Packing Problems"}, {"id": "42342", "output": "Testing IDS using GENESIDS: Realistic Mixed Traffic Generation for IDS Evaluation."}, {"id": "42343", "output": "Generating constrained random data with uniform distribution"}, {"id": "42344", "output": "A demonstration of co-design and co-verification in a synchronous language"}, {"id": "42345", "output": "Mathematical and dynamic analysis of an ecological model with an impulsive control strategy and distributed time delay"}, {"id": "42346", "output": "Modular DAG-RNN architectures for assembling coarse protein structures."}, {"id": "42347", "output": "Layout based document image retrieval by means of XY tree reduction"}, {"id": "42348", "output": "Decision-theoretic three-way approximations of fuzzy sets."}, {"id": "42349", "output": "A new stroke-based directional feature extraction approach for handwritten Chinese character recognition"}, {"id": "42350", "output": "Packing of graphic n-tuples"}, {"id": "42351", "output": "CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems"}, {"id": "42352", "output": "Automated Cell Transport in Optical Tweezers-Assisted Microfluidic Chambers"}, {"id": "42353", "output": "A General Paradigm for A.I. Search Procedures"}, {"id": "42354", "output": "Locating human faces in a cluttered scene"}, {"id": "42355", "output": "Discovering More Precise Process Models from Event Logs by Filtering Out Chaotic Activities."}, {"id": "42356", "output": "Designing Self-Organising Emergent Systems based on Information Flows and Feedback-loops"}, {"id": "42357", "output": "Machine-assisted design of business process models using descriptor space analysis"}, {"id": "42358", "output": "Reasoning About the Behavior of Active Database Applications"}, {"id": "42359", "output": "Hybrid Compression of Bitvectors for the FM-Index"}, {"id": "42360", "output": "Only forward?: toward understanding human visual behaviour when examining search results."}, {"id": "42361", "output": "A Three-Stage Colonel Blotto Game: When To Provide More Information To An Adversary"}, {"id": "42362", "output": "Self-adapting maxflow routing algorithm for WSNs: practical issues and simulation-based assessment"}, {"id": "42363", "output": "Sampling rate conversion based on DFT and DCT"}, {"id": "42364", "output": "A Rank-by-Feature Framework for Unsupervised Multidimensional Data Exploration Using Low Dimensional Projections"}, {"id": "42365", "output": "Exploiting Regularities for Migration Decisions in a Metacomputer Environment"}, {"id": "42366", "output": "Training Data Cleaning for Text Classification"}, {"id": "42367", "output": "Ordinal Text Quantification."}, {"id": "42368", "output": "An approximate method for numerically solving fractional order optimal control problems of general form"}, {"id": "42369", "output": "Pole assignment by output feedback: A solution for 2 \u00d7 2 plants"}, {"id": "42370", "output": "Exploiting fast matrix multiplication within the level 3 BLAS"}, {"id": "42371", "output": "Component-based hardware/software co-verification for building trustworthy embedded systems"}, {"id": "42372", "output": "Counter-factual typing for debugging type errors"}, {"id": "42373", "output": "Stability of leaderless discrete-time multi-agent systems"}, {"id": "42374", "output": "Robust image watermarking based on luminance modification"}, {"id": "42375", "output": "The Case For Aggressive Partial Preloading In Broadcasting Protocols For Video-On-Demand"}, {"id": "42376", "output": "Automatic Relevance Determination in Nonnegative Matrix Factorization with the $(\\beta)$-Divergence"}, {"id": "42377", "output": "Modelling Without a Modelling Language."}, {"id": "42378", "output": "Analysis, design and control of a planar micro-robot driven by two centripetal-force actuators"}, {"id": "42379", "output": "TimeKeeper: a lightweight virtual time system for linux"}, {"id": "42380", "output": "User Authentication Using Human Cognitive Abilities"}, {"id": "42381", "output": "Ambiguous Optimistic Fair Exchange"}, {"id": "42382", "output": "Circadian phase control using observer-based back-stepping design."}, {"id": "42383", "output": "Cyclops: Wearable and Single-Piece Full-Body Gesture Input Devices"}, {"id": "42384", "output": "A Method for Modeling Clouds Based on Atmospheric Fluid Dynamics"}, {"id": "42385", "output": "Structured method for designing subsystems"}, {"id": "42386", "output": "Cost-based admission control for Internet Commerce QoS enhancement"}, {"id": "42387", "output": "Strong normalization of the dual classical sequent calculus"}, {"id": "42388", "output": "Implicit Active Shape Model Employing Boundary Classifier"}, {"id": "42389", "output": "Optimal bounding cones of vectors in three dimensions"}, {"id": "42390", "output": "Transition-Based Dependency Parsing Exploiting Supertags."}, {"id": "42391", "output": "Compilation of a dictionary of japanese functional expressions with hierarchical organization"}, {"id": "42392", "output": "GeoRep: A Flexible Tool for Spatial Representation of Line Drawings"}, {"id": "42393", "output": "A Domain Composition Approach"}, {"id": "42394", "output": "On automating Web services discovery"}, {"id": "42395", "output": "Conjunctive Query Answering for Description Logics with Transitive Roles"}, {"id": "42396", "output": "IATO: a flexible EPIC simulation environment"}, {"id": "42397", "output": "Properties and Fast Algorithms for Ternary Walsh Transform"}, {"id": "42398", "output": "Adaptive Search For Sparse Targets With Informative Priors"}, {"id": "42399", "output": "Improving the Arabic pronunciation dictionary for phone and word recognition with linguistically-based pronunciation rules"}, {"id": "42400", "output": "Reducing Cognitive Overheads in a Web Warehouse Using Reverse-Osmosis"}, {"id": "42401", "output": "Modeling and visualization techniques for virtual stenting of aneurysms and stenoses."}, {"id": "42402", "output": "Run your research: on the effectiveness of lightweight mechanization"}, {"id": "42403", "output": "Toward performance models of MPI implementations for understanding application scaling issues"}, {"id": "42404", "output": "A Layered Architecture for Supporting Optical Burst Switching"}, {"id": "42405", "output": "Enriching the Software Development Process by Formal Methods"}, {"id": "42406", "output": "No feasible interpolation for TC0-Frege proofs"}, {"id": "42407", "output": "Design and implementation of the GLIF3 guideline execution engine."}, {"id": "42408", "output": "A Temporal Database Mediator for Protocol-Based Decision Support"}, {"id": "42409", "output": "Stability of non-autonomous bidirectional associative memory neural networks with delay"}, {"id": "42410", "output": "FPGA-based Vector Processing for Matrix Operations"}, {"id": "42411", "output": "A Ubiquitous Computing Environment for Language Learning"}, {"id": "42412", "output": "Interposed request routing for scalable network storage"}, {"id": "42413", "output": "Transparent Result Caching"}, {"id": "42414", "output": "Real-time data management with clock-less reliable broadcast protocols"}, {"id": "42415", "output": "Read invisibility, virtual world consistency and probabilistic permissiveness are compatible"}, {"id": "42416", "output": "A Bibliometric/Geographic Assessment Of 40 Years Of Software Engineering Research (1969-2009)"}, {"id": "42417", "output": "Towards Automated Support for Deriving Test Data from UML Statecharts"}, {"id": "42418", "output": "Automating image segmentation verification and validation by learning test oracles"}, {"id": "42419", "output": "Information-preserving hybrid data reduction based on fuzzy-rough techniques"}, {"id": "42420", "output": "Weighted rough set learning: towards a subjective approach"}, {"id": "42421", "output": "Confidence intervals for the shapley-shubik power index in Markovian games"}, {"id": "42422", "output": "Controlling Peak Power During Scan Testing"}, {"id": "42423", "output": "Using Students as Experimental Subjects in Software Engineering Research -- A Review and Discussion of the Evidence"}, {"id": "42424", "output": "The solution of linear systems by the QIF algorithm on a wavefront array processor"}, {"id": "42425", "output": "An overview of the Inscape environment"}, {"id": "42426", "output": "Building accountability into the Internet of Things: the IoT Databox model."}, {"id": "42427", "output": "An Investigation Of Some Properties Of An Ant Algorithm"}, {"id": "42428", "output": "Text-Pose estimation in 3d using edge-direction distributions"}, {"id": "42429", "output": "Identity-Based multi-signatures from RSA"}, {"id": "42430", "output": "New Techniques for Private Stream Searching"}, {"id": "42431", "output": "Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties"}, {"id": "42432", "output": "Vee@Cloud: the virtual test lab on the cloud"}, {"id": "42433", "output": "Two-microphone source separation algorithm based on statistical modeling of angle distributions"}, {"id": "42434", "output": "A Broadcast Approach for Fading Wiretap Channels"}, {"id": "42435", "output": "A resource query interface for network-aware applications"}, {"id": "42436", "output": "Making life easier for firefighters"}, {"id": "42437", "output": "Maximum matching width: new characterizations and a fast algorithm for dominating set"}, {"id": "42438", "output": "Interval completion with few edges"}, {"id": "42439", "output": "Hypergraph-based multilevel matrix approximation for text information retrieval"}, {"id": "42440", "output": "A Sumudu Based Algorithm For Solving Differential Equations"}, {"id": "42441", "output": "Model based sliding mode control for a 3-DOF translational micro parallel positioning stage"}, {"id": "42442", "output": "Extending OpenMP to Survive the Heterogeneous Multi-Core Era"}, {"id": "42443", "output": "New Identical Radix-2^k Fast Fourier Transform Algorithms"}, {"id": "42444", "output": "Targetvue: Visual Analysis Of Anomalous User Behaviors In Online Communication Systems"}, {"id": "42445", "output": "Symbol Error Probability Analysis for Multihop Relaying over Nakagami Fading Channels"}, {"id": "42446", "output": "A highly optimized flow-correlation attack."}, {"id": "42447", "output": "A generalized contraction principle in partial metric spaces."}, {"id": "42448", "output": "Querylog-based Assessment of Retrievability Bias in a Large Newspaper Corpus."}, {"id": "42449", "output": "Finding Patterns in Protein Sequences by Using a Hybrid Multiobjective Teaching Learning Based Optimization Algorithm"}, {"id": "42450", "output": "A Primal-Dual Algorithm For Data Gathering Based On Matrix Completion For Wireless Sensor Networks"}, {"id": "42451", "output": "BlindDate recommender: A context-aware ontology-based dating recommendation platform"}, {"id": "42452", "output": "Cloud Scheduling Optimization: A Reactive Model to Enable Dynamic Deployment of Virtual Machines Instantiations"}, {"id": "42453", "output": "Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services"}, {"id": "42454", "output": "Verifying Requirements Through Mathematical Modelling And Animation"}, {"id": "42455", "output": "Reversible data hiding for JPEG images based on histogram pairs"}, {"id": "42456", "output": "Impact of Channel Estimation on Ultra-Wideband System Design"}, {"id": "42457", "output": "Converting DCT coefficients to H.264/AVC transform coefficients"}, {"id": "42458", "output": "SpokeIt: A Co-Created Speech Therapy Experience."}, {"id": "42459", "output": "Passive Detection of Correlated Subspace Signals in Two MIMO Channels."}, {"id": "42460", "output": "A unified fairness framework in multi-antenna multi-user channels."}, {"id": "42461", "output": "Second-order analysis of improper complex random vectors and processes"}, {"id": "42462", "output": "Learning a Distance Metric from Relative Comparisons between Quadruplets of Images."}, {"id": "42463", "output": "Weighted sum rate maximization with filtered multi-carrier modulations for D2D underlay communications"}, {"id": "42464", "output": "A Distributed Particle-Based Belief Propagation Algorithm For Cooperative Simultaneous Localization And Synchronization"}, {"id": "42465", "output": "On The Analysis Of Channel-Aware Schedulers In Ofdma-Based Networks Using Ffr"}, {"id": "42466", "output": "Resource Allocation in MIMO-OFDMA Wireless Systems Based on Linearly Precoded Orthogonal Space-Time Block Codes"}, {"id": "42467", "output": "A Gauss-Newton method for blind source separation of convolutive mixtures"}, {"id": "42468", "output": "Error recovery properties and soft decoding of quasi-arithmetic codes"}, {"id": "42469", "output": "Multiple description video coding and iterative decoding of LDPCA codes with side information"}, {"id": "42470", "output": "Training Signal Design and Tradeoffs for Spectrally-Efficient Multi-User MIMO-OFDM Systems."}, {"id": "42471", "output": "Bit Error Rates Of Ir-Uwb Transceiver Types At Sub-Nyquist Sampling Rates"}, {"id": "42472", "output": "A task duplication based bottom-up scheduling algorithm for heterogeneous environments"}, {"id": "42473", "output": "Distributed Model Predictive Control of Spatially Interconnected Systems Using Switched Cost Functions."}, {"id": "42474", "output": "Tentative results in focus-based medical volume visualization"}, {"id": "42475", "output": "Wireless secrecy in large-scale networks"}, {"id": "42476", "output": "A Testing Service for Lifelong Validation of Dynamic SOA"}, {"id": "42477", "output": "A Note on the Reward Function for PHD Filters with Sensor Control"}, {"id": "42478", "output": "Perceived Synchronization of Mulsemedia Services"}, {"id": "42479", "output": "Complex wavelet based quality assessment for AS-OCT images with application to Angle Closure Glaucoma diagnosis."}, {"id": "42480", "output": "Reducing energy by exploring heterogeneity in a coarse-grain fabric"}, {"id": "42481", "output": "Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution"}, {"id": "42482", "output": "ALCF MPI Benchmarks: Understanding Machine-Specific Communication Behavior"}, {"id": "42483", "output": "Improving Parallel IO Performance of Cell-based AMR Cosmology Applications"}, {"id": "42484", "output": "Effects of Display Size and Resolution on User Behavior and Insight Acquisition in Visual Exploration"}, {"id": "42485", "output": "Modelling fault dependencies when execution time budgets are exceeded"}, {"id": "42486", "output": "Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach"}, {"id": "42487", "output": "A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions"}, {"id": "42488", "output": "A performance comparison of frame structures in WiMax relay networks"}, {"id": "42489", "output": "A knowledge-based approach for business process reengineering, SHAMASH"}, {"id": "42490", "output": "Automatic Detection of Learner's Affect From Gross Body Language"}, {"id": "42491", "output": "Eurecom at TRECVid 2007: Extraction of High-level Features"}, {"id": "42492", "output": "Packing Graphs: The packing problem solved"}, {"id": "42493", "output": "Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows"}, {"id": "42494", "output": "Verifying Programs with Unreliable Channels"}, {"id": "42495", "output": "On the Traffic Disruption Time and Packet Lost Rate during the Handover Mechanisms in Wireless Networks"}, {"id": "42496", "output": "Transposition Theorems and Qualification-Free Optimality Conditions"}, {"id": "42497", "output": "Preventing bad plans by bounding the impact of cardinality estimation errors"}, {"id": "42498", "output": "Interference Channels With Destination Cooperation"}, {"id": "42499", "output": "Evaluating the Performance of a Parallel Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies on Multicore Architectures"}, {"id": "42500", "output": "Fast Available Bandwidth Sampling for ADSL Links: Rethinking the Estimation for Larger-Scale Measurements"}, {"id": "42501", "output": "Pathology of collective doxa. Automata models"}, {"id": "42502", "output": "Efficient synchronization methods for LET-based applications on a Multi-Processor System on Chip."}, {"id": "42503", "output": "Boosting analyses in the life sciences via clusters, grids and clouds."}, {"id": "42504", "output": "Axiomatic characterizations of generalized values"}, {"id": "42505", "output": "Wireless passive sensor networks"}, {"id": "42506", "output": "DC-MAC: A data-centric multi-hop MAC protocol for underwater acoustic sensor networks"}, {"id": "42507", "output": "Reciprocal frame structures made easy"}, {"id": "42508", "output": "A lower bound for irredundant Ramsey numbers"}, {"id": "42509", "output": "On the non-optimality of four color coding of image partitions"}, {"id": "42510", "output": "A Lazy Man's Approach to Benchmarking: Semisupervised Classifier Evaluation and Recalibration"}, {"id": "42511", "output": "A fractals-inspired approach to binary image database indexing and retrieval"}, {"id": "42512", "output": "Computing good nash equilibria in graphical games"}, {"id": "42513", "output": "On Counting Independent Sets in Sparse Graphs"}, {"id": "42514", "output": "Popularity vs maximum cardinality in the stable marriage setting"}, {"id": "42515", "output": "Evolution strategies \u2013A comprehensive introduction"}, {"id": "42516", "output": "Finding the WRITE Stuff: Automatic Identification of Discourse Structure in Student Essays"}, {"id": "42517", "output": "DEVELOPMENT AND EVALUATION OF AN ITALIAN BROADCAST NEWS CORPUS"}, {"id": "42518", "output": "User-Level Device Drivers: Achieved Performance"}, {"id": "42519", "output": "3D Interaction Assistance in Virtual Reality: A Semantic Reasoning Engine for Context-Awareness."}, {"id": "42520", "output": "SMART: an efficient, scalable, and robust streaming video system"}, {"id": "42521", "output": "Value and Misinformation in Collaborative Investing Platforms."}, {"id": "42522", "output": "Zeno behavior in electromechanical hybrid systems: From theory to experimental validation"}, {"id": "42523", "output": "Robust Algebraic Segmentation of Mixed Rigid-Body and Planar Motions from Two Views"}, {"id": "42524", "output": "Negatively correlated neural networks for classification"}, {"id": "42525", "output": "Stochastic ranking for constrained evolutionary optimization"}, {"id": "42526", "output": "An efficient algorithm to compute differences between structured documents"}, {"id": "42527", "output": "Q-learning using fuzzified states and weighted actions and its application to omni-direnctional mobile robot control"}, {"id": "42528", "output": "Simulating swarm behaviuors for optimisation by learning from neighbours"}, {"id": "42529", "output": "Trade-off between performance and robustness: an evolutionary multiobjective approach"}, {"id": "42530", "output": "A New Bottom-Left-Fill Heuristic Algorithm for the Two-Dimensional Irregular Packing Problem"}, {"id": "42531", "output": "Vectorizing Instance-Based Integration Processes"}, {"id": "42532", "output": "Visual decision support for ensemble clustering"}, {"id": "42533", "output": "SMSAssassin: crowdsourcing driven mobile-based system for SMS spam filtering."}, {"id": "42534", "output": "A Model-driven Approach for Software Product Lines Requirements Engineering"}, {"id": "42535", "output": "Web-GIS models: accomplishing modularity with aspects"}, {"id": "42536", "output": "Synchronization of a class of cyclic discrete-event systems describing legged locomotion"}, {"id": "42537", "output": "An empirical study on the impact of static typing on software maintainability"}, {"id": "42538", "output": "StORMeD: stack overflow ready made data"}, {"id": "42539", "output": "MDD approach for the development of context-aware applications"}, {"id": "42540", "output": "Protecting Privacy in the Cloud: Current Practices, Future Directions."}, {"id": "42541", "output": "Symbolic-interval cooperation in constraint programming"}, {"id": "42542", "output": "Korean Spacing by Improving Viterbi Segmentation"}, {"id": "42543", "output": "The Complexity Of Irredundant Sets Parameterized By Size"}, {"id": "42544", "output": "Everybody loves a rich cousin: an empirical study of transliteration through bridge languages"}, {"id": "42545", "output": "Unsupervised named entity classification models and their ensembles"}, {"id": "42546", "output": "Example-based Machine Translation Based on TSC and Statistical Generation."}, {"id": "42547", "output": "Query Expansion and Machine Translation for Robust Cross-Lingual Information Retrieval"}, {"id": "42548", "output": "Pronominal anaphora resolution in KANTOO English-to-Spanish machine translation system."}, {"id": "42549", "output": "Modelling and refinement of an on-chip communication architecture"}, {"id": "42550", "output": "Power-Efficient Inter-Layer Communication Architectures for 3D NoC"}, {"id": "42551", "output": "WorkCache: Salvaging siloed knowledge."}, {"id": "42552", "output": "Fusion strategies in multimodal biometric verification"}, {"id": "42553", "output": "Automated verification of refinement laws"}, {"id": "42554", "output": "Enumerating trichromatic triangles containing the origin in linear time"}, {"id": "42555", "output": "Exact Algorithms for a Geometric Packing Problem (Extended Abstract)"}, {"id": "42556", "output": "On Revenue Monotonicity in Combinatorial Auctions."}, {"id": "42557", "output": "Capturing entertainment through heart rate dynamics in the playware playground"}, {"id": "42558", "output": "A biased random-key genetic algorithm for the capacitated minimum spanning tree problem"}, {"id": "42559", "output": "Promoting the use of end-to-end congestion control in the Internet"}, {"id": "42560", "output": "A bijection between the d-dimensional simplices with distances in {1,2} and the partitions of d+1"}, {"id": "42561", "output": "Zipper: A compact connectivity data structure for triangle meshes"}, {"id": "42562", "output": "Filtering for uncertain 2-D discrete systems with state delays"}, {"id": "42563", "output": "Adaptive Fuzzy Control of Leader-Follower High-Order Nonlinear Multi-agent Systems with Actuator Faults"}, {"id": "42564", "output": "Robust stabilization of a class of nonlinear time-delay systems"}, {"id": "42565", "output": "The Use of Rapid Digital Game Creation to Learn Computational Thinking"}, {"id": "42566", "output": "Guest editorial special issue on monte carlo methods for statistical signal processing"}, {"id": "42567", "output": "Robust SS watermarking with improved capacity"}, {"id": "42568", "output": "Anti-Tamper Databases: Querying Encrypted Databases"}, {"id": "42569", "output": "Distributed consensus in the presence of sectional faults"}, {"id": "42570", "output": "Extended authentication integrating scheme for beyond 3g wireless networks"}, {"id": "42571", "output": "Fast Cut-and-Choose Based Protocols for Malicious and Covert Adversaries."}, {"id": "42572", "output": "New Compact CMOS Continuous-Time Low-Voltage Analog Rank-Order Filter Architecture"}, {"id": "42573", "output": "Visualization and analysis of SCImago Journal & Country Rank structure via journal clustering."}, {"id": "42574", "output": "A new consensus model for group decision making using fuzzy ontology"}, {"id": "42575", "output": "A Human-in-the-Loop Architecture for Mobile Network: From the View of Large Scale Mobile Data Traffic."}, {"id": "42576", "output": "Is the European Union Becoming a Single Publication System?"}, {"id": "42577", "output": "Envy-Free Makespan Approximation"}, {"id": "42578", "output": "On line markets for distributed object services: the MAJIC system"}, {"id": "42579", "output": "Planar Graph Coloring Avoiding Monochromatic Subgraphs: Trees and Paths Make It Difficult"}, {"id": "42580", "output": "Long Paths and Cycles Passing Through Specified Vertices Under the Average Degree Condition."}, {"id": "42581", "output": "Tur\u00e1n's theorem for pseudo-random graphs"}, {"id": "42582", "output": "System Simulation and the Sensitivity of Self-Stabilization"}, {"id": "42583", "output": "Some integer factorization algorithms using elliptic curves"}, {"id": "42584", "output": "Optimal Transport For Data Fusion In Remote Sensing"}, {"id": "42585", "output": "Learning non-linear time-scales with kernel gamma-filters"}, {"id": "42586", "output": "Nonlinear Blind Source Separation By Variational Bayesian Learning"}, {"id": "42587", "output": "Combined Classification Of Multiple Views Using Facial Corners"}, {"id": "42588", "output": "A Relational Multi-Schema Data Model and Query Language for Full Support of Schema Versioning"}, {"id": "42589", "output": "Bandwidth brokers of instantaneous and book-ahead requests for differentiated services networks"}, {"id": "42590", "output": "Active Mining of Data Streams"}, {"id": "42591", "output": "On repairing and querying inconsistent probabilistic spatio-temporal databases."}, {"id": "42592", "output": "An Parallelizing a Greedy Heuristic for Finding Small Dominant Sets"}, {"id": "42593", "output": "Initial failures in distributed computations"}, {"id": "42594", "output": "About maximum transfer rates for fast packet switching networks"}, {"id": "42595", "output": "A theory for neural networks with time delays"}, {"id": "42596", "output": "Valet Parking Without A Valet"}, {"id": "42597", "output": "Interactive local adjustment of tonal values"}, {"id": "42598", "output": "Hierarchical Colour-Shift-Keying Aided Layered Video Streaming for the Visible Light Downlink."}, {"id": "42599", "output": "Mobility management for VoIP in 3G systems: evaluation of low-latency handoff schemes"}, {"id": "42600", "output": "Improved segmentation of deep brain grey matter structures using magnetization transfer (MT) parameter maps."}, {"id": "42601", "output": "Dynamic discrimination analysis: a spatial-temporal SVM."}, {"id": "42602", "output": "Impact Analysis of Maintenance Tasks for a Distributed Object-oriented System"}, {"id": "42603", "output": "The beginner's creed."}, {"id": "42604", "output": "Using Cyclotomic Polynomials to Construct Efficient Discrete Logarithm Cryptosystems Over Finite Fields"}, {"id": "42605", "output": "Duality theorems for finite structures (characterising gaps and good characterisations)"}, {"id": "42606", "output": "A note on the perimeter of fat objects"}, {"id": "42607", "output": "Analyzing the Blogosphere for Predicting the Success of Music and Movie Products"}, {"id": "42608", "output": "Video Annotation Through Search and Graph Reinforcement Mining"}, {"id": "42609", "output": "A Domain Robust Approach For Image Dataset Construction."}, {"id": "42610", "output": "Visual Ranking of Link Structures"}, {"id": "42611", "output": "Composition of engineering web services with distributed data-flows and computations"}, {"id": "42612", "output": "Retrieval efficiency using combined indices"}, {"id": "42613", "output": "Gray Codes for AT-Free Orders via Antimatroids."}, {"id": "42614", "output": "Bandwidth of Split and Circular Permutation Graphs"}, {"id": "42615", "output": "Efficient Feedback Collection for Pay-as-you-go Source Selection."}, {"id": "42616", "output": "Dimensions of Dataspaces"}, {"id": "42617", "output": "Adaptive Query Processing and the Grid: Opportunities and Challenges"}, {"id": "42618", "output": "Algorithms for analysing related constraint business rules"}, {"id": "42619", "output": "Benefit and cost of query answering in PDMS"}, {"id": "42620", "output": "Self-Deadlocks in Disparate Scientific Data Management Systems"}, {"id": "42621", "output": "Enforcing Advance Reservations for E-Science Workflows in Service Oriented Architectures"}, {"id": "42622", "output": "Reproducing color images using custom inks"}, {"id": "42623", "output": "Fiber-driven resolution enhancement of diffusion-weighted images."}, {"id": "42624", "output": "Holographic Algorithms (Extended Abstract)"}, {"id": "42625", "output": "Quantifying the Impact of User Attentionon Fair Group Representation in Ranked Lists"}, {"id": "42626", "output": "Semantic community Web portals"}, {"id": "42627", "output": "Adapting to source properties in processing data integration queries"}, {"id": "42628", "output": "Pinstripe: eyes-free continuous input anywhere on interactive clothing."}, {"id": "42629", "output": "On the convex hull of the simple integer recourse objective function"}, {"id": "42630", "output": "FluxMap: a VANTED add-on for the visual exploration of flux distributions in biological networks."}, {"id": "42631", "output": "Can diversity in global software development be enhanced by agile software development?"}, {"id": "42632", "output": "Multiple genome alignment: chaining algorithms revisited"}, {"id": "42633", "output": "Toward Scalable Verification for Safety-Critical Deep Networks."}, {"id": "42634", "output": "An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types"}, {"id": "42635", "output": "Convergence of Iteratively Re-weighted Least Squares to Robust M-Estimators"}, {"id": "42636", "output": "Matching in Description Logics"}, {"id": "42637", "output": "Crowd Access Path Optimization: Diversity Matters"}, {"id": "42638", "output": "The worst-case capacity of wireless sensor networks"}, {"id": "42639", "output": "Unwrap mosaics: a new representation for video editing"}, {"id": "42640", "output": "A multi-national study of reading and tracing skills in novice programmers"}, {"id": "42641", "output": "Engineering fast route planning algorithms"}, {"id": "42642", "output": "Lazy learning for control design"}, {"id": "42643", "output": "A Coalgebraic Decision Procedure for NetKAT"}, {"id": "42644", "output": "Using a pitch-synchronous residual codebook for hybrid HMM/frame selection speech synthesis"}, {"id": "42645", "output": "A Listening Agent Exhibiting Variable Behaviour"}, {"id": "42646", "output": "Causal discovery in multiple models from different experiments."}, {"id": "42647", "output": "Understanding How GitHub Supports Curation Repositories."}, {"id": "42648", "output": "Learning Predictive Qualitative Models With Pade"}, {"id": "42649", "output": "A poly-algorithmic approach to simplifying elementary functions"}, {"id": "42650", "output": "PPPA: push and pull pedigree analyzer for large and complex pedigree databases"}, {"id": "42651", "output": "SWORS: a system for the efficient retrieval of relevant spatial web objects"}, {"id": "42652", "output": "Augmented Airbrush for Computer Aided Painting (CAP)"}, {"id": "42653", "output": "An Architecture with Many Operand Registers to Efficiently Execute Block-Structured Languages"}, {"id": "42654", "output": "The Practitioner's Cycles, Part 3: Implementation Opportunities"}, {"id": "42655", "output": "The bifurcating neuron network 1"}, {"id": "42656", "output": "Variance Reduction for Stochastic Gradient Optimization."}, {"id": "42657", "output": "Threshold effects in multiharmonic maximum likelihood frequency estimation"}, {"id": "42658", "output": "On exclusion regions for optimal triangulations"}, {"id": "42659", "output": "Assessing the suitability of an honest rating mechanism for the collaborative creation of structured knowledge"}, {"id": "42660", "output": "Analyzing, modelling, and specifying visual interaction"}, {"id": "42661", "output": "Evaluating visual analytics at the 2007 VAST Symposium contest."}, {"id": "42662", "output": "A Reference Implementation of the API for Media Resources"}, {"id": "42663", "output": "Macroblock-Based Progressive Fine Granularity Scalable Video Coding"}, {"id": "42664", "output": "The Enterprise Model Frame for Supporting Security Requirement Elicitation from Business Processes."}, {"id": "42665", "output": "Computing the initial states of retimed circuits"}, {"id": "42666", "output": "Minimizing production test time to detect faults in analog circuits"}, {"id": "42667", "output": "Redundancy identification and removal based on implicit state enumeration"}, {"id": "42668", "output": "Simultaneous routing and buffer insertion with restrictions on buffer locations"}, {"id": "42669", "output": "Making cyclic circuits acyclic"}, {"id": "42670", "output": "An algorithm to minimize leakage through simultaneous input vector control and circuit modification"}, {"id": "42671", "output": "Coverage Metrics for Learning-Event Datasets Based on Client-Side Monitoring"}, {"id": "42672", "output": "Sequential optimization in the absence of global reset"}, {"id": "42673", "output": "Boris A. Trakhtenbrot: academic genealogy and publications"}, {"id": "42674", "output": "Identifying and Understanding Self-Checksumming Defenses in Software"}, {"id": "42675", "output": "Methods and geometry for plane-based self-calibration"}, {"id": "42676", "output": "Variable rate speech animation synthesis"}, {"id": "42677", "output": "From Tables to Frames"}, {"id": "42678", "output": "Coupled structure-from-motion and 3D symmetry detection for urban facades"}, {"id": "42679", "output": "Deformable spanners and applications"}, {"id": "42680", "output": "Efficient Raytracing Of Deforming Point-Sampled Surfaces"}, {"id": "42681", "output": "Using information scent to model user information needs and actions and the Web"}, {"id": "42682", "output": "On classes of functions for which No Free Lunch results hold"}, {"id": "42683", "output": "Cooperative Multi-Agent Reinforcement Learning-Based Co-optimization of Cores, Caches, and On-chip Network."}, {"id": "42684", "output": "Linear Codes and Their Coordinate Ordering"}, {"id": "42685", "output": "Robust 3D Shape Correspondence in the Spectral Domain"}, {"id": "42686", "output": "Competing Fronts For Coarse-To-Fine Surface Reconstruction"}, {"id": "42687", "output": "Data-dependent MLS for faithful surface approximation"}, {"id": "42688", "output": "Near optimal geometric image scaling using oblique projection operators"}, {"id": "42689", "output": "Human-centric panoramic imaging stitching"}, {"id": "42690", "output": "Adapted Mean Variable Distance to Fuzzy-Cmeans for Effective Image Clustering"}, {"id": "42691", "output": "Using Precepts to Augment Training Set Learning"}, {"id": "42692", "output": "Distributed Stochastic Optimization of Regularized Risk via Saddle-Point Problem."}, {"id": "42693", "output": "SimpleSVM"}, {"id": "42694", "output": "The rationale behind DBPL"}, {"id": "42695", "output": "Visual comparison of software architectures"}, {"id": "42696", "output": "Concast: design and implementation of an active network service"}, {"id": "42697", "output": "Deco: declarative crowdsourcing"}, {"id": "42698", "output": "Accurate and low-delay seeking within and across mash-ups of highly-compressed videos"}, {"id": "42699", "output": "Reductions On Np And P-Selective Sets"}, {"id": "42700", "output": "The quasilinear isomorphism challenge"}, {"id": "42701", "output": "Top-Down Tree-Transducers for Infinite Trees I"}, {"id": "42702", "output": "An expert system to predict protein thermostability using decision tree"}, {"id": "42703", "output": "A Genetic Algorithm with Adaptive Mutations and Family Competition for Training Neural Networks"}, {"id": "42704", "output": "Sigma-delta modulation with i.i.d. Gaussian inputs"}, {"id": "42705", "output": "Searching edges in the overlap of two plane graphs."}, {"id": "42706", "output": "Continuous Blooming of Convex Polyhedra"}, {"id": "42707", "output": "Fully Convolutional Deep Neural Networks for Persistent Multi-Frame Multi-Object Detection in Wide Area Aerial Videos."}, {"id": "42708", "output": "Scalable search-based image annotation"}, {"id": "42709", "output": "Formulation and a Simulation-Based Algorithm for Line-Side Buffer Assignment Problem in Systems of General Assembly Line With Material Handling"}, {"id": "42710", "output": "Scaling, hierarchical modeling, and reuse in an object-oriented modeling and simulation system"}, {"id": "42711", "output": "An Overview of Formal Verification for the Time-Triggered Architecture"}, {"id": "42712", "output": "Introducng a software modeling concept in a medium-sized company"}, {"id": "42713", "output": "A comparison of mechanisms for improving mobile IP handoff latency for end-to-end TCP"}, {"id": "42714", "output": "H-Index Manipulation by Merging Articles: Models, Theory, and Experiments."}, {"id": "42715", "output": "A New Algorithm for Finding Trees with Many Leaves"}, {"id": "42716", "output": "Evaluation Of A Job Admission Algorithm For Bandwidth Constrained Grids"}, {"id": "42717", "output": "Optimizing user QoE through overlay routing, bandwidth management and dynamic transcoding"}, {"id": "42718", "output": "Evaluation of the impact of Illumina error correction tools on de novo genome assembly."}, {"id": "42719", "output": "Device-to-device communication with named data networking."}, {"id": "42720", "output": "Retrieving Information Lost By Image Denoising"}, {"id": "42721", "output": "A 20 GHz power detector with 176 mV/dB conversion gain"}, {"id": "42722", "output": "A Stochastic Game Formulation of Energy-Efficient Power Control: Equilibrium Utilities and Practical Strategies"}, {"id": "42723", "output": "Deep Learning Based Online Power Control For Large Energy Harvesting Networks"}, {"id": "42724", "output": "An Automatic Matching Method Of Object Contour Curves Based On Periodic Curvature Function"}, {"id": "42725", "output": "Secure Computation Without Authentication"}, {"id": "42726", "output": "CERTH/CEA LIST at MediaEval Placing Task 2015."}, {"id": "42727", "output": "Evolutionary Techniques for Web Caching"}, {"id": "42728", "output": "A Probabilistic, Ontological Framework for Safeguarding the Intangible Cultural Heritage."}, {"id": "42729", "output": "Combination Of Paths For Interactive Segmentation"}, {"id": "42730", "output": "A global localization approach based on Line-segment Relation Matching technique"}, {"id": "42731", "output": "A Content and Device Management Method for Multiple Contents Browsing with Multiple Devices"}, {"id": "42732", "output": "Learning Data Trend Regularities From Databases in a Dynamic Environment"}, {"id": "42733", "output": "Minimum Total Communication Power Connected Dominating Set In Wireless Networks"}, {"id": "42734", "output": "Multipath routing with topology aggregation for scalable inter-domain service provisioning in optical networks."}, {"id": "42735", "output": "A polynomial approximation scheme for problem F2/rj/Cmax"}, {"id": "42736", "output": "Symmetric Searchable Encryption with Efficient Conjunctive Keyword Search."}, {"id": "42737", "output": "Trace and testing equivalence on asynchronous processes"}, {"id": "42738", "output": "Causal-Consistent Reversibility in a Tuple-Based Language"}, {"id": "42739", "output": "Bispectrum estimators for voice activity detection and speech recognition"}, {"id": "42740", "output": "On the Limits of Planning over Belief States under Strict Uncertainty"}, {"id": "42741", "output": "A new method for solving hard satisfiability problems"}, {"id": "42742", "output": "Static and dynamic structural symmetry breaking"}, {"id": "42743", "output": "Towards Adapting Deep Visuomotor Representations from Simulated to Real Environments"}, {"id": "42744", "output": "Real-time identification and localization of body parts from depth images"}, {"id": "42745", "output": "Dense Monocular Depth Estimation In Complex Dynamic Scenes"}, {"id": "42746", "output": "Adaptive isocurve-based rendering for freeform surfaces"}, {"id": "42747", "output": "Integer point sets minimizing average pairwise L1 distance: What is the optimal shape of a town?"}, {"id": "42748", "output": "Fast algorithms for the maximum convolution problem"}, {"id": "42749", "output": "Multi-Level Shape Representation Using Global Deformations and Locally Adaptive Finite Elements"}, {"id": "42750", "output": "Dynamic Typing in Polymorphic Languages"}, {"id": "42751", "output": "Factorizations, Congruences, and the Decomposition of Automata and Systems"}, {"id": "42752", "output": "Executing loops on a fine-grained MIMD architecture"}, {"id": "42753", "output": "Performance of 60 GHz Virtual Cellular Networks Using Multiple Receiving Antennas"}, {"id": "42754", "output": "Atlas Propagation Through Template Selection."}, {"id": "42755", "output": "Exploiting Parallelism in Hardware Implementations of the DES"}, {"id": "42756", "output": "Dopamine: generalization and bonuses."}, {"id": "42757", "output": "Optimizing dialogue management with reinforcement learning: experiments with the NJFun system"}, {"id": "42758", "output": "A Variational Framework for Non-local Image Inpainting"}, {"id": "42759", "output": "Independence of certain quantities indicating subword occurrences"}, {"id": "42760", "output": "Rumor centrality: a universal source detector"}, {"id": "42761", "output": "The maude 2.0 system"}, {"id": "42762", "output": "A categorical approach to simulations"}, {"id": "42763", "output": "Process versus unfolding semantics for place/transition Petri nets"}, {"id": "42764", "output": "Composable Semantic Models for Actor Theories"}, {"id": "42765", "output": "Human Movement Recognition Based on the Stochastic Characterisation of Acceleration Data."}, {"id": "42766", "output": "Language identification from prosody without explicit features"}, {"id": "42767", "output": "Translation by iterative collaboration between monolingual users"}, {"id": "42768", "output": "Gremlin: Systematic Resilience Testing of Microservices"}, {"id": "42769", "output": "Towards automatic reverse engineering of software security configurations"}, {"id": "42770", "output": "Swap and mismatch edit distance"}, {"id": "42771", "output": "Range LCP Queries Revisited."}, {"id": "42772", "output": "Range Non-overlapping Indexing"}, {"id": "42773", "output": "Face Recognition With Learning-Based Descriptor"}, {"id": "42774", "output": "Large environment rendering using plenoptic primitives"}, {"id": "42775", "output": "Real-time smoke rendering using compensated ray marching"}, {"id": "42776", "output": "Rule-Based Modeling With DBSCAN-Based Information Granules."}, {"id": "42777", "output": "On the broadcast and validity-checking security of PKCS#1 v1.5 encryption"}, {"id": "42778", "output": "Preserving secrecy under refinement"}, {"id": "42779", "output": "Nested Weighted Limit-Average Automata of Bounded Width."}, {"id": "42780", "output": "Narcissists are easy, stepmothers are hard"}, {"id": "42781", "output": "An evaluation of randomized machine learning methods for redundant data: Predicting short and medium-term suicide risk from administrative records and risk assessments."}, {"id": "42782", "output": "Extracting natural scales using fourier descriptors"}, {"id": "42783", "output": "Formal Models for Informal GUI Designs"}, {"id": "42784", "output": "Mosaicing on adaptive manifolds"}, {"id": "42785", "output": "Agens Faber: Toward a Theory of Artefacts for MAS"}, {"id": "42786", "output": "Mission planning in unstructured environments: A reinforcement learning approach"}, {"id": "42787", "output": "Interactive Road Situation Analysis for Driver Assistance and Safety Warning Systems: Framework and Algorithms"}, {"id": "42788", "output": "Distance Visualization for Interactive 3D Implant Planning"}, {"id": "42789", "output": "Problems in formal temporal reasoning"}, {"id": "42790", "output": "Trust-based recommendation systems: an axiomatic approach"}, {"id": "42791", "output": "Fuzzy set approach to the utility, preference relations, and aggregation operators"}, {"id": "42792", "output": "Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset"}, {"id": "42793", "output": "Tests, Proofs and Refinements"}, {"id": "42794", "output": "Measuring linearity of closed curves and connected compound curves"}, {"id": "42795", "output": "Large-scale parallel breadth-first search"}, {"id": "42796", "output": "Discovering link communities in complex networks by exploiting link dynamics"}, {"id": "42797", "output": "Learning Asymmetric Co-Relevance"}, {"id": "42798", "output": "A high-performance text-independent speaker identification system based on BCDM"}, {"id": "42799", "output": "Pragmatics of Type-Directed Partial Evaluation"}, {"id": "42800", "output": "Denotational, Causal, and Operational Determinism in Event Structures"}, {"id": "42801", "output": "Online tree-based ensembles and option trees for regression on evolving data streams."}, {"id": "42802", "output": "Detailed Human Avatars from Monocular Video"}, {"id": "42803", "output": "Self-calibration of large scale camera networks"}, {"id": "42804", "output": "Capturing Relightable Human Performances under General Uncontrolled Illumination."}, {"id": "42805", "output": "Exploiting Dynamic Information in IDEs Improves Speed and Correctness of Software Maintenance Tasks"}, {"id": "42806", "output": "Supporting streams of changes during branch integration."}, {"id": "42807", "output": "Entropy-Bounded Representation of Point Grids"}, {"id": "42808", "output": "Linear-time String Indexing and Analysis in Small Space"}, {"id": "42809", "output": "Computational and structural advantages of circular boundary representation"}, {"id": "42810", "output": "On the number of lines tangent to four convex polyhedra"}, {"id": "42811", "output": "Minimum-cost coverage of point sets by disks"}, {"id": "42812", "output": "Planar And Quasi Planar Simultaneous Geometric Embedding"}, {"id": "42813", "output": "Intersection queries for curved objects (extended abstract)"}, {"id": "42814", "output": "Rhythm Complexity Measures: A Comparison of Mathematical Models of Human Perception and Performance"}, {"id": "42815", "output": "Winskel is (Almost) Right: Towards a Mechanized Semantics Textbook"}, {"id": "42816", "output": "Proving Security Protocols Correct"}, {"id": "42817", "output": "Using the local phase of the magnitude of the local structure tensor for image registration"}, {"id": "42818", "output": "RightOnTime: The Role of Timing and Unobtrusiveness in Behavior Change Support Systems."}, {"id": "42819", "output": "Fitting a Single Active Appearance Model Simultaneously to Multiple Images"}, {"id": "42820", "output": "Online Tracking of Migrating and Proliferating Cells Imaged with Phase-Contrast Microscopy"}, {"id": "42821", "output": "Scanning physical interaction behavior of 3D objects"}, {"id": "42822", "output": "Dynamic learning of heart sounds with changing noise: an ais-based multi-agent model using systemic computation"}, {"id": "42823", "output": "Reasoning about partially observed actions"}, {"id": "42824", "output": "The Structure Of Polysemy: A Study Of Multi-Sense Words Based On Wordnet"}, {"id": "42825", "output": "Qualitative Logics and Equivalences for Probabilistic Systems"}, {"id": "42826", "output": "Development of Mutual Telexistence System using Virtual Projection of Operator's Egocentric Body Images."}, {"id": "42827", "output": "Development of grip-type master hand \"MeisterGRIP\""}, {"id": "42828", "output": "Computational Aspects of M.C. Escher's Ribbon Patterns."}, {"id": "42829", "output": "A white-box AES-like implementation based on key-dependent substitution-linear transformations."}, {"id": "42830", "output": "Testing as Abstraction"}, {"id": "42831", "output": "Complexity of unification problems with associative-commutative operators"}, {"id": "42832", "output": "An E-unification algorithm for analyzing protocols that use modular exponentiation"}, {"id": "42833", "output": "Satisfiability Procedures for Combination of Theories Sharing Integer Offsets"}, {"id": "42834", "output": "Craig interpolation for linear temporal languages"}, {"id": "42835", "output": "A Decidable Characterization of Locally Testable Tree Languages"}, {"id": "42836", "output": "A study on region-based recognition of 3D faces with expression variations"}, {"id": "42837", "output": "Jitter camera: high resolution video from a low resolution detector"}, {"id": "42838", "output": "Practical approaches to varying network size in combinatorial key predistribution schemes."}, {"id": "42839", "output": "Constraint-Based Pattern Mining in Multi-relational Databases"}, {"id": "42840", "output": "Analysis and Prediction of Piano Performances Using Inductive Logic Programming"}, {"id": "42841", "output": "Automatic planning of fine motions: correctness and completeness"}, {"id": "42842", "output": "Colouring proximity graphs in the plane"}, {"id": "42843", "output": "Collective Graph Identification"}, {"id": "42844", "output": "Shape Analysis With Conformal Invariants For Multiply Connected Domains And Its Application To Analyzing Brain Morphology"}, {"id": "42845", "output": "Quantum versus Classical Learnability"}, {"id": "42846", "output": "Appearance-space texture synthesis"}, {"id": "42847", "output": "Stability of rearrangement measures in the comparison of genome sequences."}, {"id": "42848", "output": "Algorithms for Mining Share Frequent Itemsets Containing Infrequent Subsets"}, {"id": "42849", "output": "Flexible Linked Axes for multivariate data visualization."}, {"id": "42850", "output": "Extending omniscient debugging to support aspect-oriented programming"}, {"id": "42851", "output": "Cooperative Exceptions for Concurrent Objects"}, {"id": "42852", "output": "Substitution in families of languages."}, {"id": "42853", "output": "Synchronous Hybrid Message-Adversary."}, {"id": "42854", "output": "A methodology for user directed search in evolutionary design"}, {"id": "42855", "output": "A dependence maximization view of clustering"}, {"id": "42856", "output": "Effective association clusters filtering to cold-start recommendations"}, {"id": "42857", "output": "Designing mediated combat play"}, {"id": "42858", "output": "Real or unreal?: an evaluation setting for emotional characters using unreal technology"}, {"id": "42859", "output": "Signals and Comonads"}, {"id": "42860", "output": "A wait-free sorting algorithm"}, {"id": "42861", "output": "Program composition and modular verification"}, {"id": "42862", "output": "Information fusion strategies and performance bounds in packet-drop networks"}, {"id": "42863", "output": "Deformotion: Deforming Motion, Shape Average and the Joint Registration and Approximation of Structures in Images"}, {"id": "42864", "output": "Convergent Tree-Reweighted Message Passing for Energy Minimization"}, {"id": "42865", "output": "Anytime Query Answering in RDF through Evolutionary Algorithms"}, {"id": "42866", "output": "Smooth Surface Reconstruction from Noisy Clouds"}, {"id": "42867", "output": "The Mean Partition Theorem in consensus clustering."}, {"id": "42868", "output": "Fast model-based protein homology detection without alignment."}, {"id": "42869", "output": "Likelihood, probability, and knowledge"}, {"id": "42870", "output": "Coarse-graining the Dynamics of Ideal Branched Polymers"}, {"id": "42871", "output": "Packing circles and spheres on surfaces"}, {"id": "42872", "output": "Near-Regular Structure Discovery Using Linear Programming"}, {"id": "42873", "output": "The vulcan game of kal-toh: finding or making triconnected planar subgraphs"}, {"id": "42874", "output": "Binary Space Partitions for Axis-Parallel Segments, Rectangles, and Hyperrectangles"}, {"id": "42875", "output": "Fusion of multichannel local and global structural cues for photo aesthetics evaluation."}, {"id": "42876", "output": "Feature learning based on SAE-PCA network for human gesture recognition in RGBD images."}, {"id": "42877", "output": "Efficient analysis of pattern-based constraint specifications"}, {"id": "42878", "output": "Search on high degree graphs"}, {"id": "42879", "output": "A Review Of Watermarking And The Importance Of Perceptual Modeling"}, {"id": "42880", "output": "Citizen Tagger: Exploring Social Tagging Of Conversational Audio"}, {"id": "42881", "output": "An investigation of the online presence of UK universities on Instagram."}, {"id": "42882", "output": "Evolutionary design of en-route caching strategies"}, {"id": "42883", "output": "Clustering of local optima in combinatorial fitness landscapes"}, {"id": "42884", "output": "Representing concerns in source code"}, {"id": "42885", "output": "Towards formal theory of soft computing"}, {"id": "42886", "output": "Transitive approximation of fuzzy relations by alternating closures and openings"}, {"id": "42887", "output": "Well-Pointed coalgebras (extended abstract)"}, {"id": "42888", "output": "The MiniZinc Challenge 2008-2013."}, {"id": "42889", "output": "Improving the accuracy of long-term travel time prediction using heterogeneous ensembles."}, {"id": "42890", "output": "Symbolic Classification of General Two-Player Games"}, {"id": "42891", "output": "Evolving recursive programs using non-recursive scaffolding."}, {"id": "42892", "output": "Multiple cover time"}, {"id": "42893", "output": "GPS-aided recognition-based user tracking system with augmented reality in extreme large-scale areas"}, {"id": "42894", "output": "Pocket Skills: A Conversational Mobile Web App To Support Dialectical Behavioral Therapy."}, {"id": "42895", "output": "On threshold behavior in query incentive networks"}, {"id": "42896", "output": "The dynamics of repeat consumption"}, {"id": "42897", "output": "A Note on Preconditioning by Low-Stretch Spanning Trees"}, {"id": "42898", "output": "Ad Hoc PSM Protocols: Secure Computation Without Coordination."}, {"id": "42899", "output": "Efficient multi-party computation over rings"}, {"id": "42900", "output": "Universally composable two-party and multi-party secure computation"}, {"id": "42901", "output": "Timing-driven N-way decomposition"}, {"id": "42902", "output": "Variable latency speculative addition: a new paradigm for arithmetic circuit design"}, {"id": "42903", "output": "Automatic performance model construction for the fast software exploration of new hardware designs"}, {"id": "42904", "output": "Probabilistic analysis of knapsack core algorithms"}, {"id": "42905", "output": "Efficient Symmetry-Driven Fully Convolutional Network For Multimodal Brain Tumor Segmentation"}, {"id": "42906", "output": "People consistent labeling between uncalibrated cameras without planar ground assumption"}, {"id": "42907", "output": "A Cellular Structure for Online Routing of Digital Spiking Neuron Axons and Dendrites on FPGAs"}, {"id": "42908", "output": "FairplayMP: a system for secure multi-party computation"}, {"id": "42909", "output": "An ad omnia approach to defining and achieving private data analysis"}, {"id": "42910", "output": "On Projective Invariant Smoothing and Evolutions of Planar Curves and Polygons"}, {"id": "42911", "output": "Algebraic proof theory: Hypersequents and hypercompletions."}, {"id": "42912", "output": "Deep learning with hierarchical convolutional factor analysis."}, {"id": "42913", "output": "Granularity and elasticity adaptation in visual tracking"}, {"id": "42914", "output": "Maximizing user utility in video streaming applications"}, {"id": "42915", "output": "Database dynamics"}, {"id": "42916", "output": "Automorphism groups of tetravalent Cayley graphs on regular p-groups"}, {"id": "42917", "output": "Searching documents based on relevance and type"}, {"id": "42918", "output": "Private Keyword-Search for Database Systems Against Insider Attacks."}, {"id": "42919", "output": "Delegatable Authorization Program and Its Application"}, {"id": "42920", "output": "Fixed-Point Logics and Solitaire Games."}, {"id": "42921", "output": "Learning stochastic process-based models of dynamical systems from knowledge and data."}, {"id": "42922", "output": "Efficient algorithms for learning to play repeated games against computationally bounded adversaries"}, {"id": "42923", "output": "Linear feature compatibility for pattern-matching relaxation"}, {"id": "42924", "output": "Fast Matrix Multiplication by Boolean RAM in Linear Storage"}, {"id": "42925", "output": "Compositional Synthesis of Generalized Mealy Machines"}, {"id": "42926", "output": "Using Trust in Recommender Systems: An Experimental Analysis"}, {"id": "42927", "output": "Vertex- and edge-minimal and locally minimal graphs"}, {"id": "42928", "output": "On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets"}, {"id": "42929", "output": "Digital planarity-A review"}, {"id": "42930", "output": "An Optimisation-Based Approach to Mesh Smoothing: Reformulation and Extensions"}, {"id": "42931", "output": "An algebraic approach to subframe logics. Intuitionistic case"}, {"id": "42932", "output": "Dense itemsets"}, {"id": "42933", "output": "A characterization of interventional distributions in semi-Markovian causal models"}, {"id": "42934", "output": "Customizable Domain-Specific Computing"}, {"id": "42935", "output": "Motion deblurring of faces."}, {"id": "42936", "output": "Syntactic type abstraction"}, {"id": "42937", "output": "K-Nearest Neighbor Classification Using Anatomized Data."}, {"id": "42938", "output": "A Robust Reconstruction Algorithm of Displaced Butterfly Subdivision Surfaces from Unorganized Points"}, {"id": "42939", "output": "A synergistic approach to efficient interactive video retrieval"}, {"id": "42940", "output": "Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach"}, {"id": "42941", "output": "Action language BC: preliminary report"}, {"id": "42942", "output": "Probability Theory for the Brier Game"}, {"id": "42943", "output": "Synthesis fo the hardware/software interface in microcontroller-based systems"}, {"id": "42944", "output": "Paraconsistent Reasoning as an Analytic Tool"}, {"id": "42945", "output": "Extended Boolean information retrieval"}, {"id": "42946", "output": "FaCT++ description logic reasoner: system description"}, {"id": "42947", "output": "Analysis of Repeated Hashing"}, {"id": "42948", "output": "Four Conceptions of Instruction Sequence Faults"}, {"id": "42949", "output": "On the logic of iterated belief revision"}, {"id": "42950", "output": "A Web-Based Knowledge Network for Supporting Emerging Internet Applications"}, {"id": "42951", "output": "Mesh Simplification With Smooth Surface Reconstruction"}, {"id": "42952", "output": "On the Performance of Reliable Server Pooling Systems"}, {"id": "42953", "output": "The general notion of a dot-operator"}, {"id": "42954", "output": "ADENS: Efficient address determination for mobile grids"}, {"id": "42955", "output": "Belief Update, the Markovian Situation Calculus, and Discrete Event Systems"}, {"id": "42956", "output": "Simplicity in Solving the Frame Problem"}, {"id": "42957", "output": "Fast rendering of fabric micro-appearance models under directional and spherical gaussian lights."}, {"id": "42958", "output": "Methods for true energy-performance optimization"}, {"id": "42959", "output": "Gaze-directed volume rendering"}, {"id": "42960", "output": "Learning Blind Motion Deblurring"}, {"id": "42961", "output": "Monitoring quantity and quality of sleeping using WISPs"}, {"id": "42962", "output": "On the role of morphosyntactic features in Hindi dependency parsing"}, {"id": "42963", "output": "Detecting late-life depression in Alzheimer's disease through analysis of speech and language."}, {"id": "42964", "output": "Generic role assignment for wireless sensor networks"}, {"id": "42965", "output": "Capturing Layers in Image Collections with Componential Models: From the Layered Epitome to the Componential Counting Grid"}, {"id": "42966", "output": "Learning Sound Event Classifiers from Web Audio with Noisy Labels."}, {"id": "42967", "output": "Reprint of \"Virtual cut-through: A new computer communication switching technique\"."}, {"id": "42968", "output": "Testing subgraphs in large graphs"}, {"id": "42969", "output": "Data analysis tools for sensor-based science"}, {"id": "42970", "output": "Cluster computing, recursion and datalog"}, {"id": "42971", "output": "Modeling Saccadic Targeting in Visual Search"}, {"id": "42972", "output": "TeLEx: learning signal temporal logic from positive examples using tightness metric"}, {"id": "42973", "output": "Incremental evaluation of OCL constraints"}, {"id": "42974", "output": "Labeled 2-Structures"}, {"id": "42975", "output": "Mobile Channels, Implementation Within and Outside Components"}, {"id": "42976", "output": "Word sense disambiguation using Conceptual Density"}, {"id": "42977", "output": "Optimizing Procurement Decisions in Networked Virtual Enterprises"}, {"id": "42978", "output": "Fast computation of neighbor seeds."}, {"id": "42979", "output": "Complementary hashing for approximate nearest neighbor search"}, {"id": "42980", "output": "Calculating webpage importance with site structure constraints"}, {"id": "42981", "output": "Time follower's vision: a teleoperation interface with past images."}, {"id": "42982", "output": "Gravity jockey: a novel music experience with galvanic vestibular stimulation"}, {"id": "42983", "output": "A Mistake on My Part"}, {"id": "42984", "output": "\u201cGood\u201d and \u201cbad\u201d diversity in majority vote ensembles"}, {"id": "42985", "output": "Gray level requantization"}, {"id": "42986", "output": "Young people's engagement in content creation: an analysis of outliers"}, {"id": "42987", "output": "Logics with Rank Operators"}, {"id": "42988", "output": "Parameterized complexity of the arc-preserving subsequence problem"}, {"id": "42989", "output": "Report on ECIR 2016: 38th European Conference on Information Retrieval."}, {"id": "42990", "output": "Classification-Based Generation Using TAG"}, {"id": "42991", "output": "Interactive Image Inpainting Using DCT Based Exemplar Matching"}, {"id": "42992", "output": "Skeleton-enhanced line drawings for 3D models."}, {"id": "42993", "output": "Join Processing for Graph Patterns: An Old Dog with New Tricks."}, {"id": "42994", "output": "A New Data Compression Algorithm For Sources With Memory Based On Error Correcting Codes"}, {"id": "42995", "output": "An Efficient Extension to Mixture Techniques for Prediction and Decision Trees"}, {"id": "42996", "output": "A New Measure for the Study of On-Line Algorithms"}, {"id": "42997", "output": "Applications of MIRACLE: Working With Dynamic Visual Information"}, {"id": "42998", "output": "Time- and space-optimal contour computation for a set of rectangles"}, {"id": "42999", "output": "On Inner Classes"}, {"id": "421000", "output": "Combining Software and Hardware LCS for Lightweight On-Chip Learning."}, {"id": "421001", "output": "Optimized Semi-Boundary (SB) Rendering Scheme"}, {"id": "421002", "output": "OCR-Free Transcript Alignment"}, {"id": "421003", "output": "The Dissection of Three-Dimensional Geographic Information Systems"}, {"id": "421004", "output": "Enhancing OCM to Support MPI Applications"}, {"id": "421005", "output": "Commentary on \"Genetic Programming and Emergence\""}, {"id": "421006", "output": "Space-time behavior-based correlation-Or-how to tell if two underlying motion fields are similar without computing them?"}, {"id": "421007", "output": "Interactive 3D modeling of indoor environments with a consumer depth camera"}, {"id": "421008", "output": "Angle-monotone Paths in Non-obtuse Triangulations."}, {"id": "421009", "output": "I/O-efficient triangular range search and its application"}, {"id": "421010", "output": "A communication-randomness tradeoff for two-processor systems"}, {"id": "421011", "output": "Synchronous rendezvous for location-aware agents"}, {"id": "421012", "output": "STEM: a spatio-temporal miner for bursty activity"}, {"id": "421013", "output": "Lightweight Lempel-Ziv Parsing"}, {"id": "421014", "output": "Worm evolution tracking via timing analysis"}, {"id": "421015", "output": "Fast characterization of 3D simple points"}, {"id": "421016", "output": "Human Problem Solving Performance in a Fault Diagnosis Task."}, {"id": "421017", "output": "Non-Local Image Dehazing"}, {"id": "421018", "output": "Automated verification of role-based access control security models recovered from dynamic web applications"}, {"id": "421019", "output": "Scalable Filtering of XML Data for Web Services"}, {"id": "421020", "output": "Distributional Measures as Proxies for Semantic Relatedness"}, {"id": "421021", "output": "Determinate composition of FMUs for co-simulation"}, {"id": "421022", "output": "On the Robustness of ALMOST-R"}, {"id": "421023", "output": "Generating Linear Extensions Fast"}, {"id": "421024", "output": "A model of guarded recursion via generalised equilogical spaces."}, {"id": "421025", "output": "Routing and Communication in Interconnection Networks"}, {"id": "421026", "output": "Ranking feature sets for emotion models used in classroom based intelligent tutoring systems"}, {"id": "421027", "output": "Improving Completeness of Measurement Systems for Monitoring Software Development Workflows."}, {"id": "421028", "output": "Learning to Select State Machines using Expert Advice on an Autonomous Robot"}, {"id": "421029", "output": "Simulation Tool For 3d Shape Sensors Based On Fiber Bragg Gratings And Optimization Of Measurement Points"}, {"id": "421030", "output": "Extensional reasoning"}, {"id": "421031", "output": "Exploiting Entity Linking in Queries for Entity Retrieval."}, {"id": "421032", "output": "Blueprint of a Cross-Lingual Web Retrieval Collection"}, {"id": "421033", "output": "Blue-Noise Remeshing with Farthest Point Optimization"}, {"id": "421034", "output": "Designing Informative Securities"}, {"id": "421035", "output": "Viewpoint: Time for computer science to grow up"}, {"id": "421036", "output": "Revenue analysis of a family of ranking rules for keyword auctions"}, {"id": "421037", "output": "Predictive testing: amplifying the effectiveness of software testing"}, {"id": "421038", "output": "Nonparametric Online Regression while Learning the Metric"}, {"id": "421039", "output": "Tracking and viewing changes on the web"}, {"id": "421040", "output": "Cloud is not a silver bullet: a case study of cloud-based mobile browsing"}, {"id": "421041", "output": "On the feasibility of multi-site web search engines"}, {"id": "421042", "output": "The cost distribution of clustering in random probing"}, {"id": "421043", "output": "The Solution Operator of the Korteweg-de Vries Equation is Computable"}, {"id": "421044", "output": "Kernel Based Synthetic Discriminant Function for Object Recognition"}, {"id": "421045", "output": "A framework for constructing features and models for intrusion detection systems"}, {"id": "421046", "output": "Deterministic second-order patterns"}, {"id": "421047", "output": "Swarm Systems in the Visualization of Consumption Patterns."}, {"id": "421048", "output": "Identity and Location"}, {"id": "421049", "output": "Boosting Constraint Satisfaction Using Decision Trees"}, {"id": "421050", "output": "Combinatorial algorithms for the generalized circulation problem"}, {"id": "421051", "output": "On revenue maximization for agents with costly information acquisition: extended abstract"}, {"id": "421052", "output": "A lower bound for primality"}, {"id": "421053", "output": "Temporal and Real-Time Databases: A Survey"}, {"id": "421054", "output": "Ensemble of Linear Perceptrons with Confidence Level Output"}, {"id": "421055", "output": "A new multiaffine approach to B-splines"}, {"id": "421056", "output": "As-rigid-as-possible shape interpolation"}, {"id": "421057", "output": "The RACECAR heuristic for automatic function specialization on multi-core heterogeneous systems"}, {"id": "421058", "output": "Tuning of loop cache architectures to programs in embedded system design"}, {"id": "421059", "output": "Gaussian Process Behaviour in Wide Deep Neural Networks."}, {"id": "421060", "output": "Causal Termination of Multi-threaded Programs."}, {"id": "421061", "output": "Scheduling Home Hospice Care With Logic-Based Benders Decomposition"}, {"id": "421062", "output": "Comparison of relevance learning vector quantization with other metric adaptive classification methods."}, {"id": "421063", "output": "Application of an interpretable classification model on Early Folding Residues during protein folding"}, {"id": "421064", "output": "Models and selection criteria for regression and classification"}, {"id": "421065", "output": "Graphical representations of consensus belief"}, {"id": "421066", "output": "Engage: a deployment management system"}, {"id": "421067", "output": "Why we need evolutionary semantics"}, {"id": "421068", "output": "Failure to decrease the addictive usage of information technologies: A theoretical model and empirical examination of smartphone game users."}, {"id": "421069", "output": "Interface theories for concurrency and data"}, {"id": "421070", "output": "SAT-Encodings for Special Treewidth and Pathwidth."}, {"id": "421071", "output": "Individual communication complexity"}, {"id": "421072", "output": "Efficient offline algorithms for the bicriteria k-server problem and online applications"}, {"id": "421073", "output": "Learning object color models from multi-view constraints"}, {"id": "421074", "output": "Synthesizing State-Based Object Systems from LSC Specifications"}, {"id": "421075", "output": "The Variational Garrote"}, {"id": "421076", "output": "The forwarding index of communication networks"}, {"id": "421077", "output": "Look-ahead removal for total deterministic top-down tree transducers"}, {"id": "421078", "output": "Correspondence Homomorphisms to Reflexive Graphs"}, {"id": "421079", "output": "Tempest: Soft state replication in the service tier"}, {"id": "421080", "output": "Exact Algorithms for a Loading Problem with Bounded Clique Width"}, {"id": "421081", "output": "Characterizing debate performance via aggregated twitter sentiment"}, {"id": "421082", "output": "Probabilistic verification"}, {"id": "421083", "output": "Algorithms for routing in a linear lightwave network"}, {"id": "421084", "output": "Even and odd holes in cap-free graphs"}, {"id": "421085", "output": "Some facets of the simple plant location polytope"}, {"id": "421086", "output": "Spectral efficiency of CDMA downlink cellular networks with matched filter"}, {"id": "421087", "output": "Modelling And Optimising Run-Time Reconfigurable Systems"}, {"id": "421088", "output": "Model checking nash equilibria in MAD distributed systems"}, {"id": "421089", "output": "Using leases to support server-driven consistency in large-scale systems"}, {"id": "421090", "output": "Safe BDD minimization using don't cares"}, {"id": "421091", "output": "Clique-Width for 4-Vertex Forbidden Subgraphs"}, {"id": "421092", "output": "Logical analysis of data: classification with justification"}, {"id": "421093", "output": "Consequences of an algorithm for bridged graphs"}, {"id": "421094", "output": "Locally bounded coverings and factorial properties of graphs"}, {"id": "421095", "output": "A Probabilistic Analysis of Trie-Based Sorting of Large Collections of Line Segments in Spatial Databases"}, {"id": "421096", "output": "Circular Coloring the Plane"}, {"id": "421097", "output": "Pocket Hypervisors: Opportunities and Challenges."}, {"id": "421098", "output": "Ownership types for the join calculus"}, {"id": "421099", "output": "A Generative Model of Words and Relationships from Multiple Sources."}, {"id": "421100", "output": "Can entropic regularization be replaced by squared euclidean distance plus additional linear constraints"}, {"id": "421101", "output": "Cortical representation of saccular vestibular stimulation: VEMPs in fMRI"}, {"id": "421102", "output": "Facets of two Steiner arborescence polyhedra"}, {"id": "421103", "output": "On the most robust affine basis"}, {"id": "421104", "output": "A logic for uncertain probabilities"}, {"id": "421105", "output": "Enabling GPU Support for the COMPSs-Mobile Framework."}, {"id": "421106", "output": "Rate-distortion analysis of super-resolution image/video decoding"}, {"id": "421107", "output": "Semantic Scene Completion from a Single Depth Image"}, {"id": "421108", "output": "Shape and Reflectance Estimation in the Wild."}, {"id": "421109", "output": "On a conjecture of Murty and Simon on diameter 2-critical graphs"}, {"id": "421110", "output": "A note on domination and total domination in prisms."}, {"id": "421111", "output": "METhoD: A Framework for the Emulation of a Delay Tolerant Network Scenario for Media-Content Distribution in Under-Served Regions"}, {"id": "421112", "output": "Multiple invariance ESPRIT"}, {"id": "421113", "output": "Knowledge Organization Systems (KOS) in the Semantic Web: A Multi-Dimensional Review."}, {"id": "421114", "output": "Adaptation-guided retrieval: questioning the similarity assumption in reasoning"}, {"id": "421115", "output": "Origins and Learnability of Syllable Systems: A Cultural Evolutionary Model"}, {"id": "421116", "output": "Privacy-preserving network forensics"}, {"id": "421117", "output": "Communicating Processes with Value-passing and Assignments"}, {"id": "421118", "output": "Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts"}, {"id": "421119", "output": "Region of Interest Fragile Watermarking for Image Authentication"}, {"id": "421120", "output": "Detecting DNS Root Manipulation."}, {"id": "421121", "output": "A Multi-Layered Architecture For Sketch-Based Interaction Within Virtual Environments"}, {"id": "421122", "output": "A Wait-Free Classification of Loop Agreement Tasks"}, {"id": "421123", "output": "Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection."}, {"id": "421124", "output": "Human-in-the-Loop Large-Scale Predictive Maintenance of Workstations"}, {"id": "421125", "output": "Effective self-training for parsing"}, {"id": "421126", "output": "Java Based Distributed Genetic Programming On The Internet"}, {"id": "421127", "output": "Permuting Web And Social Graphs"}, {"id": "421128", "output": "Minimizing Energy Consumption for High-Performance Processing"}, {"id": "421129", "output": "Plan Recognition: from Single-Agent to Multi-Agent Plans"}, {"id": "421130", "output": "Distributed Evaluation of Continuous Equi-join Queries over Large Structured Overlay Networks"}, {"id": "421131", "output": "Updating a cracked database"}, {"id": "421132", "output": "X-device query processing by bitwise distribution"}, {"id": "421133", "output": "Dynamic Language Models for Continuously Evolving Content"}, {"id": "421134", "output": "Reliable agnostic learning"}, {"id": "421135", "output": "Randomization Beats Second Price as a Prior-Independent Auction"}, {"id": "421136", "output": "Optimising spatial and tonal data for homogeneous diffusion inpainting"}, {"id": "421137", "output": "Scale out parallel and distributed CDR stream analytics"}, {"id": "421138", "output": "Experience in Continuous analytics as a Service (CaaaS)"}, {"id": "421139", "output": "Navigational XPath: calculus and algebra"}, {"id": "421140", "output": "Polynomial/rational approximation of Minkowski sum boundary curves"}, {"id": "421141", "output": "Visualizing diffusion tensor imaging data with merging ellipsoids"}, {"id": "421142", "output": "Perceptualization: Techniques for Efffective Image Generation Visualization and Communication of Information"}, {"id": "421143", "output": "Perceptually-motivated shape exaggeration"}, {"id": "421144", "output": "Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for one-way functions in complexity theory"}, {"id": "421145", "output": "Partial order reductions for failures refinement"}, {"id": "421146", "output": "Automata for Specifying and Orchestrating Service Contracts."}, {"id": "421147", "output": "Certified Reasoning in Memory Hierarchies"}, {"id": "421148", "output": "Attack graph generation and analysis"}, {"id": "421149", "output": "Do we need to walk for effective virtual reality navigation? physical rotations alone may suffice"}, {"id": "421150", "output": "A quantitative perspective on ethics in large team science."}, {"id": "421151", "output": "The Lazy Bureaucrat scheduling problem"}, {"id": "421152", "output": "Computing Geometric Minimum-Dilation Graphs Is Np-Hard"}, {"id": "421153", "output": "A local 2-approximation algorithm for the vertex cover problem"}, {"id": "421154", "output": "SeAl: Managing Accesses and Data in Peer-to-Peer Sharing Networks"}, {"id": "421155", "output": "Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction"}, {"id": "421156", "output": "Using model checking to generate fault detecting tests"}, {"id": "421157", "output": "SocialWatch: detection of online service abuse via large-scale social graphs"}, {"id": "421158", "output": "The problem of multiple paths in a database schema"}, {"id": "421159", "output": "An Operational Approach to Consistent Query Answering."}, {"id": "421160", "output": "The complexity of the evaluation of complex algebra expressions"}, {"id": "421161", "output": "A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator"}, {"id": "421162", "output": "Cobweb: a constraint-based WEB browser"}, {"id": "421163", "output": "On the stability of the basis pursuit in the presence of noise"}, {"id": "421164", "output": "Attack, solution and verification for shared authorisation data in TCG TPM"}, {"id": "421165", "output": "Identifying Affordances for Modelling Second-Order Emergent Phenomena with the WIT Framework."}, {"id": "421166", "output": "From definition to deployment: What next for agent-based systems?"}, {"id": "421167", "output": "Decomposing constraint systems: equivalences and computational properties"}, {"id": "421168", "output": "Light field duality: concept and applications"}, {"id": "421169", "output": "Quality of LP-Based Approximations for Highly Combinatorial Problems"}, {"id": "421170", "output": "Accelerating Multi-modal Route Planning by Access-Nodes"}, {"id": "421171", "output": "Recombination Without Respect: Schema Combination and Disruption in Genetic Algorithm Grossover"}, {"id": "421172", "output": "Discovering a domain alphabet"}, {"id": "421173", "output": "A framework for implementing objects and scheduling tasks in lock-free real-time systems"}, {"id": "421174", "output": "Sensor-fingerprint based identification of images corrected for lens distortion"}, {"id": "421175", "output": "Partial correctness semantics for CP [ , | , &]"}, {"id": "421176", "output": "Single-image SVBRDF capture with a rendering-aware deep network."}, {"id": "421177", "output": "Switching with more than two colours"}, {"id": "421178", "output": "Compact CCA-Secure Encryption for Messages of Arbitrary Length"}, {"id": "421179", "output": "A System for Rapid Interactive Training of Object Detectors"}, {"id": "421180", "output": "Rodeo: Sparse Nonparametric Regression in High Dimensions"}, {"id": "421181", "output": "Risk Bounds For Mode Clustering."}, {"id": "421182", "output": "An Extension of an Automated Termination Method of Recursive Functions"}, {"id": "421183", "output": "Contexts and Ontologies in Schema Matching"}, {"id": "421184", "output": "A knowledge level software engineering methodology for agent oriented programming"}, {"id": "421185", "output": "From SHIQ and RDF to OWL: the making of a Web Ontology Language"}, {"id": "421186", "output": "A Lexical-Ontological Resource for Consumer Heathcare"}, {"id": "421187", "output": "Towards Probabilistic Bitemporal Knowledge Graphs."}, {"id": "421188", "output": "Workflow patterns in orc"}, {"id": "421189", "output": "Selecting Skyline Web Services for Multiple Users Preferences"}, {"id": "421190", "output": "Game-Theoretic analysis of a web services collaborative mechanism"}, {"id": "421191", "output": "Enriching user model ontology for handicraft domain by FOAF"}, {"id": "421192", "output": "Formal Verification of Infinite State Systems Using Boolean Methods"}, {"id": "421193", "output": "RADON: Repairable Atomic Data Object in Networks."}, {"id": "421194", "output": "Supporting embodied exploration of physical concepts in mixed digital and physical interactive settings"}, {"id": "421195", "output": "Waiting and relocation strategies in online stochastic vehicle routing"}, {"id": "421196", "output": "Weakly pancyclic graphs"}, {"id": "421197", "output": "Glyph Visualization: A Fail-Safe Design Scheme Based on Quasi-Hamming Distances."}, {"id": "421198", "output": "From mappings to modules: using mappings to identify domain-specific modules in large ontologies"}, {"id": "421199", "output": "Single-image vignetting correction using radial gradient symmetry"}, {"id": "421200", "output": "Lower bounds on treespan"}, {"id": "421201", "output": "Digital rights management for digital cinema"}, {"id": "421202", "output": "ULIXES: Building Relational Views over the Web"}, {"id": "421203", "output": "What to Study in HCI?"}, {"id": "421204", "output": "On a model of indexability and its bounds for range queries"}, {"id": "421205", "output": "Arguing about constitutive and regulative norms."}, {"id": "421206", "output": "Top-k Querying of Unknown Values under Order Constraints (Extended Version)."}, {"id": "421207", "output": "Intensional data on the web"}, {"id": "421208", "output": "Scalable information sharing in large scale distributed systems"}, {"id": "421209", "output": "Active Learning a Convex Body in Low Dimensions."}, {"id": "421210", "output": "Projections for strictness analysis"}, {"id": "421211", "output": "The effects of processor architecture on instruction memory traffic"}, {"id": "421212", "output": "VisionSketch: integrated support for example-centric programming of image processing applications"}, {"id": "421213", "output": "Super-Resolution From Unregistered and Totally Aliased Signals Using Subspace Methods"}, {"id": "421214", "output": "Combining shared-coin algorithms"}, {"id": "421215", "output": "Asynchronous Computability Theorems for t-Resilient Systems."}, {"id": "421216", "output": "Functional and structural topologies in evolved neural networks"}, {"id": "421217", "output": "Further Developments in Virtual Enterprises"}, {"id": "421218", "output": "Ecolead: A Holistic Approach To Creation And Management Of Dynamic Virtual Organizations"}, {"id": "421219", "output": "Network Conscious \u03c0-calculus: A Concurrent Semantics"}, {"id": "421220", "output": "The complexity of losing voters"}, {"id": "421221", "output": "System Support For Online Reconfiguration"}, {"id": "421222", "output": "Neural Models for Key Phrase Extraction and Question Generation."}, {"id": "421223", "output": "Use of the zero norm with linear models and kernel methods"}, {"id": "421224", "output": "Fibring Argumentation Frames."}, {"id": "421225", "output": "Leveraging program equivalence for adaptive program repair: Models and first results."}, {"id": "421226", "output": "Generic Semantic Security against a Kleptographic Adversary."}, {"id": "421227", "output": "A framework for compiling preferences in logic programs"}, {"id": "421228", "output": "Real-time surveillance video display with salience"}, {"id": "421229", "output": "Accepting Networks of Evolutionary Processors with Subregular Filters"}, {"id": "421230", "output": "Decision diagrams for linear arithmetic"}, {"id": "421231", "output": "Randomized algorithms and NLP: using locality sensitive hash function for high speed noun clustering"}, {"id": "421232", "output": "From K-Means to Higher-Way Co-Clustering: Multilinear Decomposition With Sparse Latent Factors"}, {"id": "421233", "output": "Rainbow particle imaging velocimetry for dense 3D fluid velocity imaging"}, {"id": "421234", "output": "Learning Binary Residual Representations for Domain-specific Video Streaming."}, {"id": "421235", "output": "How to avoid an AI interaction singularity."}, {"id": "421236", "output": "Using Case-Based Reasoning for Argumentation with Multiple Viewpoints"}, {"id": "421237", "output": "Graphs with large obstacle numbers"}, {"id": "421238", "output": "Extremal Problems For Transversals In Graphs With Bounded Degree"}, {"id": "421239", "output": "Table-driven and context-sensitive collage languages"}, {"id": "421240", "output": "Design milieux for learning environments in African contexts"}, {"id": "421241", "output": "CLAP: teaching data structures in a creative way"}, {"id": "421242", "output": "Learning Reliable Classifiers From Small or Incomplete Data Sets: The Naive Credal Classifier 2"}, {"id": "421243", "output": "Large Scale Distributed Simulation on the Grid"}, {"id": "421244", "output": "The Mathematical Structure of Cyberworlds"}, {"id": "421245", "output": "The design and implementation of Kaleidoscope'90-A constraint imperative programming language"}, {"id": "421246", "output": "SecPAL: Design and semantics of a decentralized authorization language"}, {"id": "421247", "output": "Simple and space-efficient minimal perfect hash functions"}, {"id": "421248", "output": "Multi-Brain games: cooperation and competition"}, {"id": "421249", "output": "Words Not Cast in Stone"}, {"id": "421250", "output": "Domain kernels for text categorization"}, {"id": "421251", "output": "Efficient Salient Foreground Detection for Images and Video using Fiedler Vectors."}, {"id": "421252", "output": "Example-based caricature generation with exaggeration"}, {"id": "421253", "output": "Analysis of physicochemical and structural properties determining HIV-1 coreceptor usage."}, {"id": "421254", "output": "Secure deletion from inverted indexes on compliance storage"}, {"id": "421255", "output": "Secondary Spectrum Auctions for Symmetric and Submodular Bidders"}, {"id": "421256", "output": "Enhanced hierarchical classification via isotonic smoothing"}, {"id": "421257", "output": "Peeling Meshed Potatoes"}, {"id": "421258", "output": "Sample spaces uniform on neighborhoods"}, {"id": "421259", "output": "Multi-User Cooperation for Channel Selection in Cognitive Radio Networks: A Bayesian Approach"}, {"id": "421260", "output": "Array Layouts for Comparison-Based Searching."}, {"id": "421261", "output": "An optimal algorithm for the Euclidean bottleneck full Steiner tree problem"}, {"id": "421262", "output": "Estimation Of Human Body Shape In Motion With Wide Clothing"}, {"id": "421263", "output": "Learning an intersection of k halfspaces over a uniform distribution"}, {"id": "421264", "output": "Stochastic power control for cellular radio systems"}, {"id": "421265", "output": "What is Type-Safe Code Reuse?"}, {"id": "421266", "output": "The complexity of pure Nash equilibria"}, {"id": "421267", "output": "Exact Algorithms for (2,1)-Labeling of Graphs"}, {"id": "421268", "output": "Convolutional Networks on Graphs for Learning Molecular Fingerprints"}, {"id": "421269", "output": "Network-Aware Operator Placement for Stream-Processing Systems"}, {"id": "421270", "output": "Asynchronous Session Types: Exceptions and Multiparty Interactions"}, {"id": "421271", "output": "Hint systems may negatively impact performance in educational games"}, {"id": "421272", "output": "Finding Arbitrary Shaped Clusters for Character Recognition"}, {"id": "421273", "output": "Approximating the diameter of planar graphs in near linear time"}, {"id": "421274", "output": "Errata for: A subexponential lower bound for the Random Facet algorithm for Parity Games."}, {"id": "421275", "output": "Why Ontology Evolution Is Essential in Modelling Scientific Discovery "}, {"id": "421276", "output": "Structure-aware sampling: flexible and accurate summarization"}, {"id": "421277", "output": "Associative search in peer to peer networks: Harnessing latent semantics"}, {"id": "421278", "output": "On the Need of Data Management in Automotive Systems"}, {"id": "421279", "output": "A Linear Logic Calculus Objects"}, {"id": "421280", "output": "Mobile-Agents for Distributed Market Computing"}, {"id": "421281", "output": "Contour-Based Large Scale Image Retrieval."}, {"id": "421282", "output": "Adaptive workspace biasing for sampling-based planners"}, {"id": "421283", "output": "Efficient hardware and software implementations for the DES"}, {"id": "421284", "output": "On the impossibility of building secure cliques-type authenticated group key agreement protocols"}, {"id": "421285", "output": "Exploiting semantics of inter-process dependencies to instantiate predefined integration patterns"}, {"id": "421286", "output": "Active Object-Oriented Database Systems for CIM Applications"}, {"id": "421287", "output": "A neural model of working memory processes in normal subjects, Parkinson's disease and schizophrenia for fMRI design and predictions"}, {"id": "421288", "output": "Real-time scalable cortical computing at 46 giga-synaptic OPS/watt with ~100\u00d7 speedup in time-to-solution and ~100,000\u00d7 reduction in energy-to-solution"}, {"id": "421289", "output": "Looking for the AI in software engineering: an applications perspective"}, {"id": "421290", "output": "\u00b5-Calculus with Explicit Points and Approximations"}, {"id": "421291", "output": "Collaborative Software Development on the Web"}, {"id": "421292", "output": "Rewriting Unions of General Conjunctive Queries Using Views"}, {"id": "421293", "output": "EM decoding of tardos traitor tracing codes."}, {"id": "421294", "output": "An introduction to simulation optimization."}, {"id": "421295", "output": "Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model"}, {"id": "421296", "output": "Admission control for media on demand services"}, {"id": "421297", "output": "A Psychoacoustically Motivated Sound Onset Detection Algorithm for Polyphonic Audio"}, {"id": "421298", "output": "Strongly Polynomial Algorithms for the Unsplittable Flow Problem"}, {"id": "421299", "output": "Mortal Multi-Armed Bandits"}, {"id": "421300", "output": "A simple related-key attack on the full SHACAL-1"}, {"id": "421301", "output": "Multi-oracle interactive protocols with constant space verifiers"}, {"id": "421302", "output": "Halfspace learning, linear programming, and nonmalicious distributions"}, {"id": "421303", "output": "Forest: a language and toolkit for programming with filestores"}, {"id": "421304", "output": "Combining control-flow integrity and static analysis for efficient and validated data sandboxing"}, {"id": "421305", "output": "Searching for shapes in cryptographic protocols"}, {"id": "421306", "output": "Animal gaits from video"}, {"id": "421307", "output": "Face image quality evaluation for ISO/IEC standards 19794-5 and 29794-5"}, {"id": "421308", "output": "Multiclass boosting SVM using different texture features in HEp-2 cell staining pattern classification"}, {"id": "421309", "output": "Parameterizable Fonts Based on Shape Components"}, {"id": "421310", "output": "Abstract model repair"}, {"id": "421311", "output": "A case-study in component-based mechanical verification of fault-tolerant programs"}, {"id": "421312", "output": "Inferring local transition functions of discrete dynamical systems from observations of system behavior."}, {"id": "421313", "output": "Constant-Factor Approximation for TSP with Disks"}, {"id": "421314", "output": "Top-K Matching Queries For Filter-Based Profile Matching In Knowledge Bases"}, {"id": "421315", "output": "Towards a framework for emergent modeling"}, {"id": "421316", "output": "Model checking concurrent linux device drivers"}, {"id": "421317", "output": "Fusing Visual and Inertial Sensors with Semantics for 3D Human Pose Estimation"}, {"id": "421318", "output": "Completeness for \u03bc-calculi: A coalgebraic approach"}, {"id": "421319", "output": "Approximating Traces"}, {"id": "421320", "output": "The medial axis of the union of inner Voronoi balls in the plane"}, {"id": "421321", "output": "Application-Specific Customization of Dynamic Profiling Mechanisms for Sensor Networks"}, {"id": "421322", "output": "A first look at the interplay of code reordering and configurable caches"}, {"id": "421323", "output": "Edge Weight Prediction in Weighted Signed Networks"}, {"id": "421324", "output": "Action Rules Mining"}, {"id": "421325", "output": "The Role of Convexity in Saddle-Point Dynamics: Lyapunov Function and Robustness."}, {"id": "421326", "output": "Structuring Content in the Fa\u00e7ade Interactive Drama Architecture"}, {"id": "421327", "output": "Family health heritage: sharing and withholding across generations"}, {"id": "421328", "output": "Empathic Embodied Interfaces: Addressing Users' Affective State: Embodied Interfaces That Address Users' Physiological State"}, {"id": "421329", "output": "Mutual Exclusion on Optical Buses"}, {"id": "421330", "output": "Classical and novel discriminant features for affect recognition from speech"}, {"id": "421331", "output": "Conditional push-pull pulsed latches with 726fJ\u00b7ps energy-delay product in 65nm CMOS"}, {"id": "421332", "output": "What are the Limitations of the Situation Calculus?"}, {"id": "421333", "output": "Boosting concolic testing via interpolation"}, {"id": "421334", "output": "Precondition inference from intermittent assertions and application to contracts on collections"}, {"id": "421335", "output": "A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic"}, {"id": "421336", "output": "A proof theoretic view of constraint programming"}, {"id": "421337", "output": "Finding all essential terms of a characteristic maxpolynomial"}, {"id": "421338", "output": "Exact and approximation algorithms for makespan minimization on unrelated parallel machines"}, {"id": "421339", "output": "Methodology for trade-off analysis when moving scientific applications to cloud"}, {"id": "421340", "output": "A Generic Process Algebra"}, {"id": "421341", "output": "Comparing Recursion, Replication, and Iteration in Process Calculi"}, {"id": "421342", "output": "Real-time surface light-field capture for augmentation of planar specular surfaces"}, {"id": "421343", "output": "Acquiring Common Sense Spatial Knowledge through Implicit Spatial Templates."}, {"id": "421344", "output": "Construction heuristics for the asymmetric TSP"}, {"id": "421345", "output": "On n-partite Tournaments with Unique n-cycle"}, {"id": "421346", "output": "Automatic Handling of Global Variables for Multi-threaded MPI Programs"}, {"id": "421347", "output": "An Empirical Study of Probability Elicitation Under Noisy-OR Assumption"}, {"id": "421348", "output": "Improved search strategies and extensions to k-medoids-based clustering algorithms"}, {"id": "421349", "output": "High-quality surface splatting on today's GPUs"}, {"id": "421350", "output": "Recent Constraint/Logic Programming Based Advances In The Solution Of The Protein Folding Problem"}, {"id": "421351", "output": "Detecting and recognizing tables in spreadsheets"}, {"id": "421352", "output": "Testing Intrusion Detection Systems in MANET: A Comprehensive Study"}, {"id": "421353", "output": "The load-distance balancing problem."}, {"id": "421354", "output": "Multilevel expander codes"}, {"id": "421355", "output": "CSP theorems for communicating B machines"}, {"id": "421356", "output": "A Negotiation Meta Strategy Combining Trade-off and Concession Moves"}, {"id": "421357", "output": "On the Relevance of Organizational Structures for a Technology of Agreement"}, {"id": "421358", "output": "Efficient use of memory bandwidth to improve network processor throughput"}, {"id": "421359", "output": "The power of play-break for automatic detection and browsing of self-consumable sport video highlights"}, {"id": "421360", "output": "Linearized cluster assignment via spectral ordering"}, {"id": "421361", "output": "Spectral embedding of graphs"}, {"id": "421362", "output": "The Impact of Accessibility and Usability on the Development of Web Applications"}, {"id": "421363", "output": "Compressedword problems for inverse monoids"}, {"id": "421364", "output": "A Markov Chain Model Checker"}, {"id": "421365", "output": "I know something you don't: the use of asymmetric personal information for interpersonal advantage"}, {"id": "421366", "output": "Automatic fine-grain locking using shape properties"}, {"id": "421367", "output": "A Boolean model of ultrafilters"}, {"id": "421368", "output": "Multi-scale 3D scene flow from binocular stereo sequences"}, {"id": "421369", "output": "On modelling multi-agent systems declaratively"}, {"id": "421370", "output": "A System For Large-Scale Visualization Of Streaming Doppler Data"}, {"id": "421371", "output": "Generalized Stauffer\u2013Grimson background subtraction for dynamic scenes"}, {"id": "421372", "output": "Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra"}, {"id": "421373", "output": "Power-efficient joint compressed sensing of multi-lead ECG signals"}, {"id": "421374", "output": "Online coloring of hypergraphs"}, {"id": "421375", "output": "A formal treatment of an abstract channel implementation using java sockets and TCP"}, {"id": "421376", "output": "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services"}, {"id": "421377", "output": "Optimal deterministic broadcasting in known topology radio networks"}, {"id": "421378", "output": "Discriminative Information Retrieval for Knowledge Discovery."}, {"id": "421379", "output": "Of passwords and people: measuring the effect of password-composition policies"}, {"id": "421380", "output": "Compositional Analysis of Contract Signing Protocols"}, {"id": "421381", "output": "Ranking Wily People Who Rank Each Other."}, {"id": "421382", "output": "Multimedia data storage and representation issues on tertiary storage subsystems: an overview"}, {"id": "421383", "output": "Sparsity Exploiting Erasure Coding For Resilient Storage And Efficient I/O Access In Delta Based Versioning Systems"}, {"id": "421384", "output": "Towards a Reference Framework for Process Concepts"}, {"id": "421385", "output": "Exploiting lookahead in parallel simulation"}, {"id": "421386", "output": "Simultaneous Multithreading: A Platform for Next-Generation Processors"}, {"id": "421387", "output": "Exploring social approach to recommend talks at research conferences"}, {"id": "421388", "output": "Technology Transfer of HCI Research Innovations: Challenges and Opportunities"}, {"id": "421389", "output": "An exploration into supporting artwork orientation in the user interface"}, {"id": "421390", "output": "Animating suspended particle explosions"}, {"id": "421391", "output": "The use of abstraction and motion in the design of social interfaces"}, {"id": "421392", "output": "On the Complexity of Entailment in Propositional Multivalued Logics"}, {"id": "421393", "output": "Efficient K-Shot Learning with Regularized Deep Networks"}, {"id": "421394", "output": "Object Instance Sharing By Enhanced Bounding Box Correspondence"}, {"id": "421395", "output": "Towards a theory on the interaction between requirements engineering and systems architecting."}, {"id": "421396", "output": "Kernel Approximation Methods for Speech Recognition."}, {"id": "421397", "output": "A holistic approach for access control policies: from formal specification to aspect-based enforcement."}, {"id": "421398", "output": "On the effect of calibration in classifier combination"}, {"id": "421399", "output": "Using Reinforcement Learning To Coordinate Better"}, {"id": "421400", "output": "An Efficient Method for Simulating Flexible Connectors"}, {"id": "421401", "output": "Gene and sample selection for cancer classification with support vectors based t-statistic"}, {"id": "421402", "output": "Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)"}, {"id": "421403", "output": "How similar is very young to 43 years of age? on the representation and comparison of polymorphic properties"}, {"id": "421404", "output": "4th Workshop on Object-Oriented Architectural Evolution"}, {"id": "421405", "output": "The fitting line problem in the laguerre geometry"}, {"id": "421406", "output": "Relationship of Sum and Vote Fusion Strategies"}, {"id": "421407", "output": "Pessimistic software lock-elision"}, {"id": "421408", "output": "Learning and inference in the presence of corrupted inputs"}, {"id": "421409", "output": "Constructing Expander Graphs by 2-Lifts and Discrepancy vs. Spectral Gap"}, {"id": "421410", "output": "Private Codes or Succinct Random Codes That Are (Almost) Perfect"}, {"id": "421411", "output": "Optimal visibility algorithms for binary images on the hypercube"}, {"id": "421412", "output": "Persistent ET0L systems"}, {"id": "421413", "output": "On semimeasures predicting Martin-L\u00f6f random sequences"}, {"id": "421414", "output": "A feature and information theoretic framework for semantic similarity and relatedness"}, {"id": "421415", "output": "Big data and its technical challenges"}, {"id": "421416", "output": "Prescient paper: multimedia document creation with document image matching"}, {"id": "421417", "output": "Two-Dimensional Parameterized Matching."}, {"id": "421418", "output": "A novel compiler support for automatic parallelization on multicore systems."}, {"id": "421419", "output": "An inspector-executor algorithm for irregular assignment parallelization"}, {"id": "421420", "output": "A preliminary survey of artificial intelligence machines"}, {"id": "421421", "output": "A Flexible Framework for Defeasible Logics"}, {"id": "421422", "output": "A Pattern Language for Decentralized Coordination and Negotiation Protocols"}, {"id": "421423", "output": "On the domain and dimension hierarchy of matrix interpretations"}, {"id": "421424", "output": "Quick Maximum Power Point Tracking of Photovoltaic Using Online Learning Neural Network"}, {"id": "421425", "output": "New Issues in Object Interoperability"}, {"id": "421426", "output": "Experiences with component-oriented technologies in nuclear power plant simulators"}, {"id": "421427", "output": "Crawl-based analysis of web applications: Prospects and challenges."}, {"id": "421428", "output": "Identifying patterns and structural influences in the scientific communication of business knowledge"}, {"id": "421429", "output": "Contextual rule-based feature engineering for author-paper identification"}, {"id": "421430", "output": "Location and Routing Models for Emergency Response Plans with Priorities."}, {"id": "421431", "output": "An algorithm to enumerate all possible protein conformations verifying a set of distance constraints."}, {"id": "421432", "output": "Fibring of Logics as a Categorial Construction."}, {"id": "421433", "output": "QoS analysis for web service compositions based on probabilistic qos"}, {"id": "421434", "output": "3D object classification and retrieval with Spherical CNNs."}, {"id": "421435", "output": "Using the OPT improvement approach in the SQL/DS development environment"}, {"id": "421436", "output": "Information-theoretic analysis of interscale and intrascale dependencies between image wavelet coefficients."}, {"id": "421437", "output": "Seamster: inconspicuous low-distortion texture seam layout"}, {"id": "421438", "output": "Tracking Articulating Objects from Ground Vehicles using Mixtures of Mixtures"}, {"id": "421439", "output": "Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions"}, {"id": "421440", "output": "Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations."}, {"id": "421441", "output": "Privacy Aware Data Generation for Testing Database Applications"}, {"id": "421442", "output": "A composite run-to-the-bank rule for multi-issue allocation situations"}, {"id": "421443", "output": "Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems"}, {"id": "421444", "output": "Possibilistic logic: a retrospective and prospective view"}, {"id": "421445", "output": "A New Definition of Morphism on Petri Nets"}, {"id": "421446", "output": "Toward a Myers-Briggs type indicator model of agent behavior in multiagent teams"}, {"id": "421447", "output": "DNA Computing Based on Splicing: The Existence of Universal Computers"}, {"id": "421448", "output": "Address and traffic dynamics in a large enterprise network"}, {"id": "421449", "output": "Online Macro Generation for Privacy Preserving Planning."}, {"id": "421450", "output": "A rank-aggregation approach to searching for optimal query-specific clusters"}, {"id": "421451", "output": "On Dart-Free Perfectly Contractile Graphs. Extended Abstract"}, {"id": "421452", "output": "Dealing with unknown words in statistical machine translation."}, {"id": "421453", "output": "Facial expression recognition using a dynamic model and motion energy"}, {"id": "421454", "output": "Architecture-Centric Methods and Agile Approaches."}, {"id": "421455", "output": "Access Control Based on Execution History"}, {"id": "421456", "output": "A topographic-awareness and situational-perception based mobility model with artificial bee colony algorithm for tactical MANET."}, {"id": "421457", "output": "Boosting Chinese Question Answering with Two Lightweight Methods: ABSPs and SCO-QAT"}, {"id": "421458", "output": "A Trajectory for Validating Computational Emulation Models of Organizations"}, {"id": "421459", "output": "Processor Allocation and Task Scheduling of Matrix Chain Products on Parallel Systems"}, {"id": "421460", "output": "Dynamic load balancing for switch-based networks"}, {"id": "421461", "output": "Data Modeling and Querying in the PIQ Image DBMS"}, {"id": "421462", "output": "Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction"}, {"id": "421463", "output": "The intrinsic dimensionality of graphs"}, {"id": "421464", "output": "Guest Editors' Introduction: Social Media and Search"}, {"id": "421465", "output": "A Complete Characterization of Complexity for Boolean Constraint Optimization Problems"}, {"id": "421466", "output": "Interactive image search by 2D semantic map"}, {"id": "421467", "output": "Video-based handwritten Chinese character recognition"}, {"id": "421468", "output": "Automatic Support for Irregular Computations in a High-Level Language"}, {"id": "421469", "output": "Automatic Data Path Generation from C code for Custom Processors"}, {"id": "421470", "output": "Early nested word automata for XPath query answering on XML streams"}, {"id": "421471", "output": "Face Recognition Based on a Gabor-2DFisherface Approach with Selecting 2D Gabor Principal Components and Discriminant Vectors"}, {"id": "421472", "output": "A source enumeration method based on subspace orthogonality and bootstrap technique."}, {"id": "421473", "output": "The average height of binary trees and other simple trees"}, {"id": "421474", "output": "Mixed graph colorings"}, {"id": "421475", "output": "Provably Secure and Practical Onion Routing"}, {"id": "421476", "output": "How to break another \"provably secure\" payment system"}, {"id": "421477", "output": "State of the art in electronic payment systems"}, {"id": "421478", "output": "Interacting with large displays from a distance with vision-tracked multi-finger gestural input"}, {"id": "421479", "output": "Inferring decision trees using the minimum description length principle"}, {"id": "421480", "output": "How many multiword expressions do people know?"}, {"id": "421481", "output": "Gesch\u00e4ftsprozessmodellierung: Die \"Killer-Applikation\" f\u00fcr Petrinetze."}, {"id": "421482", "output": "High-Quality Depth Recovery via Interactive Multi-view Stereo"}, {"id": "421483", "output": "Matting and compositing of transparent and refractive objects"}, {"id": "421484", "output": "A simple normal enhancement technique for interactive non-photorealistic renderings"}, {"id": "421485", "output": "Combating click fraud via premium clicks"}, {"id": "421486", "output": "Repeated Sampling to Improve Classifier Accuracy"}, {"id": "421487", "output": "Pricing, provisioning and peering: dynamic markets for differentiated Internet services and implications for network interconnections"}, {"id": "421488", "output": "Viewstation applications: intelligent video processing over a broadband local area network"}, {"id": "421489", "output": "Physiognomy master: a novel personality analysis system based on facial features"}, {"id": "421490", "output": "Disambiguating Stereoscopic Transparency using a Thaumatrope Approach"}, {"id": "421491", "output": "Using Semantic Graphs For Image Search"}, {"id": "421492", "output": "IRM Enforcement of Java Stack Inspection"}, {"id": "421493", "output": "Typestate Checking of Machine Code"}, {"id": "421494", "output": "Remote load-sensitive caching for multi-server database systems"}, {"id": "421495", "output": "Matrix register file and extended subwords: two techniques for embedded media processors"}, {"id": "421496", "output": "Historical pedigree reconstruction from extant populations using PArtitioning of RElatives (PREPARE)."}, {"id": "421497", "output": "Kleene Modules"}, {"id": "421498", "output": "Kleene algebra with domain"}, {"id": "421499", "output": "A pattern language for extensible program representation"}, {"id": "421500", "output": "A cost-benefit framework for making architectural decisions in a business context"}, {"id": "421501", "output": "Constrained Source-Based Morphometry Identifies Structural Networks Associated With Default Mode Network"}, {"id": "421502", "output": "Influence Function of Multiple Kernel Canonical Analysis to Identify Outliers in Imaging Genetics Data."}, {"id": "421503", "output": "A Type-based Framework for Program Analysis"}, {"id": "421504", "output": "Probabilistic Copeland Tournaments"}, {"id": "421505", "output": "From Human Knowledge to Process Models"}, {"id": "421506", "output": "On the Slater condition for the SDP relaxations of nonconvex sets"}, {"id": "421507", "output": "A formal security analysis of an OSA/Parlay authentication interface"}, {"id": "421508", "output": "Service integration via target-transparent mediation"}, {"id": "421509", "output": "Data-Driven Mapping Using Local Patterns"}, {"id": "421510", "output": "Dynamic Attribute Based Vehicle Authentication"}, {"id": "421511", "output": "Maturation and the Evolution of Imitative Learning in Artificial Organisms"}, {"id": "421512", "output": "Planning under uncertainty in the continuous domain: A generalized belief space approach"}, {"id": "421513", "output": "A Planning Heuristic Based on Causal Graph Analysis"}, {"id": "421514", "output": "Plan Sharing: Showcasing Coordinated Uav Formation Flight"}, {"id": "421515", "output": "Abstract Interpretation of Mobile Ambients"}, {"id": "421516", "output": "A hoare-like proof system for analysing the computation time of programs"}, {"id": "421517", "output": "Community-centric vanilla-rollback access, or: how i stopped worrying and learned to love my computer"}, {"id": "421518", "output": "Gene networks associated with conditional fear in mice identified using a systems genetics approach."}, {"id": "421519", "output": "Contextual array grammars and array P systems"}, {"id": "421520", "output": "Pixelated image abstraction with integrated user constraints."}, {"id": "421521", "output": "Live Participant's Action Recognition for Virtual Reality Interactions"}, {"id": "421522", "output": "Perspective Projection through Parallel Projected Slabs for Virtual Endoscopy."}, {"id": "421523", "output": "Strategy-Based Warm Starting for Regret Minimization in Games."}, {"id": "421524", "output": "Kinetic connectivity of rectangles"}, {"id": "421525", "output": "Soft shadow art"}, {"id": "421526", "output": "Hierarchical mesh decomposition using fuzzy clustering and cuts"}, {"id": "421527", "output": "An approximate muscle guided global optimization algorithm for the Three-Index Assignment Problem"}, {"id": "421528", "output": "Scalable Representative Instance Selection and Ranking"}, {"id": "421529", "output": "Unsupervised Activity Recognition Using Latent Semantic Analysis on a Mobile Robot."}, {"id": "421530", "output": "Constrained Fairing For Meshes"}, {"id": "421531", "output": "Experimental Study of Non-oblivious Greedy and Randomized Rounding Algorithms for Hypergraph b-Matching"}, {"id": "421532", "output": "Constructing Consensus Ontologies for the Semantic Web: A Conceptual Approach"}, {"id": "421533", "output": "\u201cScrap your boilerplate\u201d reloaded"}, {"id": "421534", "output": "Toric Ideals of Phylogenetic Invariants."}, {"id": "421535", "output": "Association Rules... and What's Next? Towards Second Generation Data Mining Systems"}, {"id": "421536", "output": "Order Independent Homotopic Thinning"}, {"id": "421537", "output": "Identifying Unknown Unknowns in the Open World: Representations and Policies for Guided Exploration."}, {"id": "421538", "output": "Sequences of spanning trees and a fixed tree theorem"}, {"id": "421539", "output": "A Model for Data Warehouse Operational Processes"}, {"id": "421540", "output": "Process algebra with propositional signals"}, {"id": "421541", "output": "Improving the matching precision of SIFT"}, {"id": "421542", "output": "An Ensemble of Deep Support Vector Machines for Image Categorization"}, {"id": "421543", "output": "A Robust Clustering Algorithm For Interval Data"}, {"id": "421544", "output": "A robust clustering procedure for fuzzy data"}, {"id": "421545", "output": "End-to-end performance forecasting: finding bottlenecks before they happen"}, {"id": "421546", "output": "A Tesseral Approach to n-Dimensional Spatial Reasoning"}, {"id": "421547", "output": "Bidding for Representative Allocations for Display Advertising"}, {"id": "421548", "output": "Dimensionality Reduction for Active Learning with Nearest Neighbour Classifier in Text Categorisation Problems"}, {"id": "421549", "output": "Personal Space Modeling for Human-Computer Interaction"}, {"id": "421550", "output": "Visual simulation of multiple unmixable fluids"}, {"id": "421551", "output": "Using Decision Tree Learning to Predict Workflow Activity Time Consumption."}, {"id": "421552", "output": "Hierarchical Topological Inference on Planar Disc Maps"}, {"id": "421553", "output": "Re-cinematography: Improving the camerawork of casual video"}, {"id": "421554", "output": "The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree"}, {"id": "421555", "output": "Learning to recognize faces from videos and weakly related information cues"}, {"id": "421556", "output": "Automated systematic testing for constraint-based interactive services"}, {"id": "421557", "output": "The MoCA Workbench: Support for Creativity in Movie Content Analysi"}, {"id": "421558", "output": "Simple tools for multimodal optimization"}, {"id": "421559", "output": "A Recommender System for Process Discovery."}, {"id": "421560", "output": "Relevance feature mapping for content-based multimedia information retrieval"}, {"id": "421561", "output": "Rich metadata and context capturing through CIDOC/CRM and MPEG-7 interoperability"}, {"id": "421562", "output": "An efficient bit-loading algorithm with peak BER constraint for the band-extended PLC"}, {"id": "421563", "output": "Adaptive shadow maps"}, {"id": "421564", "output": "Designing a provenance-based climate data analysis application"}, {"id": "421565", "output": "Main memory orientated optimization of OO queries using typed Datalog with foreign predicates"}, {"id": "421566", "output": "Gradient-based kernel method for feature extraction and variable selection."}, {"id": "421567", "output": "RapID: A Framework for Fabricating Low-Latency Interactive Objects with RFID Tags."}, {"id": "421568", "output": "A Demonstration of the BigDAWG Polystore System."}, {"id": "421569", "output": "Performance Through Consistency: MS-TDNN's for Large Vocabulary Continuous Speech Recognition"}, {"id": "421570", "output": "Content visualization and management of geo-located image databases"}, {"id": "421571", "output": "Enhanced Mobile Membranes: Computability\u00a0Results"}, {"id": "421572", "output": "What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems"}, {"id": "421573", "output": "The cooperative game theory foundations of network bargaining games"}, {"id": "421574", "output": "Participant: A New Concept for Optimally Assisting the Elder People"}, {"id": "421575", "output": "Artificial Development of Biologically Plausible Neural-Symbolic Networks."}, {"id": "421576", "output": "Expert database systems: efficient support for engineering environments"}, {"id": "421577", "output": "DotQoS: a QoS extension for .NET remoting"}, {"id": "421578", "output": "Hybrid images"}, {"id": "421579", "output": "An Ensemble Prior of Image Structure for Cross-Modal Inference"}, {"id": "421580", "output": "A Knowledge Management Approach for Structural Capital"}, {"id": "421581", "output": "Towards live monocular 3d laparoscopy using shading and specularity information"}, {"id": "421582", "output": "Multichannel Identification and Nonnegative Equalization for Dereverberation and Noise Reduction Based on Convolutive Transfer Function."}, {"id": "421583", "output": "Automatic resource compilation by analyzing hyperlink structure and associated text"}, {"id": "421584", "output": "Interactive region-based linear 3D face models"}, {"id": "421585", "output": "Segmentation of Medical Image Objects Using Deformable Shape Loci"}, {"id": "421586", "output": "Recovery of nonrigid motion and structure"}, {"id": "421587", "output": "Greedy approximation algorithms for directed multicuts"}, {"id": "421588", "output": "Minimum Distortion Embeddings into a Path of Bipartite Permutation and Threshold Graphs"}, {"id": "421589", "output": "Scheduling memory accesses through a shared bus"}, {"id": "421590", "output": "Reflective Practicum: A Framework of Sensitising Concepts to Design for Transformative Reflection."}, {"id": "421591", "output": "On BGP communities"}, {"id": "421592", "output": "Delaunay Triangulations on the Word RAM: Towards a Practical Worst-Case Optimal Algorithm"}, {"id": "421593", "output": "Geometric simultaneous embeddings of a graph and a matching"}, {"id": "421594", "output": "The directed Hausdorff distance between imprecise point sets"}, {"id": "421595", "output": "Integration architecture synthesis for taming uncertainty in the digital space"}, {"id": "421596", "output": "Model transformations in the development of data\u2013intensive web applications"}, {"id": "421597", "output": "String Searching Algorithms Revisited"}, {"id": "421598", "output": "Selection of Classifiers Based on Multiple Classifier Behaviour"}, {"id": "421599", "output": "Construction and Maintenance of a Set Of Pages Of Interest (SPIN) using Active XML"}, {"id": "421600", "output": "The Price of Low Communication in Secure Multi-Party Computation."}, {"id": "421601", "output": "Normalized Compression Distance of Multiples"}, {"id": "421602", "output": "On Kahan's Rules for Determining Branch Cuts"}, {"id": "421603", "output": "Statistical Model Checking For Priced Timed Automata"}, {"id": "421604", "output": "Projective alignment with regions"}, {"id": "421605", "output": "Computational Balloon Twisting: The Theory of Balloon Polyhedra"}, {"id": "421606", "output": "An Experiment Comparing Double Exponential Smoothing and Kalman Filter-Based Predictive Tracking Algorithms"}, {"id": "421607", "output": "DSCo-NG: A Practical Language Modeling Approach for Time Series Classification."}, {"id": "421608", "output": "Self-stabilizing population protocols"}, {"id": "421609", "output": "Subscriber Assignment for Wide-Area Content-Based Publish/Subscribe"}, {"id": "421610", "output": "Verifiable Stream Computation and Arthur-Merlin Communication."}, {"id": "421611", "output": "Spatial Online Sampling and Aggregation."}, {"id": "421612", "output": "Training Deformable Part Models with Decorrelated Features"}, {"id": "421613", "output": "Large-scale network simulation: how big? how fast?"}, {"id": "421614", "output": "Thermal-aware datapath merging for coarse-grained reconfigurable processors"}, {"id": "421615", "output": "New AES Software Speed Records"}, {"id": "421616", "output": "A kurtosis-based dynamic approach to Gaussian mixture modeling"}, {"id": "421617", "output": "Approximately maximizing efficiency and revenue in polyhedral environments"}, {"id": "421618", "output": "4th linked data on the web workshop (LDOW2011)"}, {"id": "421619", "output": "Topological Error Correcting in GIS"}, {"id": "421620", "output": "Quantum Monte Carlo on graphical processing units"}, {"id": "421621", "output": "The Minimum Number of Edges in Graphs with Prescribed Paths."}, {"id": "421622", "output": "Mapping the structure of science through usage"}, {"id": "421623", "output": "Object Re-Use & Exchange: A Resource-Centric Approach"}, {"id": "421624", "output": "The total chromatic number of split-indifference graphs."}, {"id": "421625", "output": "The role of agreements in IT management software"}, {"id": "421626", "output": "Kundenintegration in die Innovationsprozesse bei hybriden Produkten - eine Bestandsaufnahme"}, {"id": "421627", "output": "Tableau Techniques for Querying Information Sources through Global Schemas"}, {"id": "421628", "output": "Constraint Databases: A Survey"}, {"id": "421629", "output": "Adaptive Plans for Business Process Control"}, {"id": "421630", "output": "Subgroup mining for interactive knowledge refinement"}, {"id": "421631", "output": "Adaptive Position Update in Geographic Routing"}, {"id": "421632", "output": "Context Graphs -- Representing Formal Concepts by Connected Subgraphs"}, {"id": "421633", "output": "Projected Chv\u00e1tal\u2013Gomory cuts for mixed integer linear programs"}, {"id": "421634", "output": "Correction to \"worst-case robust MIMO transmission with imperfect channel knowledge\""}, {"id": "421635", "output": "A single-shot approach to lossy source coding under logarithmic loss."}, {"id": "421636", "output": "Sorting and Selection in Posets"}, {"id": "421637", "output": "Derandomized dimensionality reduction with applications"}, {"id": "421638", "output": "Generic CSP Techniques for the Job-Shop Problem"}, {"id": "421639", "output": "An ATPG-Based Framework for Verifying Sequential Equivalence"}, {"id": "421640", "output": "The Limit of Split_n-Bisimulations for CCS Agents"}, {"id": "421641", "output": "Graphical Models for Structured Classification, with an Application to Interpreting Images of Protein Subcellular Location Patterns"}, {"id": "421642", "output": "Detecting Significant Multidimensional Spatial Clusters"}, {"id": "421643", "output": "Efficient belief-state AND-OR search, with application to Kriegspiel"}, {"id": "421644", "output": "Noise Reduction In Time Series Using F-Transform"}, {"id": "421645", "output": "Understanding file access mechanisms for embedded Ubicomp collaboration interfaces"}, {"id": "421646", "output": "Finding contractions and induced minors in chordal graphs via disjoint paths"}, {"id": "421647", "output": "Bounding the Clique-Width of H -free Split Graphs"}, {"id": "421648", "output": "Paths of bounded length and their cuts: Parameterized complexity and algorithms"}, {"id": "421649", "output": "An Iterative Solver-Based Infeasible Primal-Dual Path-Following Algorithm for Convex Quadratic Programming"}, {"id": "421650", "output": "A sparsity driven kernel machine based on minimizing a generalization error bound"}, {"id": "421651", "output": "Iterative double clustering for unsupervised and semi-supervised learning"}, {"id": "421652", "output": "Detecting Change in Data Streams"}, {"id": "421653", "output": "Unsupervised Image-to-Image Translation Networks."}, {"id": "421654", "output": "True Lies."}, {"id": "421655", "output": "Sparsification of influence networks"}, {"id": "421656", "output": "Temporal mining for interactive workflow data analysis"}, {"id": "421657", "output": "Bounded-Contention Coding for the additive network model"}, {"id": "421658", "output": "Solving minimum-cost flow problems by successive approximation"}, {"id": "421659", "output": "Hyper Tableaux"}, {"id": "421660", "output": "Visual Programming of Web Data Aggregation Applications"}, {"id": "421661", "output": "Graph regularized sparse coding for image representation."}, {"id": "421662", "output": "Rate control scheme for video coding using low-memory-cost look-up table"}, {"id": "421663", "output": "SRDA: An Efficient Algorithm for Large-Scale Discriminant Analysis"}, {"id": "421664", "output": "Laplacian Score for Feature Selection"}, {"id": "421665", "output": "Logarithmic Time Online Multiclass prediction."}, {"id": "421666", "output": "PatchNet: a patch-based image representation for interactive library-driven image editing"}, {"id": "421667", "output": "Online Video Stream Abstraction and Stylization"}, {"id": "421668", "output": "Listing Combinatorial Objects In Parallel"}, {"id": "421669", "output": "Measuring the Coordination in 2D Positioning Tasks"}, {"id": "421670", "output": "Partial Match Distance In Memoriam Ray Solomonoff 1926-2009"}, {"id": "421671", "output": "Social processes and proofs of theorems and programs, revisited"}, {"id": "421672", "output": "An efficient scheme for color edge detection in uniform color space"}, {"id": "421673", "output": "ROI-based scalability for progressive transmission in JPEG2000 coding"}, {"id": "421674", "output": "Coalgebras, Chu Spaces, and Representations of Physical Systems"}, {"id": "421675", "output": "Reduced-complexity collaborative decoding of interleaved Reed-Solomon and Gabidulin codes"}, {"id": "421676", "output": "Separating corneal reflections for illumination estimation"}, {"id": "421677", "output": "Lagrange programming neural networks for time-of-arrival-based source localization."}, {"id": "421678", "output": "Generative Bayesian image super resolution with natural image prior."}, {"id": "421679", "output": "Deep Classifiers from Image Tags in the Wild"}, {"id": "421680", "output": "The \"Map Trap\"?: an evaluation of map versus text-based interfaces for location-based mobile search services"}, {"id": "421681", "output": "Image-Based Remodeling."}, {"id": "421682", "output": "Optimization and Evaluation of a High-Performance Open-Source Map-Matching Implementation."}, {"id": "421683", "output": "Automatic Calculation of Soft Shadow Textures for Fast, High-Quality Radiosity"}, {"id": "421684", "output": "Evaluation of the effects of frame time variation on VR task performance"}, {"id": "421685", "output": "A fuzzy goal programming approach for vendor selection problem in a supply chain"}, {"id": "421686", "output": "Many-valuedness and uncertainty"}, {"id": "421687", "output": "Seeking Anonymity in an Internet Panopticon."}, {"id": "421688", "output": "Security And Privacy Of Performing Data Analytics In The Cloud A Three-Way Handshake Of Technology, Policy, And Management"}, {"id": "421689", "output": "The fringe-saving A* search algorithm: a feasibility study"}, {"id": "421690", "output": "Planning under topological constraints using beam-graphs."}, {"id": "421691", "output": "Building the Checkers 10-piece Endgame Databases"}, {"id": "421692", "output": "Prob-Maxn: playing N-player games with opponent models"}, {"id": "421693", "output": "Gossip-based aggregation in large dynamic networks"}, {"id": "421694", "output": "DIRD is an illumination robust descriptor"}, {"id": "421695", "output": "Black-box constructions for secure computation"}, {"id": "421696", "output": "Evaluating the utility and usability of an adaptive hypermedia system"}, {"id": "421697", "output": "An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics"}, {"id": "421698", "output": "Statistically Hiding Commitments and Statistical Zero-Knowledge Arguments from Any One-Way Function"}, {"id": "421699", "output": "Finite Sample Differentially Private Confidence Intervals."}, {"id": "421700", "output": "Leakage-Resilient Cryptography from Minimal Assumptions."}, {"id": "421701", "output": "View-dependent particles for interactive non-photorealistic rendering"}, {"id": "421702", "output": "Inside-outside probability computation for belief propagation"}, {"id": "421703", "output": "Sampling Curves With Finite Rate of Innovation"}, {"id": "421704", "output": "Convolutional Neural Networks for Inverse Problems in Imaging: A Review."}, {"id": "421705", "output": "On time complexity for connectivity-preserving scattering of mobile robots."}, {"id": "421706", "output": "A Systematic Literature Review of Automated Feedback Generation for Programming Exercises."}, {"id": "421707", "output": "Automatic surface remeshing of 3D structural models at specified resolution: A method based on Voronoi diagrams."}, {"id": "421708", "output": "Flow Visualization with Quantified Spatial and Temporal Errors using Edge Maps."}, {"id": "421709", "output": "Conforming Morse-Smale Complexes"}, {"id": "421710", "output": "Loopy belief propagation for approximate inference: an empirical study"}, {"id": "421711", "output": "Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability."}, {"id": "421712", "output": "Inprocessing rules"}, {"id": "421713", "output": "What a Difference a Variable Makes."}, {"id": "421714", "output": "Databases and Temporal Constraints: Semantics and Complexity"}, {"id": "421715", "output": "The design of intelligent workflow monitoring with agent technology"}, {"id": "421716", "output": "Migrating E-commerce database applications to an enterprise Java environment"}, {"id": "421717", "output": "A Cryptosystem Based on the Composition of Reversible Cellular Automata"}, {"id": "421718", "output": "Planning as tabled logic programming"}, {"id": "421719", "output": "Similarity is a Geometer"}, {"id": "421720", "output": "Automated test oracles for GUIs"}, {"id": "421721", "output": "Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas"}, {"id": "421722", "output": "Cuttings for disks and axis-aligned rectangles"}, {"id": "421723", "output": "Rank-R approximation of tensors using image-as-matrix representation"}, {"id": "421724", "output": "A Case for Staged Database Systems"}, {"id": "421725", "output": "Brief announcement: the problem based benchmark suite"}, {"id": "421726", "output": "A case for core-assisted bottleneck acceleration in GPUs: enabling flexible data compression with assist warps"}, {"id": "421727", "output": "Urban Anomaly Detection: a Use-Case for Participatory Infra-Structure Monitoring."}, {"id": "421728", "output": "Language definitions as rewrite theories."}, {"id": "421729", "output": "Spatial data quality capture through inductive learning"}, {"id": "421730", "output": "Spatial Consensus Queries in a Collaborative Environment."}, {"id": "421731", "output": "Combining Organisational and Coordination Theory with Model Driven Approaches to Develop Dynamic, Flexible, Distributed Business Systems."}, {"id": "421732", "output": "Modular Construction of Fixed Point Combinators and Clocked B\u00f6hm Trees"}, {"id": "421733", "output": "Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements"}, {"id": "421734", "output": "Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach"}, {"id": "421735", "output": "Designing Interactive Paper-Craft Systems with Selective Inductive Power Transmission."}, {"id": "421736", "output": "LivOlay: interactive ad-hoc registration and overlapping of applications for collaborative visual exploration"}, {"id": "421737", "output": "Compressive light field photography"}, {"id": "421738", "output": "MM-Cubing: Computing Iceberg Cubes by Factorizing the Lattice Space"}, {"id": "421739", "output": "Suggesting Recommendations Using Pythagorean Fuzzy Sets illustrated Using Netflix Movie Data."}, {"id": "421740", "output": "Intelligent information triage"}, {"id": "421741", "output": "Computing on Authenticated Data."}, {"id": "421742", "output": "Voting in cooperative information agent scenarios: use and abuse"}, {"id": "421743", "output": "Scheduling malleable tasks with interdependent processing rates: Comments and observations"}, {"id": "421744", "output": "Registration of 3D objects and surfaces"}, {"id": "421745", "output": "Improving graph partitioning for modern graphs and architectures"}, {"id": "421746", "output": "Fluid In Video: Augmenting Real Video With Simulated Fluids"}, {"id": "421747", "output": "Efficient Boundary Extraction of BSP Solids Based on Clipping Operations"}, {"id": "421748", "output": "Trajectory anonymity in publishing personal mobility data"}, {"id": "421749", "output": "Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data."}, {"id": "421750", "output": "How I Learned to Stop Worrying and Love Re-optimization."}, {"id": "421751", "output": "Using Dynamic Time Warping to Bootstrap HMM-Based Clustering of Time Series"}, {"id": "421752", "output": "Extending Fagin's Algorithm for More Users Based on Multidimensional B-Tree"}, {"id": "421753", "output": "Guest editorial: special issue on a decade of mining the Web"}, {"id": "421754", "output": "PWave: a multi-source multi-sink anycast routing framework for wireless sensor networks"}, {"id": "421755", "output": "Symgroup: applying social agents in a group interaction system"}, {"id": "421756", "output": "Optimizing i/o-intensive transactions in highly interactive applications"}, {"id": "421757", "output": "A Swivel Chair as an Input Device"}, {"id": "421758", "output": "Characterizing structural relationships in scenes using graph kernels"}, {"id": "421759", "output": "Workflow Recovery"}, {"id": "421760", "output": "Wrapper induction: efficiency and expressiveness"}, {"id": "421761", "output": "A dynamic pricing mechanism for P2P referral systems"}, {"id": "421762", "output": "Comparing Move Choices Of Chess Search Engines"}, {"id": "421763", "output": "Extending the functional data model to computational completeness"}, {"id": "421764", "output": "Case-Based Parameter Selection for Plans: Coordinating Autonomous Vehicle Teams."}, {"id": "421765", "output": "Ubiquitous Microblogging: A Flow-Based Front-End for Information Logistics"}, {"id": "421766", "output": "Patterns for Adding Search Capabilities to Web Information Systems"}, {"id": "421767", "output": "Modeling Physical Hypermedia Applications"}, {"id": "421768", "output": "Efficient Constraint Monitoring Using Adaptive Thresholds"}, {"id": "421769", "output": "A Transaction Model for Multidatabase Systems"}, {"id": "421770", "output": "Keyword search on external memory data graphs"}, {"id": "421771", "output": "Communications, artificial life, and art"}, {"id": "421772", "output": "Analysis of Particle Methods for Simultaneous Robot Localization and Mapping and a New Algorithm: Marginal-SLAM"}, {"id": "421773", "output": "Finding multiple lanes in urban road networks with vision and lidar"}, {"id": "421774", "output": "Modelling OWL Ontologies with Graffoo."}, {"id": "421775", "output": "Automatic analysis of eye tracking data for medical diagnosis"}, {"id": "421776", "output": "A theory of processes with durational actions"}, {"id": "421777", "output": "Sector-Disk (SD) Erasure Codes for Mixed Failure Modes in RAID Systems"}, {"id": "421778", "output": "Acuity-driven gigapixel visualization."}, {"id": "421779", "output": "Matching 3-D Smooth Surfaces with their 2-D Projections using 3-D Distance Maps"}, {"id": "421780", "output": "Simultaneous matting and compositing"}, {"id": "421781", "output": "Realistic modeling and rendering of plant ecosystems"}, {"id": "421782", "output": "Topological relationships between map geometries"}, {"id": "421783", "output": "Real-time shape retrieval for robotics using skip Tri-Grams"}, {"id": "421784", "output": "Robust wavelet-based super-resolution reconstruction: theory and algorithm."}, {"id": "421785", "output": "Cutting the electric bill for internet-scale systems"}, {"id": "421786", "output": "Scalable inside-out image-based rendering."}, {"id": "421787", "output": "Interactive global illumination using selective photon tracing"}, {"id": "421788", "output": "Metaphors of movement: a visualization and user interface for time-oriented, skeletal plans."}, {"id": "421789", "output": "Effects of Stereo and Screen Size on the Legibility of Three-Dimensional Streamtube Visualization"}, {"id": "421790", "output": "3D Object Digitization: Majority Interpolation and Marching Cube"}, {"id": "421791", "output": "Robust subspace discovery via relaxed rank minimization."}, {"id": "421792", "output": "Learning context-sensitive similarity by shortest path propagation"}, {"id": "421793", "output": "Interactive Architecture: Exploring and Unwrapping the Potentials of Organic User Interfaces."}, {"id": "421794", "output": "Affordances for manipulation of physical versus digital media on interactive surfaces"}, {"id": "421795", "output": "Splatting Errors and Antialiasing"}, {"id": "421796", "output": "A-blocks: recognizing and assessing child building processes during play with toy blocks"}, {"id": "421797", "output": "ActiveCube: a bi-directional user interface using cubes"}, {"id": "421798", "output": "Ensemble Method for Robust Motion Estimation"}, {"id": "421799", "output": "A3: a coding guideline for HCI+autism research using video annotation"}, {"id": "421800", "output": "Avoiding another Green Elephant - A Proposal for the Next Generation HLA  based on the Model Driven Architecture"}, {"id": "421801", "output": "FLoSS: Facility location for subspace segmentation"}, {"id": "421802", "output": "On the matrix completion problem for multivariate filter bank construction"}, {"id": "421803", "output": "TLQAP: a topology and link quality assessment protocol for efficient node allocation on wireless testbeds"}, {"id": "421804", "output": "Robust height estimation of moving objects from uncalibrated videos."}, {"id": "421805", "output": "Faster network design with scenario pre-filtering"}, {"id": "421806", "output": "Context-aware Battery Management for Mobile Phones"}, {"id": "421807", "output": "Seismic structure extraction based on multi-scale sensitivity analysis"}, {"id": "421808", "output": "Line Graph or Scatter Plot? Automatic Selection of Methods for Visualizing Trends in Time Series."}, {"id": "421809", "output": "Focus plus context screens: visual context and immersion on the desktop"}, {"id": "421810", "output": "Under the table: tap authentication for smartphones"}, {"id": "421811", "output": "An end-user approach to business process modeling"}, {"id": "421812", "output": "A q-analogue of a formula of Hernandez obtained by inverting a result of  Dilcher"}, {"id": "421813", "output": "Existence and Region of Critical Probabilities in Bootstrap Percolation on Inhomogeneous Periodic Trees."}, {"id": "421814", "output": "Parameterized complexity of 1-planarity"}, {"id": "421815", "output": "Access privacy and correctness on untrusted storage"}, {"id": "421816", "output": "Inferring Test Models from Kate's Bug Reports Using Multi-objective Search."}, {"id": "421817", "output": "Saliency Detection on Light Field: A Multi-Cue Approach"}, {"id": "421818", "output": "Spatial HOG based TV logo detection"}, {"id": "421819", "output": "Encoder/Decoder for Privacy Protection Video with Privacy Region Detection and Scrambling."}, {"id": "421820", "output": "A new hybrid tractable class of soft constraint problems"}, {"id": "421821", "output": "A Tableau Algorithm for Reasoning about Concepts and Similarity"}, {"id": "421822", "output": "Steuerung der Inferenz in der Diskursverarbeitung"}, {"id": "421823", "output": "Automatically Freezing Live Video for Annotation during Remote Collaboration"}, {"id": "421824", "output": "Two lower bounds on distributive generation of languages"}, {"id": "421825", "output": "Impeding Malware Analysis Using Conditional Code Obfuscation"}, {"id": "421826", "output": "Converting heterogeneous statistical tables on the web to searchable databases."}, {"id": "421827", "output": "Adaptive Techniques for Universal Access"}, {"id": "421828", "output": "SleepServer: a software-only approach for reducing the energy consumption of PCs within enterprise environments"}, {"id": "421829", "output": "Got traffic?: an evaluation of click traffic providers"}, {"id": "421830", "output": "Fast and reliable parallel hashing"}, {"id": "421831", "output": "Memory-Adjustable Navigation Piles with Applications to Sorting and Convex Hulls"}, {"id": "421832", "output": "Towards Class-less Object Models for Engineering Design Applications"}, {"id": "421833", "output": "On the energy (in)efficiency of Hadoop clusters"}, {"id": "421834", "output": "Self Adaptive High Interaction Honeypots Driven by Game Theory"}, {"id": "421835", "output": "On the Definition of Categories for Image Classification Evaluation"}, {"id": "421836", "output": "Campaigns for lazy voters: truncated ballots"}, {"id": "421837", "output": "Robustore: A Distributed Storage Architecture With Robust And High Performance"}, {"id": "421838", "output": "Parallel hierarchical evaluation of transitive closure queries"}, {"id": "421839", "output": "Deep Multimodal Learning for Affective Analysis and Retrieval"}, {"id": "421840", "output": "Active Feature-Value Acquisition for Classifier Induction"}, {"id": "421841", "output": "Designing tangible artefacts for playful interactions and dialogues"}, {"id": "421842", "output": "A Pixel Dissimilarity Measure That Is Insensitive to Image Sampling"}, {"id": "421843", "output": "Sample-Based Synthesis of Illustrative Patterns"}, {"id": "421844", "output": "Efficient secure group signatures with dynamic joins and keeping anonymity against group managers"}, {"id": "421845", "output": "Object representatives: a uniform abstraction for pointer information"}, {"id": "421846", "output": "Probabilistic Proof Systems - A Survey"}, {"id": "421847", "output": "Fault-Tolerant Distributed Computing in Full-Information Networks"}, {"id": "421848", "output": "Property Testing: A Learning Theory Perspective"}, {"id": "421849", "output": "CCS with replication in the Chomsky hierarchy: the expressive power of divergence"}, {"id": "421850", "output": "Perceptually Linear Parameter Variations"}, {"id": "421851", "output": "Tag suggestion and localization for images by bipartite graph matching"}, {"id": "421852", "output": "Local construction of planar spanners in unit disk graphs with irregular transmission ranges"}, {"id": "421853", "output": "Transaction reordering and grouping for continuous data loading"}, {"id": "421854", "output": "Testing Periodicity"}, {"id": "421855", "output": "Some computational complexity results for synchronous context-free grammars"}, {"id": "421856", "output": "Face Recognition from Sequences Using Models of Identity"}, {"id": "421857", "output": "VIGOUR: a system for tracking and recognition of multiple people and their activities"}, {"id": "421858", "output": "Variational segmentation of elongated volumetric structures"}, {"id": "421859", "output": "One-Shot Procedure Learning from Instruction and Observation"}, {"id": "421860", "output": "Annotation propagation revisited for key preserving views"}, {"id": "421861", "output": "Mining rank-correlated sets of numerical attributes"}, {"id": "421862", "output": "A Multi-view Method for Gait Recognition Using Static Body Parameters"}, {"id": "421863", "output": "Recovery and Reasoning About Occlusions in 3D Using Few Cameras with Applications to 3D Tracking"}, {"id": "421864", "output": "A video-based rendering acceleration algorithm for interactive walkthroughs"}, {"id": "421865", "output": "Re-Thinking Immersive Technologies For Audiences Of The Future"}, {"id": "421866", "output": "Single-photon 3D imaging with deep sensor fusion."}, {"id": "421867", "output": "Subexponential Convergence For Information Aggregation On Regular Trees"}, {"id": "421868", "output": "Symbol Timing Synchronization Algorithms For Wireless Lan Systems In Multipath Channels"}, {"id": "421869", "output": "Junto-Symmetric Functions, Hypergraph Isomorphism and Crunching"}, {"id": "421870", "output": "Person re-identification using height-based gait in colour depth camera"}, {"id": "421871", "output": "Sharp Tactile Line Presentation Using Edge Stimulation Method."}, {"id": "421872", "output": "Testing Closeness of Discrete Distributions"}, {"id": "421873", "output": "Integrating collections at the cervantes project"}, {"id": "421874", "output": "Audio-visual speech recognition using depth information from the Kinect in noisy video conditions"}, {"id": "421875", "output": "KD-Box: Line-segment-based KD-tree for Interactive Exploration of Large-scale Time-Series Data"}, {"id": "421876", "output": "A human-agent teamwork command and control framework for moving target defense (MTC2)"}, {"id": "421877", "output": "Multilingual Statistical News Summarisation: Preliminary Experiments with English"}, {"id": "421878", "output": "Trusted CVS"}, {"id": "421879", "output": "Unifying denotational semantics with operational semantics for web services"}, {"id": "421880", "output": "Codes and anticodes in the Grassman graph"}, {"id": "421881", "output": "Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs"}, {"id": "421882", "output": "High-Level Observations in Java Debugging"}, {"id": "421883", "output": "The functional relation between the impact factor and the uncitedness factor revisited."}, {"id": "421884", "output": "A comparative study of the difference in research performance in biomedical fields among selected Western and Asian countries"}, {"id": "421885", "output": "Network-level access control policy analysis and transformation"}, {"id": "421886", "output": "Characterizing the computational power of mobile robots on graphs and implications for the Euclidean plane."}, {"id": "421887", "output": "Topological ordering of function words in hierarchical phrase-based translation"}, {"id": "421888", "output": "Efficient Kinetic Data Structures for MaxCut"}, {"id": "421889", "output": "A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field"}, {"id": "421890", "output": "ParDiSP: A Partition-Based Framework for Distance and Shortest Path Queries on Road Networks"}, {"id": "421891", "output": "Multicolor Ramsey Numbers For Complete Bipartite Versus Complete Graphs"}, {"id": "421892", "output": "ARMC: the logical choice for software model checking with abstraction refinement"}, {"id": "421893", "output": "Object-Oriented Concurrent Constraint Programming in Oz"}, {"id": "421894", "output": "Flat maximal parallelism in P systems with promoters"}, {"id": "421895", "output": "First-fit coloring on interval graphs has performance ratio at least 5"}, {"id": "421896", "output": "Dynamic transition relation simplification for bounded property checking"}, {"id": "421897", "output": "Shape Representation via Harmonic Embedding"}, {"id": "421898", "output": "Rotating Register Allocation for Enhanced Pipeline Scheduling"}, {"id": "421899", "output": "Synthesizing Subdivision Meshes Using Real Time Tessellation"}, {"id": "421900", "output": "Redefined fuzzy implicative filters"}, {"id": "421901", "output": "Optically Interconnected Parallel Computing Systems"}, {"id": "421902", "output": "Challenges in type systems research"}, {"id": "421903", "output": "A data driven approach for algebraic loop invariants"}, {"id": "421904", "output": "Crowd-based Multi-Predicate Screening of Papers in Literature Reviews."}, {"id": "421905", "output": "On the Sequential Nature of Interprocedural Program-Analysis Problems"}, {"id": "421906", "output": "Towards the Robotic Co-Worker"}, {"id": "421907", "output": "Hybrid Multi-elimination ILU Preconditioners on GPUs"}, {"id": "421908", "output": "Varifocal virtuality: a novel optical layout for near-eye display"}, {"id": "421909", "output": "Ontology as a Requirements Engineering Product"}, {"id": "421910", "output": "Specifying the correctness of binding-time analysis"}, {"id": "421911", "output": "Abstraction and Completeness for Real-Time Maude"}, {"id": "421912", "output": "Discounting In Games Across Time Scales"}, {"id": "421913", "output": "GPU-Friendly Local Regression for Voice Conversion."}, {"id": "421914", "output": "Parsing time: learning to interpret time expressions"}, {"id": "421915", "output": "Message authentication, revisited"}, {"id": "421916", "output": "A GENERAL MINIMAX RESULT FOR RELATIVE ENTROPY"}, {"id": "421917", "output": "Information acquisition from multi-agent resources"}, {"id": "421918", "output": "Flag & check: data access with monadically defined queries"}, {"id": "421919", "output": "The use of Hoare's method of program verfification for the quicksort algorithm"}, {"id": "421920", "output": "Speculation and Bluff for Linguistic Field Research - Social Software and Media for Data Gathering."}, {"id": "421921", "output": "A Parallel SGD method with Strong Convergence."}, {"id": "421922", "output": "On estimating the complexity of logarithmic decompositions"}, {"id": "421923", "output": "Supporting application quality of service in shared resource pools"}, {"id": "421924", "output": "Robust Medical Data Delivery for Wireless Pervasive Healthcare"}, {"id": "421925", "output": "Approximation Of Time-Varying Multi-Resolution Data Using Error-Based Temporal-Spatial Reuse"}, {"id": "421926", "output": "Segmentation Of Parchment Scrolls For Virtual Unrolling"}, {"id": "421927", "output": "The Hilbert zonotope and a polynomial time algorithm for universal Gr\u00f6bner bases"}, {"id": "421928", "output": "Selecting partners"}, {"id": "421929", "output": "Threshold Password-Authenticated Key Exchange"}, {"id": "421930", "output": "Load testing of Web sites"}, {"id": "421931", "output": "Semantic patches considered helpful"}, {"id": "421932", "output": "Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation"}, {"id": "421933", "output": "Approximations for the disjoint paths problem in high-diameter planar networks"}, {"id": "421934", "output": "Transinformation for Active Object Recognition"}, {"id": "421935", "output": "Maximizing Network Lifetime of WirelessHART Networks under Graph Routing"}, {"id": "421936", "output": "Scaling Data-Plane Logging In Large Scale Networks"}, {"id": "421937", "output": "On a network creation game"}, {"id": "421938", "output": "Learning probabilistic automata with variable memory length"}, {"id": "421939", "output": "Metric properties of the Tower of Hanoi graphs and Stern's diatomic sequence"}, {"id": "421940", "output": "A Uniform Framework For Orientation Relations Based On Distance Comparison"}, {"id": "421941", "output": "Learning to Ground Fact Symbols in Behavior-Based Robots"}, {"id": "421942", "output": "Optimised to Fail: Card Readers for Online Banking"}, {"id": "421943", "output": "SEK: sparsity exploiting k-mer-based estimation of bacterial community composition."}, {"id": "421944", "output": "On the Correlation of Symmetric Functions"}, {"id": "421945", "output": "Modeling emotion and its expression"}, {"id": "421946", "output": "Satisficing games"}, {"id": "421947", "output": "Polynomial interpolation from multiples"}, {"id": "421948", "output": "Logic Programming with Bounded Quantifiers"}, {"id": "421949", "output": "Modelling metabolic pathways using stochastic logic programs-based ensemble methods"}, {"id": "421950", "output": "Algorithms for bichromatic line-segment problems and polyhedral terrains"}, {"id": "421951", "output": "Complexity measures and hierarchies for the evaluation of integers, polynomials, and n-linear forms"}, {"id": "421952", "output": "A vision for the development of i-campus"}, {"id": "421953", "output": "A multi-level parallelism architecture"}, {"id": "421954", "output": "A Decomposition Theorem for Task Systems and Bounds for Randomized Server Problems"}, {"id": "421955", "output": "Answering order-based queries over XML data"}, {"id": "421956", "output": "A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture"}, {"id": "421957", "output": "A four-valued semantics for terminological logics"}, {"id": "421958", "output": "Can OWL Model Football Leagues?"}, {"id": "421959", "output": "LMM: an OWL-DL MetaModel to Represent Heterogeneous Lexical Knowledge"}, {"id": "421960", "output": "Pipelining: the generalized concept and sequencing strategies"}, {"id": "421961", "output": "Per-Tensor Fixed-Point Quantization of the Back-Propagation Algorithm."}, {"id": "421962", "output": "Compiling for energy efficiency on timing speculative processors"}, {"id": "421963", "output": "Efficient detection in the presence of angular spreading."}, {"id": "421964", "output": "Nearest neighbor classification in 3D protein databases."}, {"id": "421965", "output": "Boosting spatial pruning: on optimal pruning of MBRs"}, {"id": "421966", "output": "Subsampling for efficient and effective unsupervised outlier detection ensembles"}, {"id": "421967", "output": "WiFi, LTE, or Both?: Measuring Multi-Homed Wireless Internet Performance"}, {"id": "421968", "output": "Efficient Insertion Heuristics for Vehicle Routing and Scheduling Problems"}, {"id": "421969", "output": "Beyond PASCAL: A benchmark for 3D object detection in the wild"}, {"id": "421970", "output": "Stone weathering in a photograph"}, {"id": "421971", "output": "Sampling Based Sensor-Network Deployment"}, {"id": "421972", "output": "Decidability results for well-structured transition systems with auxiliary storage"}, {"id": "421973", "output": "Heterogeneous populations of learning agents in the minority game"}, {"id": "421974", "output": "Supervised clustering of streaming data for email batch detection"}, {"id": "421975", "output": "A modular robotic system using magnetic force effectors"}, {"id": "421976", "output": "Constrained Independence System and Triangulations of Planar Point Sets"}, {"id": "421977", "output": "Alpha-shapes and flow shapes are homotopy equivalent"}, {"id": "421978", "output": "Optimal solutions for a class of point retrieval problems"}, {"id": "421979", "output": "Spending Is Not Easier Than Trading: On the Computational Equivalence of Fisher and Arrow-Debreu Equilibria"}, {"id": "421980", "output": "Dynamics of an Information-Filtering Economy"}, {"id": "421981", "output": "Marginal Bidding: An Application of the Equimarginal Principle to Bidding in TAC SCM"}, {"id": "421982", "output": "Strategies for lifelong knowledge extraction from the web"}, {"id": "421983", "output": "Scalable semantic querying of text"}, {"id": "421984", "output": "Serious games as a malleable learning medium: The effects of narrative, gameplay, and making on students' performance and attitudes."}, {"id": "421985", "output": "A Twofold Fuzzy Region Model for Imprecise Quality Control of Geographic Information"}, {"id": "421986", "output": "A computational model for finding the tilt in an improvised scene"}, {"id": "421987", "output": "Toward Controlled Generation of Text."}, {"id": "421988", "output": "Evaluation of adaptive mixtures of competing experts"}, {"id": "421989", "output": "Towards Practical Default-On Multi-Core Record/Replay."}, {"id": "421990", "output": "A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems"}, {"id": "421991", "output": "Product Distribution Field Theory"}, {"id": "421992", "output": "A guide to end-to-end privacy accountability"}, {"id": "421993", "output": "A secure protocol for protecting the identity of providers when disclosing data for disease surveillance."}, {"id": "421994", "output": "A Framework to Handle Linear Temporal Properties in (\\omega-)Regular Model Checking"}, {"id": "421995", "output": "Combinatorial design of multi-ring networks with combined routing and flow control"}, {"id": "421996", "output": "Finding approximate separators and computing tree width quickly"}, {"id": "421997", "output": "Flooding and recycling authorizations"}, {"id": "421998", "output": "On the connectedness of pictures in chain code picture languages"}, {"id": "421999", "output": "Finding dense subgraphs in G(n,1/2)"}, {"id": "422000", "output": "A Limited-Backtrack Greedy Schema for Approximation Algorithms"}, {"id": "422001", "output": "Introducing Adaptivity Features To A Regular Learning Management System To Support Creation Of Advanced Elessons"}, {"id": "422002", "output": "Seamless Interactions on the Internet of Things. A Spotify-Based Proof of Concept."}, {"id": "422003", "output": "Model Theoretic Semantics for Demo"}, {"id": "422004", "output": "Combining Prediction Of Human Decisions With Ismcts In Imperfect Information Games"}, {"id": "422005", "output": "TBPoint: Reducing Simulation Time for Large-Scale GPGPU Kernels"}, {"id": "422006", "output": "Improving and Aligning Speech with Presentation Slides"}, {"id": "422007", "output": "Mismatched Decoding: Error Exponents, Second-Order Rates and Saddlepoint Approximations"}, {"id": "422008", "output": "Opportunistic cooperative diversity with feedback and cheap radios"}, {"id": "422009", "output": "Comparing application- and physical-layer approaches to diversity on wireless channels."}, {"id": "422010", "output": "Optimal feature selection for subspace image matching"}, {"id": "422011", "output": "Model-Based Performance Prediction in Software Development: A Survey"}, {"id": "422012", "output": "Dominance-based rough set approach as a proper way of handling graduality in rough set theory"}, {"id": "422013", "output": "Detecting and removing specularities in facial images"}, {"id": "422014", "output": "Mawl: A Domain-Specific Language for Form-Based Services"}, {"id": "422015", "output": "Autonomous Driving with Concurrent Goals and Multiple Vehicles: Experiments and Mobility Components"}, {"id": "422016", "output": "The exact path length problem"}, {"id": "422017", "output": "An Experimental Analysis of a Compact Graph Representation"}, {"id": "422018", "output": "Design of safety-critical Java level 1 applications using affine abstract clocks"}, {"id": "422019", "output": "Source-level IP packet bursts: causes and effects"}, {"id": "422020", "output": "The intersection of two ringed surfaces and some related problems"}, {"id": "422021", "output": "1st ACM workshop on hot topics in software upgrades (HotSWUp 2008)"}, {"id": "422022", "output": "Interference-Aware Real-Time Flow Scheduling for Wireless Sensor Networks"}, {"id": "422023", "output": "Knowledge-Driven Interactions Across Mobile Ad Hoc Networks"}, {"id": "422024", "output": "An adaptive multiparty protocol for secure data protection"}, {"id": "422025", "output": "Model-based telerobotics with vision"}, {"id": "422026", "output": "Min-round Resettable Zero-Knowledge in the Public-Key Model"}, {"id": "422027", "output": "Approximate Equilibria for Strategic Two Person Games"}, {"id": "422028", "output": "Infinite digraphs with given regular automorphism groups"}, {"id": "422029", "output": "Convergence of the Min-Sum Message Passing Algorithm for Quadratic Optimization"}, {"id": "422030", "output": "Lattice kernels for spoken-dialog classification"}, {"id": "422031", "output": "AdaNet: Adaptive Structural Learning of Artificial Neural Networks."}, {"id": "422032", "output": "Localization of Diagnostically Relevant Regions of Interest in Whole Slide Images"}, {"id": "422033", "output": "Serial order in reading aloud: connectionist models and neighborhood structure"}, {"id": "422034", "output": "Optimal Parallel Algorithms for Periods, Palindromes and Squares (Extended Abstract)"}, {"id": "422035", "output": "Parallel Construction of a Suffix Tree with Applications"}, {"id": "422036", "output": "A Local Algorithm for the Computation of Optic Flow via Constructive Interference of Global Fourier Components"}, {"id": "422037", "output": "(Im)Possibility of Unconditionally Privacy-Preserving Auctions"}, {"id": "422038", "output": "Belief revision in non-monotonic reasoning and logic programming"}, {"id": "422039", "output": "Tight Kernel Bounds for Problems on Graphs with Small Degeneracy"}, {"id": "422040", "output": "On the optimal placement of web proxies in the Internet"}, {"id": "422041", "output": "Renaming Detection"}, {"id": "422042", "output": "Processing scientific mesh queries in graph databases"}, {"id": "422043", "output": "A Verification Framework for Normative Multi-Agent Systems"}, {"id": "422044", "output": "Fail-Awareness: An Approach to Construct Fail-Safe Systems"}, {"id": "422045", "output": "The textual characteristics of traditional and Open Access scientific journals are similar."}, {"id": "422046", "output": "Integration of a human face annotation technology in an audio-visual search engine platform"}, {"id": "422047", "output": "Ontology-Based Description and Discovery of Business Processes"}, {"id": "422048", "output": "Verification Decoding Of Raptor Codes"}, {"id": "422049", "output": "Default reasoning from statistics"}, {"id": "422050", "output": "Learning conventions in multiagent stochastic domains using likelihood estimates"}, {"id": "422051", "output": "The Varieties of Programming Language"}, {"id": "422052", "output": "Community detection via semi-synchronous label propagation algorithms"}, {"id": "422053", "output": "Approximation Techniques for Average Completion Time Scheduling"}, {"id": "422054", "output": "Finite-Repetition Threshold For Infinite Ternary Words"}, {"id": "422055", "output": "Non-commutative arithmetic circuits with division"}, {"id": "422056", "output": "Optimizing unit test execution in large software programs using dependency analysis"}, {"id": "422057", "output": "Programming a distributed system using shared objects"}, {"id": "422058", "output": "On beating the hybrid argument"}, {"id": "422059", "output": "The Chain & Sum Primitive and Its Applications to MACs and Stream Ciphers"}, {"id": "422060", "output": "How can we trust a robot?"}, {"id": "422061", "output": "Representing actions in equational logic programming"}, {"id": "422062", "output": "Automated Service Composition for on-the-Fly SOAs."}, {"id": "422063", "output": "Quantum optimization"}, {"id": "422064", "output": "Quantum lower bound for the collision problem"}, {"id": "422065", "output": "Envy-Free Cake-Cutting In Two Dimensions"}, {"id": "422066", "output": "Probabilistic models of information retrieval based on measuring the divergence from randomness"}, {"id": "422067", "output": "Parameterized feasible boundaries in gradient vector fields"}, {"id": "422068", "output": "The Birth Of The Giant Component"}, {"id": "422069", "output": "Some aspects of the recognition of convex polyhedra from two plane projections. I."}, {"id": "422070", "output": "Power trees"}, {"id": "422071", "output": "Understanding Mobile Agents via a Non-Interleaving Semantics for Facile"}, {"id": "422072", "output": "Linguistically Motivated Features for Enhanced Back-of-the-Book Indexing"}, {"id": "422073", "output": "Asymptotically optimal energy-aware routing for multihop wireless networks with renewable energy sources"}, {"id": "422074", "output": "Resilient software mirroring with untrusted third parties"}, {"id": "422075", "output": "Time-Multiplexed Online Checking: A Feasibility Study"}, {"id": "422076", "output": "Svr: Practical Engineering Of A Fast 3d Meshing Algorithm"}, {"id": "422077", "output": "Mobile magic hand: camera phone based interaction using visual code and optical flow"}, {"id": "422078", "output": "Demo of VJ-Voicebot: control of robotic arm with the Vocal Joystick"}, {"id": "422079", "output": "On the use of qualitative reasoning to simulate and identify metabolic pathways"}, {"id": "422080", "output": "A geometric zero-one law"}, {"id": "422081", "output": "Automating Software Testing Using Program Analysis"}, {"id": "422082", "output": "Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep"}, {"id": "422083", "output": "Folding a Triangulated Simple Polygon: Structural and Algorithmic Results"}, {"id": "422084", "output": "Observations on overlap: findings and implications for automatic processing of multi-party conversation"}, {"id": "422085", "output": "No Double Counting Semantics For Conditional Independence"}, {"id": "422086", "output": "A Relational Model for Component Interconnection"}, {"id": "422087", "output": "(log log)-time integer geometry on the CRCW PRAM"}, {"id": "422088", "output": "Temporal deductive databases and infinite objects"}, {"id": "422089", "output": "Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi"}, {"id": "422090", "output": "Using an Image Retrieval System for Vision-Based Mobile Robot Localization"}, {"id": "422091", "output": "Coordination Avoidance in Database Systems."}, {"id": "422092", "output": "A Generalized Framework for Integrated Professional Search Systems."}, {"id": "422093", "output": "Erratum: an approximation algorithm for minimum-cost vertex-connectivity problems"}, {"id": "422094", "output": "An Expressive Logic for a Process Algebra with Silent Actions"}, {"id": "422095", "output": "Adaptive Concretization For Parallel Program Synthesis"}, {"id": "422096", "output": "High resolution multispectral video capture with a hybrid camera system"}, {"id": "422097", "output": "A Multi-Camera Approach to Image-Based Rendering and 3-D/Multiview Display of Ancient Chinese Artifacts"}, {"id": "422098", "output": "Mio: a high-performance multicore io manager for GHC"}, {"id": "422099", "output": "A model of BGP routing for network engineering"}, {"id": "422100", "output": "Information Extraction from Web Pages Using Presentation Regularities and Domain Knowledge"}, {"id": "422101", "output": "A New Implmentation and Detailed Study of Breakpoint Analysis"}, {"id": "422102", "output": "Data-Driven Versus Topology-driven Irregular Computations on GPUs"}, {"id": "422103", "output": "Reduced Marker Layouts for Optical Motion Capture of Hands"}, {"id": "422104", "output": "Snakes on Triangle Meshes"}, {"id": "422105", "output": "Better Quality in Synthesis through Quantitative Objectives"}, {"id": "422106", "output": "Lossy Compression and Iterative Reconstruction for Encrypted Image"}, {"id": "422107", "output": "Effective fractal dimensions"}, {"id": "422108", "output": "A System for Building Intelligent Agents that Learn to Retrieve and Extract Information"}, {"id": "422109", "output": "On two restricted ancestors tree problems"}, {"id": "422110", "output": "Efficient indexing and retrieval of large-scale geo-tagged video databases."}, {"id": "422111", "output": "Supporting guaranteed continuous media streaming in mobile ad-hoc networks with link availability prediction"}, {"id": "422112", "output": "Generic Deformable Implicit Mesh Models for Automated Reconstruction"}, {"id": "422113", "output": "Mechanism and Localization of Wall Failure During Abdominal Aortic Aneurysm Formation"}, {"id": "422114", "output": "Data Augmentation Using Random Image Cropping and Patching for Deep CNNs"}, {"id": "422115", "output": "System approach to design generic software for real-time control of flexible manufacturing systems"}, {"id": "422116", "output": "Interfaces for networked media exploration and collaborative annotation"}, {"id": "422117", "output": "Contextual Prediction of Communication Flow in Social Networks"}, {"id": "422118", "output": "Spectra Generation for Fixed-Polarity Reed-Muller Transform over GF(5)"}, {"id": "422119", "output": "Adaptive Hierarchical Multi-Class Svm Classifier For Texture-Based Image Classification"}, {"id": "422120", "output": "A Reconstruction of Conceptual Graphs on Top of a Production System"}, {"id": "422121", "output": "Master-Slave Synchronization Of Lur'E Systems With General Sector-Bounded Nonlinearities"}, {"id": "422122", "output": "Operator-Splitting Methods for Monotone Affine Variational Inequalities, with a Parallel Application to Optimal Control"}, {"id": "422123", "output": "Near-optimal adaptive control of a large grid application"}, {"id": "422124", "output": "A Personal Web Information/Knowledge Retrieval System"}, {"id": "422125", "output": "Small-world phenomenon of keywords network based on complex network"}, {"id": "422126", "output": "Panopticon as an eLearning support search tool"}, {"id": "422127", "output": "Large System Performance of Interference Alignment in Single-Beam MIMO Networks"}, {"id": "422128", "output": "The Stochastic Motion Roadmap: A Sampling Framework for Planning with Markov Motion Uncertainty"}, {"id": "422129", "output": "EFuNN ensembles construction using a clustering method and a coevolutionary multi-objective genetic algorithm"}, {"id": "422130", "output": "Amplitude spectrum-based gait recognition"}, {"id": "422131", "output": "Learning Concept Hierarchy from Short Texts Using Context Coherence."}, {"id": "422132", "output": "Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments"}, {"id": "422133", "output": "Target Fragmentation in Android Apps"}, {"id": "422134", "output": "Investigating Overlay Topologies and Dynamics of P2P-TV Systems: The Case of SopCast."}, {"id": "422135", "output": "Deep Communicating Agents for Abstractive Summarization."}, {"id": "422136", "output": "Alternating multiple tributaries + deltas"}, {"id": "422137", "output": "Towards standardization of metrics for evaluation of artificial visual attention"}, {"id": "422138", "output": "Generalized metarationalities in the graph model for conflict resolution"}, {"id": "422139", "output": "Widening the Boundary between Decidable and Undecidable Hybrid Systems"}, {"id": "422140", "output": "A Reachability-Based Technique For Idle Speed Control Synthesis"}, {"id": "422141", "output": "Approximation Metrics for Discrete and Continuous Systems"}, {"id": "422142", "output": "Exploiting Multi-grain Ranking Constraints for Precisely Searching Visually-similar Vehicles"}, {"id": "422143", "output": "A novel pair-wise image matching strategy with compact descriptors"}, {"id": "422144", "output": "Interval analysis and dioid: application to robust controller design for timed event graphs"}, {"id": "422145", "output": "Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems"}, {"id": "422146", "output": "Mean-field phase transitions and correlation functions for Gibbs random fields"}, {"id": "422147", "output": "RawPEACH: Multiband CSMA/CA-based cognitive radio networks."}, {"id": "422148", "output": "Automatic authoring and construction of hypermedia for information retrieval"}, {"id": "422149", "output": "A refined version of M/G/\u221e processes for modelling VBR video traffic"}, {"id": "422150", "output": "An efficient lossless robust watermarking scheme by integrating redistributed invariant wavelet and fractional Fourier transforms."}, {"id": "422151", "output": "Adaptive Learning Search, A New Tool To Help Comprehending Metaheuristics"}, {"id": "422152", "output": "Zhuang-Zi: A New Algorithm for Solving Multivariate Polynomial Equations over a Finite Field"}, {"id": "422153", "output": "An Efficient and Robust System for Multiperson Event Detection in Real-World Indoor Surveillance Scenes"}, {"id": "422154", "output": "Chromatic colour spaces for skin detection using GMMS"}, {"id": "422155", "output": "Learning Detectors Quickly With Stationary Statistics"}, {"id": "422156", "output": "Exploiting structure in weighted model counting approaches to probabilistic inference"}, {"id": "422157", "output": "Utility max-min fair rate allocation for multiuser multimedia communications"}, {"id": "422158", "output": "A New Water Droplet Model Using Metaball In The Gravitational Field"}, {"id": "422159", "output": "Differential Evolution with Noise Analyzer"}, {"id": "422160", "output": "You have e-mail, what happens next? Tracking the eyes for genre"}, {"id": "422161", "output": "Retrieving Passages and Finding Answers"}, {"id": "422162", "output": "Comparison of phantom and registration scaling corrections using the ADNI cohort."}, {"id": "422163", "output": "Local Intensity Model: An Outlier Detection Framework With Applications To White Matter Hyperintensity Segmentation"}, {"id": "422164", "output": "A Block Mixture Model for Pattern Discovery in Preference Data"}, {"id": "422165", "output": "k-NN as an implementation of situation testing for discrimination discovery and prevention"}, {"id": "422166", "output": "What Can The Semantic Web Do For Adaptive Educational Hypermedia?"}, {"id": "422167", "output": "An Improved Particle Swarm Optimization for Evolving Feedforward Artificial Neural Networks"}, {"id": "422168", "output": "Overhead-Aware System-Level Joint Energy and Performance Optimization for Streaming Applications on Multiprocessor Systems-on-Chip"}, {"id": "422169", "output": "Joint channel assignment, stable routing and adaptive power control in mobile cognitive networks"}, {"id": "422170", "output": "Assessment of an unsupervised feature selection method for generative topographic mapping"}, {"id": "422171", "output": "The case for UHF-band MU-MIMO"}, {"id": "422172", "output": "Limitations on testable affine-invariant codes in the high-rate regime"}, {"id": "422173", "output": "Lightweight Hand-held Robot for Laparoscopic Surgery"}, {"id": "422174", "output": "Twitter user behavior understanding with mood transition prediction"}, {"id": "422175", "output": "Unsupervised learning for speech motion editing"}, {"id": "422176", "output": "Call admission control for voice/data integrated cellular networks: performance analysis and comparative study"}, {"id": "422177", "output": "Functional hyperalignment of resting state FMRI sessions driven by autonomic activity"}, {"id": "422178", "output": "Region-Specific Automated Feedback in Temporal Bone Surgery Simulation"}, {"id": "422179", "output": "Exploiting the Ontological Qualities of Web Resources: Task-Driven Agents Structure Knowledge for Problem Solving"}, {"id": "422180", "output": "HARE: A Hybrid SPARQL Engine to Enhance Query Answers via Crowdsourcing"}, {"id": "422181", "output": "Using Effective Reading Speed to Integrate Adaptivity into Web-Based Learning"}, {"id": "422182", "output": "Technical debt in software development: from metaphor to theory report on the third international workshop on managing technical debt"}, {"id": "422183", "output": "An Activity Monitoring System for Real Elderly at Home: Validation Study"}, {"id": "422184", "output": "Investigating immune system aging: system dynamics and agent-based modeling"}, {"id": "422185", "output": "Evaluation of resources for question answering evaluation"}, {"id": "422186", "output": "SimConcept: A Hybrid Approach for Simplifying Composite Named Entities in Biomedical Text."}, {"id": "422187", "output": "Linear Precoding for the MIMO Multiple Access Channel With Finite Alphabet Inputs and Statistical CSI"}, {"id": "422188", "output": "FBEM: A filter bank EM algorithm for the joint optimization of features and acoustic model parameters in bird call classification"}, {"id": "422189", "output": "SESAMO: An Integrated Framework for Gathering, Managing and Sharing Environmental Data."}, {"id": "422190", "output": "Escaping the software tar pit: model clashes and how to avoid them"}, {"id": "422191", "output": "Hand Posture Subspaces for Dexterous Robotic Grasping"}, {"id": "422192", "output": "Coevolutionary Method for Gene Selection and Parameter Optimization in Microarray Data Analysis"}, {"id": "422193", "output": "An integrated fuzzy multi-criteria decision making methodology for material handling equipment selection problem and an application"}, {"id": "422194", "output": "Distributed discovery services via EPC-BGP for mobile RFID."}, {"id": "422195", "output": "Nonlinear Modeling and Synthesis of the Kantele\u2014 a Traditional Finnish String Instrument"}, {"id": "422196", "output": "Evaluation Of The Wireless M-Bus Standard For Future Smart Water Grids"}, {"id": "422197", "output": "Modeling buffers with data refresh semantics in automotive architectures"}, {"id": "422198", "output": "Efficient subsequence matching for sequences databases under time warping"}, {"id": "422199", "output": "Nrpspredictor2-A Web Server For Predicting Nrps Adenylation Domain Specificity"}, {"id": "422200", "output": "Efficient Execution Of Augmented Reality Applications On Mobile Programmable Accelerators"}, {"id": "422201", "output": "Phase Transitions and Annealed Theories: Number Partitioning as a Case Study"}, {"id": "422202", "output": "Controlling Chaos Of Hybrid Systems By Variable Threshold Values"}, {"id": "422203", "output": "Networked reinforcement learning"}, {"id": "422204", "output": "An Energy Neutral Wearable Camera with EPD Display"}, {"id": "422205", "output": "In-place power optimization for LUT-based FPGAs"}, {"id": "422206", "output": "Resolution based Feature Distillation for Cross Resolution Person Re-Identification"}, {"id": "422207", "output": "Shear-Rotation-Warp Volume Rendering"}, {"id": "422208", "output": "Modeling communication pipeline latency"}, {"id": "422209", "output": "Maximizing Network Topology Lifetime Using Mobile Node Rotation."}, {"id": "422210", "output": "Topomorphological approach to automatic posture recognition in ballet dance"}, {"id": "422211", "output": "Machine learning for multi-class protein fold classification based on neural networks with feature gating"}, {"id": "422212", "output": "Incorporating Genetic Algorithms in Transport Management."}, {"id": "422213", "output": "Accurate phase-level cross-platform power and performance estimation."}, {"id": "422214", "output": "Revisiting output coding for sequential supervised learning"}, {"id": "422215", "output": "Information-Based Evaluation Criterion for Classifier's Performance"}, {"id": "422216", "output": "Particle Swarm Optimization (PSO) applied to Fuzzy Modeling in a Thermal-Vacuum System"}, {"id": "422217", "output": "Ensuring Safety in Augmented Reality from Trade-off Between Immersion and Situation Awareness"}, {"id": "422218", "output": "Tutorial on Design and Evaluation Methods for Attention Directing Cues."}, {"id": "422219", "output": "The Almost Sure Asymptotic Stability and $p$ th Moment Asymptotic Stability of Nonlinear Stochastic Differential Systems With Polynomial Growth"}, {"id": "422220", "output": "SVM-based ontology matching approach"}, {"id": "422221", "output": "On the selection of working channels in a channel-hopping cognitive PAN"}, {"id": "422222", "output": "Performance Characterization for IEEE 802.11p Network With Single Channel Devices."}, {"id": "422223", "output": "Stability and TCP-friendliness of AIMD/RED systems with feedback delays"}, {"id": "422224", "output": "Toward Optimal Admission Control and Resource Allocation for LTE-A Femtocell Uplink"}, {"id": "422225", "output": "Application Scheduling, Placement, and Routing for Power Efficiency in Cloud Data Centers."}, {"id": "422226", "output": "Lyapunov-Based Small-Gain Theorems for Hybrid Systems."}, {"id": "422227", "output": "Hybrid Output Regulation With Unmeasured Clock"}, {"id": "422228", "output": "Price prediction in a trading agent competition"}, {"id": "422229", "output": "Linear dynamical models in speech synthesis"}, {"id": "422230", "output": "ConvNets vs. Transformers: Whose Visual Representations are More Transferable?"}, {"id": "422231", "output": "Unsupervised clustering in personal photo collections"}, {"id": "422232", "output": "A cognitive architecture for robot self-consciousness."}, {"id": "422233", "output": "Fuzzy C-Means Inspired Free Form Deformation Technique for Registration"}, {"id": "422234", "output": "Interference Mitigation via Interference-Aware Successive Decoding"}, {"id": "422235", "output": "Automated template-based metadata extraction architecture"}, {"id": "422236", "output": "A unified model for multicore architectures"}, {"id": "422237", "output": "Avoiding Spoilers in Fan Wikis of Episodic Fiction"}, {"id": "422238", "output": "Designing topology-aware collective communication algorithms for large scale InfiniBand clusters: Case studies with Scatter and Gather"}, {"id": "422239", "output": "Orbits: enabling gaze interaction in smart watches using moving targets"}, {"id": "422240", "output": "Pen and paper techniques for physical customisation of tabletop interfaces"}, {"id": "422241", "output": "Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules"}, {"id": "422242", "output": "Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis"}, {"id": "422243", "output": "Energy Characterization Of Reed-Solomon Decoding In 3g Broadcasting"}, {"id": "422244", "output": "A Deterministic Improved Q-Learning for Path Planning of a Mobile Robot."}, {"id": "422245", "output": "A non-monotonic logic for reasoning about speech acts and belief revision"}, {"id": "422246", "output": "Bayesian Inference in the Presence of Determinism."}, {"id": "422247", "output": "Combinatorics in recombinational population genomics"}, {"id": "422248", "output": "View-Clustering and Manifold Learning for Sketch-Based 3D Model Retrieval"}, {"id": "422249", "output": "On-line Gaussian mixture modeling in the log-power domain for signal-to-noise ratio estimation and speech enhancement"}, {"id": "422250", "output": "Upgraded Approximation of Non-Binary Alphabets for Polar Code Construction"}, {"id": "422251", "output": "Design and Experimental Validation of a Minimal Adaptive Real-time Visual Motion Tracking System for Autonomous Robots"}, {"id": "422252", "output": "Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups"}, {"id": "422253", "output": "Color texture segmentation based on image pixel classification"}, {"id": "422254", "output": "Multiple ellipses detection in noisy environments: A hierarchical approach"}, {"id": "422255", "output": "Modeling input modality choice in mobile graphical and speech interfaces."}, {"id": "422256", "output": "Dynamic routing schemes for graphs with low local density"}, {"id": "422257", "output": "Wearable computing for older adults: initial insights into head-mounted display usage"}, {"id": "422258", "output": "A study in the expressiveness of semantically different policy modelling schemes"}, {"id": "422259", "output": "Evaluation Of A Hyperspectral Image Database For Demosaicking Purposes"}, {"id": "422260", "output": "Parallel and Distributed Computing for Cybersecurity"}, {"id": "422261", "output": "Dynamic Selection of Priority Queueing Discipline in Cognitive Radio Networks"}, {"id": "422262", "output": "Design of Wireless Sensor Networks for Mobile Target Detection"}, {"id": "422263", "output": "Characterization of signaling and traffic in Joost."}, {"id": "422264", "output": "Information-centric networking: part II [Guest Editorial]"}, {"id": "422265", "output": "The Effect of Node Density and Propagation Model on Throughput Scaling of Wireless Networks"}, {"id": "422266", "output": "Robust H\u221e fuzzy controller for uncertain nonlinear systems with time-varying delayed state"}, {"id": "422267", "output": "Trace-driven exploration of sharing set management strategies for cache coherence in manycores"}, {"id": "422268", "output": "Maximizing MIMO Capacity in Sparse Multipath With Reconfigurable Antenna Arrays"}, {"id": "422269", "output": "Decentralized compression and predistribution via randomized gossiping"}, {"id": "422270", "output": "Performance Analysis of Dual-Hop AF Systems in Nakagami-m Fading Channels in the Presence of Interference"}, {"id": "422271", "output": "Analytical Performance of Rayleigh-Product MIMO Channels with Arbitrary-Power Co-Channel Interference and Noise"}, {"id": "422272", "output": "Performance Analysis of Optimal Joint Beamforming in Multi-Keyhole MIMO Channels"}, {"id": "422273", "output": "The degrees of freedom of the Group Lasso for a General Design"}, {"id": "422274", "output": "Diffusion maps as a framework for shape modeling"}, {"id": "422275", "output": "A Bayesian Method for Causal Modeling and Discovery Under Selection"}, {"id": "422276", "output": "A clustering algorithm based absorbing nearest neighbors"}, {"id": "422277", "output": "An Informed Environment Dedicated To The Simulation Of Virtual Humans In Urban Context"}, {"id": "422278", "output": "Issues in the Non-Visual Presentation of Graph Based Diagrams"}, {"id": "422279", "output": "Adaptively Mapping Code in an Intelligent Memory Architecture"}, {"id": "422280", "output": "Parallel implementation of logic languages"}, {"id": "422281", "output": "A Qualitative Decision Support System for Sustainable City Planning"}, {"id": "422282", "output": "Realizing a News Value Markup Language for News Management Systems Using NewsML"}, {"id": "422283", "output": "Semantic Web Mining: State of the art and future directions"}, {"id": "422284", "output": "Study of Anomaly Detection Based on Randomized Subspace Methods in IP Networks."}, {"id": "422285", "output": "Interference mitigation for coexistence of heterogeneous ultra-wideband systems"}, {"id": "422286", "output": "Robustness of multicast congestion control to inflated subscription"}, {"id": "422287", "output": "A high-performance and high-programmability reconfigurable wireless development platform"}, {"id": "422288", "output": "Real time anomaly detection in wide area monitoring of smart grids"}, {"id": "422289", "output": "Statistical Power Analysis For High-Performance Processors"}, {"id": "422290", "output": "Achieving \u201corganic compositionality\u201d through self-organization: Reviews on brain-inspired robotics experiments"}, {"id": "422291", "output": "Sliding-window filtering: an efficient algorithm for incremental mining"}, {"id": "422292", "output": "TECfan: Coordinating Thermoelectric Cooler, Fan, and DVFS for CMP Energy Optimization"}, {"id": "422293", "output": "Pose Estimation and Segmentation of People in 3D Movies"}, {"id": "422294", "output": "A Multi-scale Feature Likelihood Map for Direct Evaluation of Object Hypotheses"}, {"id": "422295", "output": "How To Define A Confidence Set For Functions: A New Justification Of The Area Method"}, {"id": "422296", "output": "Variants of Learning Algorithm Based on Kolmogorov Theorem"}, {"id": "422297", "output": "Toward an understanding of the impact of software personal assistants on human organizations"}, {"id": "422298", "output": "UPNT: Uniform Projection and Neighbourhood Thresholding method for motif discovery."}, {"id": "422299", "output": "A method of proactive MANET routing protocol evaluation applied to the OLSR protocol"}, {"id": "422300", "output": "Convergence of cognitive radio networks"}, {"id": "422301", "output": "Performance bound hierarchies for queueing networks"}, {"id": "422302", "output": "System-on-a-chip test scheduling with precedence relationships, preemption, and power constraints"}, {"id": "422303", "output": "STRIPS Planning in Infinite Domains."}, {"id": "422304", "output": "NEPnet: a scalable monitoring system for anomaly detection of network service"}, {"id": "422305", "output": "Reasoning Support for Ontology Design"}, {"id": "422306", "output": "Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction."}, {"id": "422307", "output": "New clustering schemes for energy conservation in two-tiered mobile ad-hoc networks"}, {"id": "422308", "output": "Hardware/Software Co-Design for Matrix Computations on Reconfigurable Computing Systems"}, {"id": "422309", "output": "Comparison of differential grouping and random grouping methods on sCCPSO for large-scale constrained optimization."}, {"id": "422310", "output": "Finite-Time Semistability Theory with Applications to Consensus Protocols in Dynamical Networks"}, {"id": "422311", "output": "Extending k-Coverage Lifetime of Wireless Sensor Networks Using Mobile Sensor Nodes"}, {"id": "422312", "output": "Implication problems for functional constraints on databases supporting complex objects"}, {"id": "422313", "output": "Language-based optimisation of sensor-driven distributed computing applications"}, {"id": "422314", "output": "4D Infant Cortical Surface Atlas Construction Using Spherical Patch-Based Sparse Representation."}, {"id": "422315", "output": "Improvements on CCA model with application to face recognition"}, {"id": "422316", "output": "A Characterization Methodology For Parallel Systems Benchmarks"}, {"id": "422317", "output": "A confabulation model for abnormal vehicle events detection in wide-area traffic monitoring"}, {"id": "422318", "output": "Content-Based Pseudoscopic View Detection"}, {"id": "422319", "output": "Model-Based Vehicle Localization Based on 3-D Constrained Multiple-Kernel Tracking"}, {"id": "422320", "output": "Toward Real-time Volume-based Haptic Communication with Realistic Sensation"}, {"id": "422321", "output": "Deep Level Emotion Understanding Using Customized Knowledge for Human-Robot Communication."}, {"id": "422322", "output": "Development of distributed and self-organized physical cell identity assignment schemes for LTE-advanced systems"}, {"id": "422323", "output": "Evaluation of hierarchical Bayesian method through retinotopic brain activities reconstruction from fMRI and MEG signals."}, {"id": "422324", "output": "A design space for multimodal systems: concurrent processing and data fusion"}, {"id": "422325", "output": "Data privacy considerations in Intensive Care Grids."}, {"id": "422326", "output": "SCALO: Scalability-Aware Parallelism Orchestration for Multi-Threaded Workloads."}, {"id": "422327", "output": "Exploiting geographic opportunistic routing for soft QoS provisioning in wireless sensor networks"}, {"id": "422328", "output": "Cookies on-the-move: managing cookies on a smart card"}, {"id": "422329", "output": "Building a potential field to provide real-time transmission in wireless sensor network"}, {"id": "422330", "output": "Semi-automatic Depth Map Extraction Method for Stereo Video Conversion"}, {"id": "422331", "output": "Oversampled Adaptive Sensing with Random Projections: Analysis and Algorithmic Approaches."}, {"id": "422332", "output": "Multi-layered cross-media linking"}, {"id": "422333", "output": "Connectivity-through-time protocols for dynamic wireless networks to support mobile robot teams"}, {"id": "422334", "output": "Parallel content-based sub-image retrieval using hierarchical searching."}, {"id": "422335", "output": "Document replication strategies for geographically distributed web search engines"}, {"id": "422336", "output": "Particle swarm optimization with a modified sigmoid function for gene selection from gene expression data"}, {"id": "422337", "output": "An Improved Binary Particle Swarm Optimisation for Gene Selection in Classifying Cancer Classes"}, {"id": "422338", "output": "Complementing WordNet with Roget's and corpus-based thesauri for information retrieval"}, {"id": "422339", "output": "The usability of CommandMaps in realistic tasks"}, {"id": "422340", "output": "The effects of network delays on group work in real-time groupware"}, {"id": "422341", "output": "The Haptic Tabletop Puck: tactile feedback for interactive tabletops"}, {"id": "422342", "output": "Multi-car elevator system using Genetic Network Programming for high-rise building"}, {"id": "422343", "output": "A Hierarchical Method for Training Embedded Sigmoidal Neural Networks"}, {"id": "422344", "output": "Trading rules on stock markets using genetic network programming with sarsa learning"}, {"id": "422345", "output": "Extraction of Fundamental Frequency From Degraded Speech Using Temporal Envelopes at High SNR Frequencies."}, {"id": "422346", "output": "On deriving the second-stage training set for trainable combiners"}, {"id": "422347", "output": "Preventing SLA Violations in Service Compositions Using Aspect-Based Fragment Substitution"}, {"id": "422348", "output": "Dynamo + Astro: An Integrated Approach for BPEL Monitoring"}, {"id": "422349", "output": "Automated Discovery and Maintenance of Enterprise Topology Graphs"}, {"id": "422350", "output": "Matrix Completion for Cross-view Pairwise Constraint Propagation"}, {"id": "422351", "output": "A Blind Dynamic Fingerprinting Technique for Sequential Circuit Intellectual Property Protection"}, {"id": "422352", "output": "Variable Resolution Discretization in Optimal Control"}, {"id": "422353", "output": "SecGraph: a uniform and open-source evaluation system for graph data anonymization and de-anonymization"}, {"id": "422354", "output": "Centralized and Distributed Delay-Bounded Scheduling Algorithms for Multicast in Duty-Cycled Wireless Sensor Networks."}, {"id": "422355", "output": "Rule-based semantic summarization of instructional videos"}, {"id": "422356", "output": "Spanning tree based algorithms for low latency and energy efficient data aggregation enhanced convergecast (DAC) in wireless sensor networks"}, {"id": "422357", "output": "Fast Adaptation Decision Taking For Cross-Modal Multimedia Content Adaptation"}, {"id": "422358", "output": "Security-driven model-based dynamic adaptation"}, {"id": "422359", "output": "Interfacing to a virtualized network infrastructure through network service abstractions"}, {"id": "422360", "output": "Energy-Efficient Virtual Grid Aided Routing For Manets"}, {"id": "422361", "output": "Heuristic Based Majority/Minority Logic Synthesis for Emerging Technologies"}, {"id": "422362", "output": "Application of nonlinear filtering to credit risk"}, {"id": "422363", "output": "On two variations of identifying codes"}, {"id": "422364", "output": "Largest Empty Rectangle among a Point Set"}, {"id": "422365", "output": "Time-Varying Quadratic Programming by Zhang Neural Network Equipped with a Time-Varying Design Parameter \u03b3(t)."}, {"id": "422366", "output": "The Time Course of Human Inductive Strength Judgment: An ERP Study"}, {"id": "422367", "output": "Multilevel Thresholding for Image Segmentation Through an Improved Quantum-Behaved Particle Swarm Algorithm"}, {"id": "422368", "output": "A Video Scrambling Technique Based On Space Filling Curves"}, {"id": "422369", "output": "Sequence Sorting in Secondary Storage"}, {"id": "422370", "output": "Iplug: Personalized List Recommendation In Twitter"}, {"id": "422371", "output": "A Low-Voltage Chopper-Stabilized Amplifier for Fetal ECG Monitoring With a 1.41 Power Efficiency Factor."}, {"id": "422372", "output": "Stroke extraction as pre-processing step to improve thinning results of Chinese characters"}, {"id": "422373", "output": "Efficient distributed algorithms to build inverted files"}, {"id": "422374", "output": "Simple and accurate modeling of the output transition time in nanometer CMOS gates"}, {"id": "422375", "output": "Design of Low-Voltage High-Speed CML D-Latches in Nanometer CMOS Technologies."}, {"id": "422376", "output": "An 802.16 model for NS2 simulator with an integrated QoS architecture"}, {"id": "422377", "output": "Parallel sequence mining on shared-memory machines"}, {"id": "422378", "output": "A generalized framework for mining spatio-temporal patterns in scientific data"}, {"id": "422379", "output": "A step-by-step debugging technique to facilitate mashup development and maintenance"}, {"id": "422380", "output": "On modeling, collecting and utilizing context information for disaster responses in pervasive environments"}, {"id": "422381", "output": "Model Predictive Climate Control of a Swiss Office Building: Implementation, Results, and Cost-Benefit Analysis"}, {"id": "422382", "output": "Plane Bichromatic Trees of Low Degree"}, {"id": "422383", "output": "A Context-Based Vehicular Communication Protocol"}, {"id": "422384", "output": "Tailor-made data management for embedded systems: A case study on Berkeley DB"}, {"id": "422385", "output": "A lightweight and portable approach to making concurrent failures reproducible"}, {"id": "422386", "output": "An innovative concept map approach for improving students' learning performance with an instant feedback mechanism."}, {"id": "422387", "output": "Palm vein recognition with local texture patterns"}, {"id": "422388", "output": "Personalised Estimation of the Arterial Input Function for Improved Pharmacokinetic Modelling of Colorectal Cancer Using dceMRI."}, {"id": "422389", "output": "Substructural neighborhoods for local search in the bayesian optimization algorithm"}, {"id": "422390", "output": "Distributed Flow Monitoring Tool Using Network Processor"}, {"id": "422391", "output": "Transportation Policy Formulation As A Multi-Objective Bilevel Optimization Problem"}, {"id": "422392", "output": "A Computational Model of Empathy: Empirical Evaluation"}, {"id": "422393", "output": "Loopholes in Two Public Key Cryptosystems Using the Modular Group"}, {"id": "422394", "output": "An Online Convex Optimization Approach to Real-Time Energy Pricing for Demand Response."}, {"id": "422395", "output": "Gearing up for effective ASP planning"}, {"id": "422396", "output": "Attribute outlier detection over data streams"}, {"id": "422397", "output": "Time-Aware Boolean Spatial Keyword Queries."}, {"id": "422398", "output": "Sequence Decision Diagrams"}, {"id": "422399", "output": "A Graph Theoretic Algorithm for Virtual Network Embedding"}, {"id": "422400", "output": "Who will retweet this?: Automatically Identifying and Engaging Strangers on Twitter to Spread Information"}, {"id": "422401", "output": "Extending Programming by Demonstration with Hierarchical Event Histories"}, {"id": "422402", "output": "A countably infinite mixture model for clustering and feature selection."}, {"id": "422403", "output": "Variational Inequalities with Generalized Monotone Operators"}, {"id": "422404", "output": "Optimal data fitting: a moment approach"}, {"id": "422405", "output": "Optimal Market-Making with Risk Aversion"}, {"id": "422406", "output": "Exploring social properties in vehicular ad hoc networks"}, {"id": "422407", "output": "Modeling and Deploying Networklet."}, {"id": "422408", "output": "Optimal Data Scheduling for P2P VoD Streaming Systems"}, {"id": "422409", "output": "Fast Discovery of Group Lag Correlations in Streams"}, {"id": "422410", "output": "Prioritizing the creation of unit tests in legacy software systems"}, {"id": "422411", "output": "Architecture Recovery of Web Applications"}, {"id": "422412", "output": "Inter-subnet localized mobility support for host identity protocol."}, {"id": "422413", "output": "Adaptive isolation model using data clustering for multimodal function optimization"}, {"id": "422414", "output": "Design and evaluation of finger-count interaction: Combining multitouch gestures and menus"}, {"id": "422415", "output": "Locating Tandem Repeats in Weighted Biological Sequences."}, {"id": "422416", "output": "Suffix Array of Alignment: A Practical Index for Similar Data"}, {"id": "422417", "output": "Efficient Algorithms for Shortest Partial Seeds in Words."}, {"id": "422418", "output": "On-the-fly task execution for speeding up pipelined mapreduce"}, {"id": "422419", "output": "Distributed compressed sensing in wireless local area networks"}, {"id": "422420", "output": "Queuing-Theoretical Multi-user Spectrum Sensing and Access in Multi-channel Cognitive Radio Networks"}, {"id": "422421", "output": "Architectural support for the orchestration of fine-grained multiprocessing for portable streaming applications"}, {"id": "422422", "output": "Improving Compliance in Remote Healthcare Systems Through Smartphone Battery Optimization"}, {"id": "422423", "output": "Logical properties of belief-revision-based bargaining solution"}, {"id": "422424", "output": "Is it worth to approximate fitness by machine learning?: investigation on the extensibility according to problem size."}, {"id": "422425", "output": "Finding an Optimal LEGO\u00ae Brick Layout of Voxelized 3D Object Using a Genetic Algorithm"}, {"id": "422426", "output": "Global existence of solutions to fuzzy differential equations"}, {"id": "422427", "output": "Providing end-to-end QoS in distributed computation using nongreedy task synchronization"}, {"id": "422428", "output": "Finding relational associations in HIV resistance mutation data"}, {"id": "422429", "output": "Game Theoretic Qos Modeling For Joint Resource Allocation In Multi-User Mimo Cellular Networks"}, {"id": "422430", "output": "Multimodal Interaction in Gaming."}, {"id": "422431", "output": "Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design"}, {"id": "422432", "output": "Synchronization in Networked Systems with Parameter Mismatch: Adaptive Decentralized and Distributed Controls."}, {"id": "422433", "output": "MEA: an energy efficient algorithm for dense sector-based wireless sensor networks."}, {"id": "422434", "output": "Fusing shrinking and expanding active contour models for robust iris segementation"}, {"id": "422435", "output": "United-pulse: feeling your partner's pulse"}, {"id": "422436", "output": "ConnectUs: A New Toolkit for Teaching about the Internet of Things."}, {"id": "422437", "output": "Converting UML to OWL ontologies"}, {"id": "422438", "output": "Dcr: A Fully Transparent Checkpoint/Restart Framework For Distributed Systems"}, {"id": "422439", "output": "TSAC: Enforcing Isolation ofVirtual Machines in Clouds"}, {"id": "422440", "output": "A Multi-agent Architecture Based Cooperation and Intelligent Decision Making Method for Multirobot Systems"}, {"id": "422441", "output": "Vision-based Fuzzy Coordination Control for Multiple Robots"}, {"id": "422442", "output": "Empirical Evaluation of Four Tensor Decomposition Algorithms"}, {"id": "422443", "output": "Analysis and recognition of spontaneous speech using Corpus of Spontaneous Japanese"}, {"id": "422444", "output": "Representations for the Drazin Inverse of a 2 x 2 Block Matrix"}, {"id": "422445", "output": "Strategic information revelation in collaborative design."}, {"id": "422446", "output": "Detecting Patterns of Poor Design Solutions Using Constraint Propagation"}, {"id": "422447", "output": "Projecting programs on specifications: Definition and implications."}, {"id": "422448", "output": "Benefits of quantile regression for the analysis of customer lifetime value in a contractual setting: An application in financial services"}, {"id": "422449", "output": "Greedy wire-sizing is linear time"}, {"id": "422450", "output": "Deep Recurrent Q-Learning for Partially Observable MDPs"}, {"id": "422451", "output": "Partial relevance in interactive facial image retrieval"}, {"id": "422452", "output": "SmartRank: a smart scheduling tool for mobile cloud computing"}, {"id": "422453", "output": "A New Output-Sensitive Algorithm to Detect and Resolve Conflicts in Internet Router Tables"}, {"id": "422454", "output": "Interactive storytelling: from AI experiment to new media"}, {"id": "422455", "output": "On some optimization heuristics for lesk-like WSD algorithms"}, {"id": "422456", "output": "A hybrid authentication protocol for large mobile network"}, {"id": "422457", "output": "Generalisation Error Bounds for Sparse Linear Classifiers"}, {"id": "422458", "output": "Soft Clock Skew Scheduling for Variation-Tolerant Signal Processing Circuits: A Case Study of Viterbi Decoders"}, {"id": "422459", "output": "Minmax Regret Median Location on a Network Under Uncertainty"}, {"id": "422460", "output": "The Set Covering Machine with Data-Dependent Half-Spaces"}, {"id": "422461", "output": "An editing system for working processes"}, {"id": "422462", "output": "Productive Development of Dynamic Program Analysis Tools with DiSL"}, {"id": "422463", "output": "Determination of a control function in three-dimensional parabolic equations"}, {"id": "422464", "output": "Cooperative Spectrum Sensing over Mixture-Nakagami Channels"}, {"id": "422465", "output": "Evaluation of users access and navigation profiles on web video sharing environments"}, {"id": "422466", "output": "New kid on the block: exploring the google+ social graph"}, {"id": "422467", "output": "Wearable context-aware food recognition for calorie monitoring"}, {"id": "422468", "output": "Timed automata with urgent transitions"}, {"id": "422469", "output": "A Semi-incremental Recognition Method for On-Line Handwritten Japanese Text"}, {"id": "422470", "output": "Resource-Aware Verification Using Randomized Exploration of Large State Spaces"}, {"id": "422471", "output": "Using speakeasy for ad hoc peer-to-peer collaboration"}, {"id": "422472", "output": "Activity sensing in the wild: a field trial of ubifit garden"}, {"id": "422473", "output": "Towards synchronizing linear collaborative objects with operational transformation"}, {"id": "422474", "output": "Taming wild behavior: the input observer for obtaining text entry and mouse pointing measures from everyday computer use"}, {"id": "422475", "output": "An Empirical Study Of Feature Ranking Techniques For Software Quality Prediction"}, {"id": "422476", "output": "Extracting information from multimedia meeting collections"}, {"id": "422477", "output": "Polynomial Time Summary Statistics For A Generalization Of Maxsat"}, {"id": "422478", "output": "Properties of consonant sequences within words and across word boundaries"}, {"id": "422479", "output": "Issues in Large Vocabulary, Multilingual Speech Recognition"}, {"id": "422480", "output": "Uncertainty-aware architectural interface"}, {"id": "422481", "output": "Quantifying programmers' mental workload during program comprehension based on cerebral blood flow measurement: a controlled experiment"}, {"id": "422482", "output": "VideOlympics: Real-Time Evaluation of Multimedia Retrieval Systems"}, {"id": "422483", "output": "A fully-programmable temperature-compensated analogue circuit for Gaussian functions"}, {"id": "422484", "output": "Searching for design examples with crowdsourcing"}, {"id": "422485", "output": "Directed monotone contact networks for threshold functions"}, {"id": "422486", "output": "Biometric Keystroke Signal Preprocessing Part II: Manipulation."}, {"id": "422487", "output": "Low Power Implementation for Minimum Norm Sorting and Block Upper Tri-angularization of Matrices used in MIMO Wireless Systems"}, {"id": "422488", "output": "\"Ask the Author\": An Academic conference supported system using wireless and mobile devices"}, {"id": "422489", "output": "Determinants for success in online learning communities"}, {"id": "422490", "output": "Fair Optimization of Video Streaming Quality of Experience in LTE Networks Using Distributed Antenna Systems and Radio Resource Management."}, {"id": "422491", "output": "High SNR BER Comparison of Coherent and Differentially Coherent Modulation Schemes in Lognormal Fading Channels."}, {"id": "422492", "output": "Performance Improvement Of Power Analysis Attacks On Aes With Encryption-Related Signals"}, {"id": "422493", "output": "Two-Level Configuration For Fpga: A New Design Methodology Based On A Computing Fabric"}, {"id": "422494", "output": "Automatic loop-shaping of QFT controllers using GAs and evolutionary computation"}, {"id": "422495", "output": "Kuaa: A unified framework for design, deployment, execution, and recommendation of machine learning experiments."}, {"id": "422496", "output": "Scalable and efficient data distribution for distributed computing of all-to-all comparison problems."}, {"id": "422497", "output": "Combining Morphological Feature Extraction and Geometric Hashing for Three-Dimensional Object Recognition Using Range Images"}, {"id": "422498", "output": "A learning state-space model for image retrieval"}, {"id": "422499", "output": "Temporal frequency of flickering-distortion optimized video halftoning for electronic paper."}]}