Control system development tools
APL '87 Proceedings of the international conference on APL: APL in transition
Transistor sizing in CMOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Tutorial: abstraction in numerical methods
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Comparison of two-dimensional FFT methods on the hypercube
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Polynomial decomposition algorithms
Journal of Symbolic Computation
Interpolating polynomials from their values
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Steady-state simulation of queueing processes: survey of problems and solutions
ACM Computing Surveys (CSUR)
Fast Surface Interpolation Using Hierarchical Basis Functions
IEEE Transactions on Pattern Analysis and Machine Intelligence
Cellular automata circuits for built-in self test
IBM Journal of Research and Development
Integrating APL with symbol manipulation, numerical software and graphics
APL '90 Conference proceedings on APL 90: for the future
Rapid, stable fluid dynamics for computer graphics
SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques
Exploiting fast matrix multiplication within the level 3 BLAS
ACM Transactions on Mathematical Software (TOMS)
Parallelization of loops with exits on pipelined architectures
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Using degrees of freedom analysis to solve geometric constraint systems
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Interactive quantitative visualization
IBM Journal of Research and Development
Interactive spacetime control for animation
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
The role of computer software in numerical analysis teaching
ACM SIGNUM Newsletter
A combined symbolic/numeric approach for the integration of stiff nonlinear systems of ODE's
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
A test for cancellation errors in quasi-Newton methods
ACM Transactions on Mathematical Software (TOMS)
Improving the performance of runtime parallelization
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Simulation of Poisson processes with trigonometric rates
WSC '92 Proceedings of the 24th conference on Winter simulation
Dynamic NURBS with geometric constraints for interactive sculpting
ACM Transactions on Graphics (TOG) - Special issue on interactive sculpting
Artificial fishes: physics, locomotion, perception, behavior
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
An automatic lip-synchronization algorithm for synthetic faces
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
IEEE Transactions on Pattern Analysis and Machine Intelligence
APL, dynamic programming, and the optimal control of electromagnetic brake retarders
APL '95 Proceedings of the international conference on Applied programming languages
Dynamic manipulation of triangular B-splines
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Solving algebraic systems using matrix computations
ACM SIGSAM Bulletin
Conductance-based integrate-and-fire models
Neural Computation
Statistical Approaches to Feature-Based Object Recognition
International Journal of Computer Vision
Simulated Annealing and Genetic Algorithms for the Facility LayoutProblem: A Survey
Computational Optimization and Applications
Dimension reduction by local principal component analysis
Neural Computation
Airline crew scheduling with Potts neurons
Neural Computation
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
Journal of Scientific Computing
Accelerated reliability analysis for self-healing SONET networks
Proceedings of the ACM SIGCOMM '98 conference on Applications, technologies, architectures, and protocols for computer communication
Robust Shape Recovery from Occluding Contours Using a Linear Smoother
International Journal of Computer Vision
Qualitative analysis of distributed physical systems with applications to control synthesis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
Timing distribution in VHDL behavioral models
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Incorporating simulation into a design environment
WSC '91 Proceedings of the 23rd conference on Winter simulation
Height-field fluids for computer graphics
WSC '91 Proceedings of the 23rd conference on Winter simulation
An algorithmic framework for performing collaborative filtering
Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval
A Learning-Based Prediction-and-Verification Segmentation Scheme for Hand Sign Image Sequence
IEEE Transactions on Pattern Analysis and Machine Intelligence
Optimization with dynamic functions
APL '98 Proceedings of the APL98 conference on Array processing language
Metrics for shot boundary detection in digital video sequences
Multimedia Systems
Regularized Bundle-Adjustment to Model Heads from Image Sequences without Calibration Data
International Journal of Computer Vision
Hierarchical Discriminant Regression
IEEE Transactions on Pattern Analysis and Machine Intelligence
Probabilistic Modeling and Recognition of 3-D Objects
International Journal of Computer Vision
V-buffer: visible volume rendering
SIGGRAPH '88 Proceedings of the 15th annual conference on Computer graphics and interactive techniques
Modeling inelastic deformation: viscolelasticity, plasticity, fracture
SIGGRAPH '88 Proceedings of the 15th annual conference on Computer graphics and interactive techniques
Digital signal processors for computation intensive statistics and simulation
ACM SIGSIM Simulation Digest
Influence-based model decomposition for reasoning about spatially distributed physical systems
Artificial Intelligence
The Radiometry of Multiple Images
IEEE Transactions on Pattern Analysis and Machine Intelligence
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
An automatic design optimization tool and its application to computational fluid dynamics
Proceedings of the 2001 ACM/IEEE conference on Supercomputing
A comparison of numerical algorithms for Fourier extension of the first, second, and third kinds
Journal of Computational Physics
Automated Software Engineering
Numerical approximations for the steady-state waiting times in a GI/G/1 queue
Queueing Systems: Theory and Applications
Generalized multiprocessor scheduling for directed acylic graphs
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Use of Routh's correction in the cloud-in-cell discrete vortex method
Journal of Computational Physics
Thermoelastic modeling of lithospheric uplift: a finite-difference numerical solution
Computers & Geosciences
Decomposing Simulation Results with Respect to Exogenous Shocks
Computational Economics
D-NURBS: A Physics-Based Framework for Geometric Design
IEEE Transactions on Visualization and Computer Graphics
Characterization of database access pattern for analytic prediction of buffer hit probability
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Micro
Emergent Semantics through Interaction in Image Databases
IEEE Transactions on Knowledge and Data Engineering
Analysis and Synthesis of Facial Image Sequences Using Physical and Anatomical Models
IEEE Transactions on Pattern Analysis and Machine Intelligence
Scale Space Tracking and Deformable Sheet Models for Computational Vision
IEEE Transactions on Pattern Analysis and Machine Intelligence
Generalized Multiprocessor Scheduling and Applications to Matrix Computations
IEEE Transactions on Parallel and Distributed Systems
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
FINESSE: axisymmetric MHD equilibria with flow
Journal of Computational Physics
Model-Based Silhouette Extraction for Accurate People Tracking
ECCV '02 Proceedings of the 7th European Conference on Computer Vision-Part II
Using Dirichlet Free Form Deformation to Fit Deformable Models to Noisy 3-D Data
ECCV '02 Proceedings of the 7th European Conference on Computer Vision-Part II
Twiddle-Factor-Based FFT Algorithm with Reduced Memory Access
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Locating and Tracking Facial Landmarks Using Gabor Wavelet Networks
ICAPR '01 Proceedings of the Second International Conference on Advances in Pattern Recognition
Adaptive Filtering for GARCH Models
IDEAL '02 Proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning
Face Models from Uncalibrated Video Sequences
CAPTECH '98 Proceedings of the International Workshop on Modelling and Motion Capture Techniques for Virtual Environments
Local and Global Skeleton Fitting Techniques for Optical Motion Capture
CAPTECH '98 Proceedings of the International Workshop on Modelling and Motion Capture Techniques for Virtual Environments
Similarity Measure Computation of Convex Polyhedra Revisited
Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000]
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
An Evaluation of the Multi-engine MT Architecture
AMTA '98 Proceedings of the Third Conference of the Association for Machine Translation in the Americas on Machine Translation and the Information Soup
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
A least squares method in back fitting the data base of a simulation model
Advances in Engineering Software
Similarity measure computation of convex polyhedra revisited
Digital and image geometry
Using computer algebra systems in the development of scientific computer codes
Future Generation Computer Systems - Special section: Selected papers from the TERENA networking conference 2002
Event-driven simulation of spiking neurons with stochastic dynamics
Neural Computation
Journal of Computational Physics
Computing in Science and Engineering
Toward a framework for assembling broken pottery vessels
Eighteenth national conference on Artificial intelligence
Seasonal Misspecification in the Context of Fractionally IntegratedUnivariate Time Series
Computational Economics
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
How to Solve the Reuse Problem: Find Out What Isn't Reusable and Don't Use It
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Computer simulations in solid-state NMR. II. implementations for static and rotating samples
Concepts in Magnetic Resonance: an Educational Journal
Motion and structure from multiple cues; image motion, shading flow, and stereo disparity
Computer Vision and Image Understanding
ACM SIGGRAPH 2003 Papers
A fast algorithm for the solution of the time-independent Gross--Pitaevskii equation
Journal of Computational Physics
Visualization of high resolution, three-dimensional, nonlinear finite element analyses
VIS '92 Proceedings of the 3rd conference on Visualization '92
Compilation of a specialized functional language for massively parallel computers
Journal of Functional Programming
Structural Change and the Order of Integration in Univariate Time Series
Computational Economics
A computational framework for the regularization of adjoint analysis in multiscale PDE systems
Journal of Computational Physics
The Stochastic Permanent Break Model and the Fractional Integration Hypothesis
Computational Economics
A Practical Method for Explicitly Modeling Quotas and OtherComplementarities
Computational Economics
Indexing spatio-temporal trajectories with Chebyshev polynomials
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Simulations of magnetic materials with MDGRAPE-2
IBM Journal of Research and Development
Finite-volume compact schemes on staggered grids
Journal of Computational Physics
On the recovery of multiple flow parameters from transient head data
Journal of Computational and Applied Mathematics
A MC-CDMA Mobile Communication System Employing Pre-Rake and Transmit Diversity
Wireless Personal Communications: An International Journal
ACM Transactions on Mathematical Software (TOMS)
A remeshing approach to multiresolution modeling
Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing
An analytic pseudo-spectral method to generate a regular 4-sided PDE surface patch
Computer Aided Geometric Design
Approximating Unknown Mappings: An Experimental Evaluation
Journal of Heuristics
Least-squares 3D reconstruction from one or more views and geometric clues
Computer Vision and Image Understanding
Using Dynamic Tracing Sampling to Measure Long Running Programs
SC '05 Proceedings of the 2005 ACM/IEEE conference on Supercomputing
Robust Local Localization of a Mobile Robot Using a 2-D Laser Range Finder
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Theoretical Computer Science
Computer algebra systems as mathematical optimizing compilers
Science of Computer Programming
Generating personalized anatomy-based 3D facial models from scanned data
Machine Graphics & Vision International Journal
A robust envelope following method applicable to both non-autonomous and oscillatory circuits
Proceedings of the 43rd annual Design Automation Conference
Division of labor in a group of robots inspired by ants' foraging behavior
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Learning Outdoor Color Classification
IEEE Transactions on Pattern Analysis and Machine Intelligence
Geometric modeling based on triangle meshes
ACM SIGGRAPH 2006 Courses
A unified treatment of elastostatic contact simulation for real time haptics
SIGGRAPH '05 ACM SIGGRAPH 2005 Courses
A novel method for robust minimisation of univariate functions with quadratic convergence
Journal of Computational and Applied Mathematics
Granular model of packet pair separation in Poissonian traffic
Computer Networks: The International Journal of Computer and Telecommunications Networking
Calculation of the vacuum Green's function valid even for high toroidal mode numbers in tokamaks
Journal of Computational Physics
Computers in Biology and Medicine
PEAS: A toolbox to assess the accuracy of estimated parameters in environmental models
Environmental Modelling & Software
Compression of magnetohydrodynamic simulation data using singular value decomposition
Journal of Computational Physics
Temporal motion models for monocular and multiview 3D human body tracking
Computer Vision and Image Understanding - Special issue on modeling people: Vision-based understanding of a person's shape, appearance, movement, and behaviour
Knowledge and Information Systems - Special Issue on Mining Low-Quality Data
Expertise visualization: an implementation and study based on cognitive fit theory
Decision Support Systems
Fullwave volumetric Maxwell solver using conduction modes
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Optimal design of english auctions with discrete bid levels
ACM Transactions on Internet Technology (TOIT)
High performance noise reduction for biomedical multidimensional data
Digital Signal Processing
Solving the MAXSAT problem using a multivariate EDA based on Markov networks
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Spectral method for matching exterior and interior elliptic problems
Journal of Computational Physics
Hierarchical error-driven approximation of implicit surfaces from polygonal meshes
SGP '06 Proceedings of the fourth Eurographics symposium on Geometry processing
Robotics and Computer-Integrated Manufacturing
Learning iteratively a classifier with the Bayesian Model Averaging Principle
Pattern Recognition
Gene selection for multiclass prediction by weighted fisher criterion
EURASIP Journal on Bioinformatics and Systems Biology
System-platforms-based SystemC TLM design of image processing chains for embedded applications
EURASIP Journal on Embedded Systems
A portable device for intensive care brain function monitoring with event-related potentials
Computer Methods and Programs in Biomedicine
On the hazard function of Birnbaum-Saunders distribution and associated inference
Computational Statistics & Data Analysis
Computational Statistics & Data Analysis
Sampling stable properties of massive track datasets
Proceedings of the 2007 workshop on Massive datasets
Animating oscillatory motion with overlap: wiggly splines
ACM SIGGRAPH 2008 papers
Dynamic spherical volumetric simplex splins with application in biomedical simulation
Proceedings of the 2008 ACM symposium on Solid and physical modeling
Adjoint-based optimization of PDE systems with alternative gradients
Journal of Computational Physics
Modelling the US, UK and Japanese unemployment rates: Fractional integration and structural breaks
Computational Statistics & Data Analysis
Environmental Modelling & Software
A mathematical model of the pressure of an extreme ideology on a society
Computers & Mathematics with Applications
New least-squares algorithm for model parameters estimation using self-potential anomalies
Computers & Geosciences
Non-linear implications in seismic isolation systems for buildings
MCBE'08 Proceedings of the 9th WSEAS International Conference on Mathematics & Computers In Business and Economics
Numerical Solutions of Asymmetric, First-Price, Independent Private Values Auctions
Computational Economics
Making a Robot Dance to Music Using Chaotic Itinerancy in a Network of FitzHugh-Nagumo Neurons
Neural Information Processing
NBS: A new representation for point surfaces based on genetic clustering algorithm
Computers and Graphics
Efficient estimation of copula-GARCH models
Computational Statistics & Data Analysis
Parameter Estimation of a Monod-Type Model Based on Genetic Algorithms and Sensitivity Analysis
Large-Scale Scientific Computing
A practical guide for optimal designs of experiments in the Monod model
Environmental Modelling & Software
Review-oriented metadata enrichment: a case study
Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries
A sketch-based interface for photo pop-up
Proceedings of the 6th Eurographics Symposium on Sketch-Based Interfaces and Modeling
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
A principled approach towards symbolic geometric constraint satisfaction
Journal of Artificial Intelligence Research
An FPGA implementation of a parallelized MT19937 uniform random number generator
EURASIP Journal on Embedded Systems - FPGA supercomputing platforms, architectures, and techniques for accelerating computationally complex algorithms
Analysis of Type-II progressively hybrid censored data
Computational Statistics & Data Analysis
An analytic pseudo-spectral method to generate a regular 4-sided PDE surface patch
Computer Aided Geometric Design
Least-squares 3D reconstruction from one or more views and geometric clues
Computer Vision and Image Understanding
GCLgrid: A three-dimensional geographical curvilinear grid library for computational seismology
Computers & Geosciences
Novel approach for 3-D reconstruction of coronary arteries from two uncalibrated angiographic images
IEEE Transactions on Image Processing
Mapping clay content variation using electromagnetic induction techniques
Computers and Electronics in Agriculture
Environmental Modelling & Software
COINS: an integrative modelling shell for carbon accounting and general ecological analysis
Environmental Modelling & Software
On signal reconstruction in white noise using dictionaries
Problems of Information Transmission
Computational Biology and Chemistry
An efficient scheme for convection-dominated transport
Journal of Computational Physics
An approach for relay-based identification of anisochronic models
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
A self-calibration scheme for extended frequency-band-decomposition sigma-delta ADC
Analog Integrated Circuits and Signal Processing
To explore or to exploit: An entropy-driven approach for evolutionary algorithms
International Journal of Knowledge-based and Intelligent Engineering Systems
Randomness in a mathematical model for the transmission of respiratory syncytial virus (RSV)
Mathematics and Computers in Simulation
Anatomy-based face reconstruction for animation using multi-layer deformation
Journal of Visual Languages and Computing
Artificial animals for computer animation: biomechanics, locomotion, perception, and behavior
Artificial animals for computer animation: biomechanics, locomotion, perception, and behavior
Subset based least squares subspace regression in RKHS
Neurocomputing
Bayesian inference and prediction of the inverse Weibull distribution for Type-II censored data
Computational Statistics & Data Analysis
Transactions on rough sets VI
A method to estimate the graph structure for a large MRF model
ICANN'07 Proceedings of the 17th international conference on Artificial neural networks
APCC'09 Proceedings of the 15th Asia-Pacific conference on Communications
Energy constraints on deformable models: recovering shape and non-rigid motion
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Inferences on Weibull parameters with conventional type-I censoring
Computational Statistics & Data Analysis
Multi-model classification method in heterogeneous image databases
Pattern Recognition
An intelligent numerical algorithm for solving system of linear algebraic equations
Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India
Energy constraints on deformable models: recovering shape and non-rigid motion
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Solving geometric constraint systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid tabu search heuristic for a bilevel competitive facility location model
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
Local estimates for eigenvector-like centralities of complex networks
Journal of Computational and Applied Mathematics
Bayesian kernel projections for classification of high dimensional data
Statistics and Computing
Journal of Computational and Applied Mathematics
Staged static techniques to efficiently implement array copy semantics in a MATLAB JIT compiler
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
Spatial attrition modeling: Stability conditions for a 2D+t FD formulation
Computers & Mathematics with Applications
A leader-follower game in competitive facility location
Computers and Operations Research
Estimation of a Structural Stochastic Volatility Model of Asset Pricing
Computational Economics
A nearly optimum linear-phase digital FIR filters design
Digital Signal Processing
SimClast: An aggregated forward stratigraphic model of continental shelves
Computers & Geosciences
Deterministic versus stochastic seasonal fractional integration and structural breaks
Statistics and Computing
ModSpec: an open, flexible specification framework for multi-domain device modelling
Proceedings of the International Conference on Computer-Aided Design
Evaluation of parallel paradigms on anisotropic nonlinear diffusion
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
The Knowledge Engineering Review
Modified Eulerian-Lagrangian formulation for hydrodynamic modeling
Journal of Computational Physics
Faces alive: reconstruction of animated 3d human faces
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
AMEC'05 Proceedings of the 2005 international conference on Agent-Mediated Electronic Commerce: designing Trading Agents and Mechanisms
Speech modelling based on acoustic-to-articulatory mapping
Nonlinear Speech Modeling and Applications
A New Pattern Recognition Adaptive Controller with Application to HVAC Systems
Automatica (Journal of IFAC)
Mathematical and Computer Modelling: An International Journal
Determining functional relationships from trained neural networks
Mathematical and Computer Modelling: An International Journal
Alcohol consumption in Spain and its economic cost: A mathematical modeling approach
Mathematical and Computer Modelling: An International Journal
Cost analysis of a vaccination strategy for respiratory syncytial virus (RSV) in a network model
Mathematical and Computer Modelling: An International Journal
The tests of Robinson (1994) for fractional integration. Time domain versus frequency domain
Mathematical and Computer Modelling: An International Journal
A multithreaded solver for the 2D Poisson equation
Proceedings of the 2012 Symposium on High Performance Computing
Computers & Mathematics with Applications
Numerical inversion of a general incomplete elliptic integral
Journal of Computational and Applied Mathematics
Spherical projections with OSXStereonet
Computers & Geosciences
Ramsey vs. lexicographic termination proving
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Study on image retrieval system base on multi-objective and multi-instance learning
International Journal of Wireless and Mobile Computing
SAKE: A new quantification tool for positron emission tomography studies
Computer Methods and Programs in Biomedicine
Fine-grained Benchmark Subsetting for System Selection
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
Hi-index | 0.08 |