Task Response Time for Real-Time Distributed Systems with Resource Contentions
IEEE Transactions on Software Engineering
A Generalized Depth Estimation Algorithm with a Single Image
IEEE Transactions on Pattern Analysis and Machine Intelligence
Differential equations are recurrence relations in APL
APL '92 Proceedings of the international conference on APL
Using defined operators and function arrays to solve non-linear equations in APL2
APL '93 Proceedings of the international conference on APL
Quadrature prefiltering for high quality antialiasing
ACM Transactions on Graphics (TOG)
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fast volume-preserving free form deformation using multi-level optimization
Proceedings of the fifth ACM symposium on Solid modeling and applications
Numerical Solution of an Endogenous Growth Model with Threshold Learning
Computational Economics
Data parallel implementation of surface-to-surface intersection
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Avatar kinematics modeling for telecollaborative virtual environments
Proceedings of the 32nd conference on Winter simulation
Using Monte Carlo simulation to assess the value of combination vaccines for pediatric immunization
Proceedings of the 33nd conference on Winter simulation
Unit commitment by augmented Lagrangian relaxation: testing two decomposition approaches
Journal of Optimization Theory and Applications
Coaxing a planar curve to comply
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the 9th International Congress on computational and applied mathematics
Localization of an Autonomous Mobile Robot Based on Ultrasonic Sensory Information
Journal of Intelligent and Robotic Systems
Adaptive integration revisted: operators and adverbs come of age
ACM SIGAPL APL Quote Quad
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
A Multiprocessor Bus Design Model Validated by System Measurement
IEEE Transactions on Parallel and Distributed Systems
Non-uniform sampling for improved appearance-based models
Pattern Recognition Letters
On the attractivity of a class of homogeneous dynamic economic systems
Nonlinear Analysis: Theory, Methods & Applications
Journal of Computational and Applied Mathematics
Taylor series based finite difference approximations of higher-degree derivatives
Journal of Computational and Applied Mathematics
Cubic spline interpolation predictors over implicitly defined curves
Journal of Computational and Applied Mathematics
A preemptive resume queue with an expiry time for retained service
Performance Evaluation
A fast algorithm for evaluating nth order tri-diagonal determinants
Journal of Computational and Applied Mathematics
An arc spline approximation to a clothoid
Journal of Computational and Applied Mathematics
Journal of Computational and Applied Mathematics
A stochastic scheme for solving definite integrals
Applied Numerical Mathematics
A Smoothing Method of Global Optimization that Preserves Global Minima
Journal of Global Optimization
The Minimal Local-Asperity Hypothesis of Early Retinal Lateral Inhibition
Neural Computation
Stability versus speed in a computable algebraic model
Theoretical Computer Science - Real numbers and computers
Numerical Integration Based on a Neural Network Algorithm
Computing in Science and Engineering
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
A New Active Convex Hull Model for Image Regions
Journal of Mathematical Imaging and Vision
Technical Section: Simulation of atmospheric phenomena
Computers and Graphics
Fairing point sets using curvature
Computer-Aided Design
Light interaction with human skin: from believable images to predictable models
ACM SIGGRAPH ASIA 2008 courses
On the time-dependent occupancy distribution of the g/g/1 queuing system
Probability in the Engineering and Informational Sciences
On the time-dependent occupancy distribution of the g/g/1 queuing system
Probability in the Engineering and Informational Sciences
Journal of Artificial Intelligence Research
Use of lithography simulation for the calibration of equation-based design rule checks
Proceedings of the 46th Annual Design Automation Conference
Fluctuationlessness theorem to approximate univariate functions' matrix representations
WSEAS Transactions on Mathematics
Fast multiple-symbol detection for free-space optical communications
IEEE Transactions on Communications
Vehicle speed estimation using acoustic wave patterns
IEEE Transactions on Signal Processing
Online identification of the rotor time constant of an induction machine
ACC'09 Proceedings of the 2009 conference on American Control Conference
Finite precision bit-width allocation using SAT-modulo theory
Proceedings of the Conference on Design, Automation and Test in Europe
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
Computers & Mathematics with Applications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Study of process dynamics in Floatex density separator based on computational intelligent vision
International Journal of Computational Vision and Robotics
All in the XL family: theory and practice
ICISC'04 Proceedings of the 7th international conference on Information Security and Cryptology
Wireless Personal Communications: An International Journal
Wireless Personal Communications: An International Journal
| Hi-index | 0.01 |