Sciweavers

4926 search results - page 233 / 986
» Two Graph Algorithms On an Associative Computing Model
Sort
View
COMGEO
1999
ACM
15 years 6 months ago
Dynamic algorithms for geometric spanners of small diameter: Randomized solutions
Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...
Sunil Arya, David M. Mount, Michiel H. M. Smid
IPPS
2005
IEEE
16 years 15 hour ago
Job Allocation Schemes in Computational Grids Based on Cost Optimization
In this paper we propose two price-based job allocation schemes for computational grids. A grid system tries to solve problems submitted by various grid users by allocating the jo...
Satish Penmatsa, Anthony T. Chronopoulos
ICASSP
2008
IEEE
16 years 26 days ago
Symbol graph based discriminative training and rescoring for improved math symbol recognition
In the symbol recognition stage of online handwritten math expression recognition, the one-pass dynamic programming algorithm can produce high-quality symbol graphs in addition of...
Zhen Xuan Luo, Yu Shi, Frank K. Soong
ICCS
2005
Springer
15 years 12 months ago
Dynamic Data Driven Methodologies for Multiphysics System Modeling and Simulation
We are presenting a progress overview associated with our work on a data-driven environment for multiphysics applications (DDEMA). In this paper, we emphasize the dynamic-data-driv...
John Michopoulos, Charbel Farhat, Elias N. Houstis...
FOSSACS
2011
Springer
14 years 10 months ago
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Naoki Kobayashi