WABI '02 Proceedings of the Second International Workshop on Algorithms in Bioinformatics
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Efficient Compression of Web Graphs
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
A Sublinear Time Randomized Algorithm for Coset Enumeration in the Black Box Model
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Energy Balancing Routing Schemes for Low-Power Wireless Networks
CNSR '09 Proceedings of the 2009 Seventh Annual Communication Networks and Services Research Conference
On burstiness-aware search for document sequences
Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining
Finding optimal parameters for edit distance based sequence classification is NP-hard
Proceedings of the KDD-09 Workshop on Statistical and Relational Learning in Bioinformatics
Unsupervised anomaly detection with minimal sensing
Proceedings of the 47th Annual Southeast Regional Conference
On the dilation spectrum of paths, cycles, and trees
Computational Geometry: Theory and Applications
Fixed-parameter evolutionary algorithms and the vertex cover problem
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Reducing long queries using query quality predictors
Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval
Some theoretical challenges in digital geometry: A perspective
Discrete Applied Mathematics
Finding Similarities in Source Code Through Factorization
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Computer and System Sciences
An O(n log n) path-based obstacle-avoiding algorithm for rectilinear Steiner tree construction
Proceedings of the 46th Annual Design Automation Conference
The Cilk++ concurrency platform
Proceedings of the 46th Annual Design Automation Conference
(r,p)-centroid problems on paths and trees
Theoretical Computer Science
Efficient and scalable provisioning of always-on multicast streaming services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Lazy Constraint Imposing for Improving the Path Constraint
Electronic Notes in Theoretical Computer Science (ENTCS)
Run-time selection of security algorithms for networked devices
Proceedings of the 5th ACM symposium on QoS and security for wireless and mobile networks
Learning to rank videos personally using multiple clues
Proceedings of the ACM International Conference on Image and Video Retrieval
Space-efficient algorithms for computing the convex hull of a simple polygonal line in linear time
Computational Geometry: Theory and Applications
Machining feature recognition and tool-path generation for 3-axis CNC milling
Computer-Aided Design
A barcode shape descriptor for curve point cloud data
Computers and Graphics
A freehand sketching interface for progressive construction of 3D objects
Computers and Graphics
Intra-domain routing convergence with centralized control
Computer Networks: The International Journal of Computer and Telecommunications Networking
A scalable lock-free stack algorithm
Journal of Parallel and Distributed Computing
Multiple crossdocks with inventory and time windows
Computers and Operations Research
Natural language generation with tree conditional random fields
EMNLP '09 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1
Effective segmentation and classification for HCC biopsy images
Pattern Recognition
Low complexity link state multipath routing
INFOCOM'09 Proceedings of the 28th IEEE international conference on Computer Communications Workshops
The Cilk++ concurrency platform
The Journal of Supercomputing
Finite automata based algorithms on subsequences and supersequences of degenerate strings
Journal of Discrete Algorithms
A faster algorithm for the single source shortest path problem with few distinct positive lengths
Journal of Discrete Algorithms
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
On bandwidth adjusted multicast in pipelined routing architecture for mobile environment
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Congestion and almost invariant sets in dynamical systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
A nearly memory-optimal data structure for sets and mappings
SPIN'03 Proceedings of the 10th international conference on Model checking software
Achieving k-anonymity via a density-based clustering method
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Calculating optimal decision using meta-level agents for multi-agents in networks
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
Architecture of a Java framework for developing genetic algorithms in AI class
Journal of Computing Sciences in Colleges
Technical Section: Fast construction of the Vietoris-Rips complex
Computers and Graphics
Perfect matchings in o(n log n) time in regular bipartite graphs
Proceedings of the forty-second ACM symposium on Theory of computing
The Cilkview scalability analyzer
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
The tidy set: a minimal simplicial set for computing homology of clique complexes
Proceedings of the twenty-sixth annual symposium on Computational geometry
ICICS'09 Proceedings of the 7th international conference on Information, communications and signal processing
A Low-Cost Deadlock-Free Design of Minimal-Table Rerouted XY-Routing for Irregular Wireless NoCs
NOCS '10 Proceedings of the 2010 Fourth ACM/IEEE International Symposium on Networks-on-Chip
A near-linear-time algorithm for computing replacement paths in planar directed graphs
ACM Transactions on Algorithms (TALG)
Toward maximizing throughput in multichannel multirate wireless networks
IEEE Communications Letters
ADMiRA: atomic decomposition for minimum rank approximation
IEEE Transactions on Information Theory
Orion: shortest path estimation for large social graphs
WOSN'10 Proceedings of the 3rd conference on Online social networks
Analytical and experimental comparison of six algorithms for the vertex cover problem
Journal of Experimental Algorithmics (JEA)
Using simple abstraction to reinvent computing for parallelism
Communications of the ACM
Fast and accurate estimation of shortest paths in large graphs
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
On Euclidean norm approximations
Pattern Recognition
FUN'10 Proceedings of the 5th international conference on Fun with algorithms
Assigning applications to servers: a simulation study
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Optimizing energy to minimize errors in dataflow graphs using approximate adders
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Language-based replay via data flow cut
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Application of re-estimation in re-planning of software product releases
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Formal definition of syntax and semantics for documenting variability in activity diagrams
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
On automated program construction and verification
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Issues in testing collection class libraries
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Optimal OFDMA downlink scheduling under a control signaling cost constraint
IEEE Transactions on Communications
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
An efficient strategy for storing and searching binary trees in WORM external memory
Journal of Information Science
Interactive route search in the presence of order constraints
Proceedings of the VLDB Endowment
Privacy policies for shared content in social network sites
The VLDB Journal — The International Journal on Very Large Data Bases
Size-energy tradeoffs for unate circuits computing symmetric Boolean functions
Theoretical Computer Science
Complexity results for the spanning tree congestion problem
WG'10 Proceedings of the 36th international conference on Graph-theoretic concepts in computer science
Finding strong bridges and strong articulation points in linear time
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
Scheduling packets with values and deadlines in size-bounded buffers
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
Complexity issues in vertex-colored graph pattern matching
Journal of Discrete Algorithms
Decision problems for convex languages
Information and Computation
An empirical assessment of approaches to distributed enforcement in role-based access control (RBAC)
Proceedings of the first ACM conference on Data and application security and privacy
Delaunay triangulations in O(sort(n)) time and more
Journal of the ACM (JACM)
Visually and phonologically similar characters in incorrect simplified Chinese words
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Mathematical limits of parallel computation for embedded systems
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Sorting algorithms as special cases of a priority queue sort
Proceedings of the 42nd ACM technical symposium on Computer science education
ACM Transactions on Asian Language Information Processing (TALIP)
Event sharing in vehicular networks using geographic vectors and maps
Mobile Information Systems
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Parallelism and data movement characterization of contemporary application classes
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
Real-time diameter monitoring for time-evolving graphs
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Convex hull of imprecise points in o(n log n) time after preprocessing
Proceedings of the twenty-seventh annual symposium on Computational geometry
On the euclidean bottleneck full Steiner tree problem
Proceedings of the twenty-seventh annual symposium on Computational geometry
The euclidean bottleneck steiner path problem
Proceedings of the twenty-seventh annual symposium on Computational geometry
Relationship-based access control policies and their policy languages
Proceedings of the 16th ACM symposium on Access control models and technologies
Boosting multi-core reachability performance with shared hash tables
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
The design and coding of greedy algorithms revisited
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
Jazz harmonic analysis as optimal tonality segmentation
Computer Music Journal
Note: Embedding two edge-disjoint Hamiltonian cycles into locally twisted cubes
Theoretical Computer Science
On-the-fly detection of precise loop nests across procedures on a dynamic binary translation system
Proceedings of the 8th ACM International Conference on Computing Frontiers
Jump number of two-directional orthogonal ray graphs
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
BFS solution for disjoint paths in P systems
UC'11 Proceedings of the 10th international conference on Unconventional computation
Movement algorithms for refugee agents for virtual disaster simulation systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Parametric subscriptions for content-based publish/subscribe networks
Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware
Energy-efficient MIMO detection using unequal error protection for embedded joint decoding system
Proceedings of the 48th Design Automation Conference
MCPR'11 Proceedings of the Third Mexican conference on Pattern recognition
Efficient supervised optimum-path forest classification for large datasets
Pattern Recognition
Estimating sample mean under interval uncertainty and constraint on sample variance
International Journal of Approximate Reasoning
Efficient selectivity estimation by histogram construction based on subspace clustering
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
O(1)-Approximations for maximum movement problems
APPROX'11/RANDOM'11 Proceedings of the 14th international workshop and 15th international conference on Approximation, randomization, and combinatorial optimization: algorithms and techniques
Extracting temporal equivalence relationships among keywords from time-stamped documents
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
The MST of symmetric disk graphs is light
Computational Geometry: Theory and Applications
Using the shadow as a single feature for real-time monocular vehicle pose determination
ISVC'11 Proceedings of the 7th international conference on Advances in visual computing - Volume Part I
A nonparametric classification method based on K-associated graphs
Information Sciences: an International Journal
A DEVS library for rail operations simulation
Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium
Minimum latency data aggregation in the physical interference model
Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Tree-based double-covered broadcast for wireless ad hoc networks
Proceedings of the 9th ACM international symposium on Mobility management and wireless access
Reliability-Driven Power/Ground Routing for Analog ICs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SIAM Journal on Computing
The Journal of Supercomputing
Recursive proofs for inductive tree data-structures
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast brief practical DFA minimization
Information Processing Letters
Approximation algorithms for free-label maximization
Computational Geometry: Theory and Applications
Analog Integrated Circuits and Signal Processing
Experiments on union-find algorithms for the disjoint-set data structure
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Policy-based benchmarking of weak heaps and their relatives,
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Persistent predecessor search and orthogonal point location on the word RAM
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Fast and exact top-k search for random walk with restart
Proceedings of the VLDB Endowment
Steiner tree reoptimization in graphs with sharpened triangle inequality
Journal of Discrete Algorithms
The laplacian paradigm: emerging algorithms for massive graphs
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Recovering social networks from contagion information
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Deterministic parallel random-number generation for dynamic-multithreading platforms
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Scalable parallel minimum spanning forest computation
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Towards intelligent management of a student's time
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Statistical measures of two dimensional point set uniformity
Computational Statistics & Data Analysis
The MST of symmetric disk graphs is light
SWAT'10 Proceedings of the 12th Scandinavian conference on Algorithm Theory
Metaphors and analogies for teaching algorithms
Proceedings of the 43rd ACM technical symposium on Computer Science Education
A software craftsman's approach to data structures
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Introducing parallelism and concurrency in the data structures course
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Scalable efficient composite event detection
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Empires make cartography hard: the complexity of the empire colouring problem
WG'11 Proceedings of the 37th international conference on Graph-Theoretic Concepts in Computer Science
Optimizing a radial layout of bipartite graphs for a tool visualizing security alerts
GD'11 Proceedings of the 19th international conference on Graph Drawing
ADMA'11 Proceedings of the 7th international conference on Advanced Data Mining and Applications - Volume Part II
Efficient algorithms for collision avoidance at intersections
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Work stealing strategies for parallel stream processing in soft real-time systems
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
On the approximation ratio of the path matching christofides algorithm
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Computers and Operations Research
The growing-tree sorting algorithm
WSEAS Transactions on Information Science and Applications
Prioritizing constraint evaluation for efficient points-to analysis
CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
VMMB: Virtual Machine Memory Balancing for Unmodified Operating Systems
Journal of Grid Computing
Efficient algorithms for local ranking
Information Processing Letters
Effective caching of shortest paths for location-based services
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Succinct representations of permutations and functions
Theoretical Computer Science
A chip-package-board co-design methodology
Proceedings of the 49th Annual Design Automation Conference
A novel layout decomposition algorithm for triple patterning lithography
Proceedings of the 49th Annual Design Automation Conference
Computing gene functional similarity using combined graphs
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Portable Parallel Programs using architecture-aware libraries
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Approximation with a fixed number of solutions of some biobjective maximization problems
WAOA'11 Proceedings of the 9th international conference on Approximation and Online Algorithms
Partition refinement for bisimilarity in CCP
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Revisiting the cache miss analysis of multithreaded algorithms
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
Approximating Tverberg points in linear time for any fixed dimension
Proceedings of the twenty-eighth annual symposium on Computational geometry
CODD: constructing dataless databases
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Synthetic tree models from iterated discrete graphs
Proceedings of Graphics Interface 2012
Greedy sequential maximal independent set and matching are parallel on average
Proceedings of the twenty-fourth annual ACM symposium on Parallelism in algorithms and architectures
Finding strong bridges and strong articulation points in linear time
Theoretical Computer Science
Forming project groups while learning about matching and network flows in algorithms
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Enriching introductory programming courses with non-intuitive probability experiments component
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
On the efficiency of an order-based representation in the clique covering problem
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Queueing Systems: Theory and Applications
Efficient personalized pagerank with accuracy assurance
Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining
Adaptive Compressed Image Sensing Using Dictionaries
SIAM Journal on Imaging Sciences
Efficient techniques for near-optimal instrumentation in time-triggered runtime verification
RV'11 Proceedings of the Second international conference on Runtime verification
Asymptotic limits of a new type of maximization recurrence with an application to bioinformatics
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
A faster hierarchical balanced bipartitioner for VLSI floorplans using monotone staircase cuts
VDAT'12 Proceedings of the 16th international conference on Progress in VLSI Design and Test
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Keyword-aware optimal route search
Proceedings of the VLDB Endowment
Efficient multi-way theta-join processing using MapReduce
Proceedings of the VLDB Endowment
Property-preserving program refinement
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Perfect hashing and CNF encodings of cardinality constraints
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Relay node positioning in wireless sensor networks by means of evolutionary techniques
AIS'12 Proceedings of the Third international conference on Autonomous and Intelligent Systems
Space-constrained interval selection
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
The weak-heap data structure: Variants and applications
Journal of Discrete Algorithms
High-quality curve rendering using line sampled visibility
ACM Transactions on Graphics (TOG) - Proceedings of ACM SIGGRAPH Asia 2012
Branch mispredictions don't affect mergesort
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
Computing strong articulation points and strong bridges in large scale graphs
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
Generation of test data structures using constraint logic programming
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Mining top-k association rules
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Finding longest common segments in protein structures in nearly linear time
CPM'12 Proceedings of the 23rd Annual conference on Combinatorial Pattern Matching
In-place heap construction with optimized comparisons, moves, and cache misses
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Robotics and Computer-Integrated Manufacturing
A clustering approach for structural k-anonymity in social networks using genetic algorithm
Proceedings of the CUBE International Information Technology Conference
Convex hull game: a tangible context for algorithms and computer graphics concepts
Journal of Computing Sciences in Colleges
QSEA for fuzzy subgraph querying of KEGG pathways
Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program
Fundamenta Informaticae
A Provenance-based Adaptive Scheduling Heuristic for Parallel Scientific Workflows in Clouds
Journal of Grid Computing
Energy-efficient tasks scheduling algorithm for real-time multiprocessor embedded systems
The Journal of Supercomputing
Minimum latency data aggregation in the physical interference model
Computer Communications
Pattern Recognition Letters
Constructing sensor barriers with minimum cost in wireless sensor networks
Journal of Parallel and Distributed Computing
Heedless programming: ignoring detectable error is a widespread hazard
Software—Practice & Experience
Every DFS Tree of a 3-Connected Graph Contains a Contractible Edge
Journal of Graph Theory
Some new properties of lists and a framework of a list theoretic relation model
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Jetway: minimizing costs on inter-datacenter video traffic
Proceedings of the 20th ACM international conference on Multimedia
G-SPARQL: a hybrid engine for querying large attributed graphs
Proceedings of the 21st ACM international conference on Information and knowledge management
Pay-as-you-go maintenance of precomputed nearest neighbors in large graphs
Proceedings of the 21st ACM international conference on Information and knowledge management
Measuring regularity of convex polygons
Computer-Aided Design
Computer-Aided Design
Function optimisation by learning automata
Information Sciences: an International Journal
A multi-controller design for solid-state drives
Proceedings of the 2012 ACM Research in Applied Computation Symposium
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
On the state and computational complexity of the reverse of acyclic minimal DFAs
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
WαSH: weighted α-shapes for local feature detection
ECCV'12 Proceedings of the 12th European conference on Computer Vision - Volume Part II
The bitvector machine: a fast and robust machine learning algorithm for non-linear problems
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Graphics Interaction: A procedural method for irregular tree models
Computers and Graphics
Towards efficient arithmetic for lattice-based cryptography on reconfigurable hardware
LATINCRYPT'12 Proceedings of the 2nd international conference on Cryptology and Information Security in Latin America
A Decentralized Periodic Replication Strategy Based on Knapsack Problem
GRID '12 Proceedings of the 2012 ACM/IEEE 13th International Conference on Grid Computing
On the design of hardware building blocks for modern lattice-based encryption schemes
CHES'12 Proceedings of the 14th international conference on Cryptographic Hardware and Embedded Systems
String matching with involutions
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
On the limits of the classical approach to cost analysis
SAS'12 Proceedings of the 19th international conference on Static Analysis
Convex hull of points lying on lines in o(nlogn) time after preprocessing
Computational Geometry: Theory and Applications
Finding consensus and optimal alignment of circular strings
Theoretical Computer Science
Efficient algorithms for pursuing moving evaders in terrains
Proceedings of the 20th International Conference on Advances in Geographic Information Systems
New solutions for disjoint paths in P systems
Natural Computing: an international journal
Prius: generic hybrid trace compression for wireless sensor networks
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems
A multi-controller architecture for high-performance solid-state drives
ACM SIGAPP Applied Computing Review
Journal of Biomedical Informatics
Near-optimal continuous patrolling with teams of mobile information gathering agents
Artificial Intelligence
NSS'12 Proceedings of the 6th international conference on Network and System Security
Maximum stability data gathering trees for mobile sensor networks
International Journal of Mobile Network Design and Innovation
Fast and memory-efficient minimum spanning tree on the GPU
International Journal of Computational Science and Engineering
Relaxed lightweight assembly retrieval using vector space model
Computer-Aided Design
Ligra: a lightweight graph processing framework for shared memory
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
Modelling correlations for body sensor network information
Proceedings of the 7th International Conference on Body Area Networks
Integrating theoretical and empirical computer science in a data structures course
Proceeding of the 44th ACM technical symposium on Computer science education
A hybrid GRASP heuristic to construct effective drawings of proportional symbol maps
Computers and Operations Research
Scheduling Packets with Values and Deadlines in Size-Bounded Buffers
Journal of Combinatorial Optimization
Using the crowd for top-k and group-by queries
Proceedings of the 16th International Conference on Database Theory
Detecting source code similarity using code abstraction
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
A lightweight task graph scheduler for distributed high-performance scientific computing
PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
On the succinctness of some modal logics
Artificial Intelligence
Efficient breadth-first search on large graphs with skewed degree distributions
Proceedings of the 16th International Conference on Extending Database Technology
High contrast color sets under multiple illuminants
CCIW'13 Proceedings of the 4th international conference on Computational Color Imaging
Optimal Clustering Selection on Hierarchical System Network
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Graph Searching Algorithms for Semantic-Social Recommendation
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Efficient Loop Scheduling for Chip Multiprocessors with Non-Volatile Main Memory
Journal of Signal Processing Systems
Dynamic programming from an excel perspective
Journal of Computing Sciences in Colleges
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Systems of distant representatives in euclidean space
Proceedings of the twenty-ninth annual symposium on Computational geometry
A faster algorithm for computing motorcycle graphs
Proceedings of the twenty-ninth annual symposium on Computational geometry
Proceedings of the 18th ACM symposium on Access control models and technologies
Property-testing real-world authorization systems
Proceedings of the 18th ACM symposium on Access control models and technologies
Generalizing the improved run-time complexity algorithm for non-dominated sorting
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Significance-based energy-efficient path selection for multi-source underwater sensor networks
International Journal of Sensor Networks
On optimal worst-case matching
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Parametric Content-Based Publish/Subscribe
ACM Transactions on Computer Systems (TOCS)
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Proceedings of the 6th International Conference on Computer Vision / Computer Graphics Collaboration Techniques and Applications
SMashQ: spatial mashup framework for k-NN queries in time-dependent road networks
Distributed and Parallel Databases
Graph models and their efficient implementation for sparse Jacobian matrix determination
Discrete Applied Mathematics
Towards a method for automatically evolving bayesian network classifiers
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
A divide and conquer approach and a work-optimal parallel algorithm for the LIS problem
Information Processing Letters
Persistent Predecessor Search and Orthogonal Point Location on the Word RAM
ACM Transactions on Algorithms (TALG) - Special Issue on SODA'11
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Data-oblivious graph algorithms for secure computation and outsourcing
Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security
An overview of algorithms for network survivability
ISRN Communications and Networking
Optimal control of a grid-connected hybrid electrical energy storage system for homes
Proceedings of the Conference on Design, Automation and Test in Europe
On-the-fly pipeline parallelism
Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures
Reducing contention through priority updates
Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures
RFID-data compression for supporting aggregate queries
ACM Transactions on Database Systems (TODS)
Multiple chip planning for chip-interposer codesign
Proceedings of the 50th Annual Design Automation Conference
LEQA: latency estimation for a quantum algorithm mapped to a quantum circuit fabric
Proceedings of the 50th Annual Design Automation Conference
On learning-based methods for design-space exploration with high-level synthesis
Proceedings of the 50th Annual Design Automation Conference
WiT: optimal wiring topology for electromigration avoidance
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Recovering information recipients in social media via provenance
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Non-solution implications using reverse domination in a modern SAT-based debugging environment
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
International Journal of Mobile Network Design and Innovation
SimMatrix: SIMulator for MAny-Task computing execution fabRIc at eXascale
Proceedings of the High Performance Computing Symposium
Clustering based on a near neighbor graph and a grid cell graph
Journal of Intelligent Information Systems
A parallel dual-scanline algorithm for partitioning parameterized 45-degree polygons
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special Section on Networks on Chip: Architecture, Tools, and Methodologies
Seeking provenance of information using social media
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Gene Set Cultural Algorithm: A Cultural Algorithm Approach to Reconstruct Networks from Gene Sets
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Asymmetric signature schemes for efficient exact edit similarity query processing
ACM Transactions on Database Systems (TODS)
Three-dimensional Route Planning for Unmanned Aerial Vehicles in a Risk Environment
Journal of Intelligent and Robotic Systems
Semi-automatic rename refactoring for JavaScript
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Turning nondeterminism into parallelism
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
ACM Transactions on Embedded Computing Systems (TECS)
Bounded-degree minimum-radius spanning trees in wireless sensor networks
Theoretical Computer Science
Static analysis of worst-case stack cache behavior
Proceedings of the 21st International conference on Real-Time Networks and Systems
Proceedings of the 6th International Conference on Security of Information and Networks
Uncovering access control weaknesses and flaws with security-discordant software clones
Proceedings of the 29th Annual Computer Security Applications Conference
Solving difference constraints over modular arithmetic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Concurrent operations of O2-tree on shared memory multicore architectures
ADC '13 Proceedings of the Twenty-Fourth Australasian Database Conference - Volume 137
On semantics of inference in bayesian networks
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A purity measure based transductive learning algorithm
ISNN'13 Proceedings of the 10th international conference on Advances in Neural Networks - Volume Part II
Optimal partitioning for dual pivot quicksort
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
On the extension complexity of combinatorial polytopes
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
USTO.RE: a private cloud storage software system
ICWE'13 Proceedings of the 13th international conference on Web Engineering
An analysis of chain characteristics in the cryptanalytic TMTO method
Theoretical Computer Science
A dynamic programming solution to a generalized LCS problem
Information Processing Letters
Approximation with a fixed number of solutions of some multiobjective maximization problems
Journal of Discrete Algorithms
Computer Vision and Image Understanding
Asymptotics and random sampling for BCI and BCK lambda terms
Theoretical Computer Science
Reachability probabilities of quantum markov chains
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
The lazy bureaucrat problem with common arrivals and deadlines: approximation and mechanism design
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
An Experimental Method for the Active Learning of Greedy Algorithms
ACM Transactions on Computing Education (TOCE)
Extraction and integration of partially overlapping web sources
Proceedings of the VLDB Endowment
Top-K structural diversity search in large networks
Proceedings of the VLDB Endowment
Efficient simrank-based similarity join over large graphs
Proceedings of the VLDB Endowment
The roles of mathematics in computer science
ACM Inroads
Accurate probability calibration for multiple classifiers
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computation of components' interfaces in highly complex assemblies
Computer-Aided Design
A brief history of web crawlers
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Global property violation detection and diagnosis for wireless sensor networks
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
Simple analysis of partial worst-case execution paths on general control flow graphs
Proceedings of the Eleventh ACM International Conference on Embedded Software
Randomized post-optimization for t-restrictions
Information Theory, Combinatorics, and Search Theory
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Fishing for minimum evolution trees with Neighbor-Nets
Information Processing Letters
A scalable approach to computing representative lowest common ancestor in directed acyclic graphs
Theoretical Computer Science
The optical character recognition of Urdu-like cursive scripts
Pattern Recognition
Optimal local community detection in social networks based on density drop of subgraphs
Pattern Recognition Letters
Journal of Discrete Algorithms
Unlabeling data can improve classification accuracy
Pattern Recognition Letters
Hierarchical spatiotemporal feature extraction using recurrent online clustering
Pattern Recognition Letters
Flight path planning for unmanned aerial vehicles with landmark-based visual navigation
Robotics and Autonomous Systems
A hierarchical approach for primitive-based motion planning and control of autonomous vehicles
Robotics and Autonomous Systems
A branch-and-bound algorithm for assembly line worker assignment and balancing problems
Computers and Operations Research
Efficient decomposition of strongly connected components on GPUs
Journal of Systems Architecture: the EUROMICRO Journal
A Parallel Data Distribution Management Algorithm
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Hybrid query execution engine for large attributed graphs
Information Systems
Discrete Applied Mathematics
Largest area convex hull of imprecise data based on axis-aligned squares
Journal of Combinatorial Optimization
A Framework For Handling Local Broadcast Storm Using Probabilistic Data Aggregation In VANET
Wireless Personal Communications: An International Journal
Multivariate microaggregation by iterative optimization
Applied Intelligence
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
A Rough Set Approach to Information Systems Decomposition
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Visualizing robustness of critical points for 2D time-varying vector fields
EuroVis '13 Proceedings of the 15th Eurographics Conference on Visualization
Hi-index | 0.09 |
If you had to buy just one text on algorithms, Introduction to Algorithms is a magnificent choice. The book begins by considering the mathematical foundations of the analysis of algorithms and maintains this mathematical rigor throughout the work. The tools developed in these opening sections are then applied to sorting, data structures, graphs, and a variety of selected algorithms including computational geometry, string algorithms, parallel models of computation, fast Fourier transforms (FFTs), and more. This book's strength lies in its encyclopedic range, clear exposition, and powerful analysis. Pseudo-code explanation of the algorithms coupled with proof of their accuracy makes this book is a great resource on the basic tools used to analyze the performance of algorithms.