Found 36 Documents (Results 1–36)
Specification transformation method for functional program generation based on partition-recursion refinement rule. (English) Zbl 1541.68092
MSC:
68N18
Regular expressions and transducers over alphabet-invariant and user-defined labels. (English) Zbl 1474.68176
MSC:
68Q45
Enhanced modified-polygon method for point-in-polygon problem. (English) Zbl 1455.68230
Farouk, Mohamed Hesham (ed.) et al., Recent advances in engineering math and physics. Proceedings of the international conference, RAEMP 2019, Cairo, Egypt, December 24–26, 2019. Cham: Springer. 47-61 (2020).
MSC:
68U05
On closest pair in Euclidean metric: monochromatic is as hard as bichromatic. (English) Zbl 1542.68199
Blum, Avrim (ed.), 10th innovations in theoretical computer science conference, ITCS 2019, January 10–12, 2019, San Diego, CA, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 124, Article 17, 16 p. (2019).
Unification of parametric and implicit methods for shape sensitivity analysis and optimization with fixed mesh. (English) Zbl 07874359
An artificial neural network based approach for online string matching/filtering of large databases. (English) Zbl 1209.68199
Efficient intensity map splitting algorithms for intensity-modulated radiation therapy. (English) Zbl 1186.68547
The BOXEL framework for 2.5D data with applications to virtual drivethroughs and ray tracing. (English) Zbl 1154.65306
MSC:
65D18
Variety and connectivity in kinematic chains. (English) Zbl 1206.70006
MSC:
70B15
Winograd’s algorithm statistically revisited: it pays to weigh than to count! (English) Zbl 1243.68337
Two efficient algorithms for the computation of ideal sums in quadratic orders. (English) Zbl 1158.11353
A fast algorithm for computing a longest common increasing subsequence. (English) Zbl 1173.68839
MSC:
68W05
Topological recognition of polyhedral objects from multiple views. (English) Zbl 0971.68134
MSC:
68T10
The incremental maintenance of a depth-first-search tree in directed acyclic graphs. (English) Zbl 1336.68124
Cybernetic optimization by simulated annealing: Accelerating convergence by parallel processing and probabilistic feedback control. (English) Zbl 0857.93104
Reviewer: W.Kotarski (Sosnowiec)
Ramsey numbers by stochastic algorithms with new heuristics. (English) Zbl 1543.05187
Deza, Michel (ed.) et al., Combinatorics and computer science. 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3–5, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1120, 163-181 (1996).
Parallelizing Strassen’s method for matrix multiplication on distributed-memory MIMD architectures. (English) Zbl 0839.68093
A chained-matrices approach for parallel computation of continued fractions and its applications. (English) Zbl 0810.65018
Reviewer: C.L.Koul (Jaipur)
On completeness for NP via projection translations. (English) Zbl 0794.03056
Reviewer: H.-D.Hecker (Jena)
Enumerating \(k\)-way trees. (English) Zbl 0793.68045
Reviewer: J.Vyskoc (Bratislava)
Filter Results by …
Document Type
- Journal Articles (33)
- Collection Articles (3)
all
top 5
Author
- Atkinson, Mike D. (2)
- Chao, Kunmao (2)
- Ahmadi, Reza H. (1)
- Akl, Selim G. (1)
- Albert, Michael Henry (1)
- Balachandhran, V. (1)
- Carboni, Andrea Piga (1)
- Chakraborty, Soubhik (1)
- Chakrapani, Jaishankar (1)
- Chen, Danny Ziyi (1)
- Chou, Chung-Chiang (1)
- Cosnard, Michel Y. (1)
- Cuninghame-Green, Ray A. (1)
- Deng, Yuefan (1)
- El-Salamony, Mostafa (1)
- Elmagarmid, Ahmed K. (1)
- Elterman, Alina (1)
- Ferreira, Afonso Galvao (1)
- Fleischer, Mark A. (1)
- Franciosa, Paolo Giulio (1)
- Gabow, Harold N. (1)
- Gambosi, Giorgio (1)
- Goldschmidt, Nir (1)
- Goodrich, Michael Truman (1)
- Gordon, Dan (1)
- Gries, David (1)
- Guaily, Amr (1)
- Guha, Sumanta (1)
- Hoffmann, Stefan (1)
- Houstis, Elias N. (1)
- Huang, Chien-Pin (1)
- Huang, Qiangqiang (1)
- Huang, Qing (1)
- Jaam, Jihad Mohamad (1)
- Karthik, C. S. (1)
- Ke, Yuhan (1)
- Konstantinidis, Stavros (1)
- Kuo, Sy-Yen (1)
- Laurentini, Aldo (1)
- Lee, Richard Chia-Tung (1)
- Li, Gang (1)
- Liang, Wei (1)
- Lin, Jenn-Wei (1)
- Lin, Shun-Shii (1)
- Liu, Zengxin (1)
- Manurangsi, Pasin (1)
- Martins, Daniel (1)
- Misiołek, Ewa (1)
- Moreira, Nelma (1)
- Nanni, Umberto (1)
- Nussbaum, Doron (1)
- Reingold, Edward Martin (1)
- Reis, Rogério (1)
- Roemer, Thomas A. (1)
- Sack, Jörg-Rüdiger (1)
- Santoro, Nicola (1)
- Shauck, Steven B. (1)
- Skorin-Kapov, Jadranka (1)
- Stewart, Iain A. (1)
- Su, Wei (1)
- Sundararajan, Kiran Kumar (1)
- Tambouratzis, Tatiana (1)
- Tarjan, Robert Endre (1)
- Urban, Kenneth J. (1)
- Valiente, Gabriel (1)
- Verykios, Vassilios S. (1)
- Walker, Louise Anne (1)
- Wang, Changjing (1)
- Wang, Yuan (1)
- Wanke, Egon (1)
- Weilert, André (1)
- Wu, Xiaodong (1)
- Yang, I-Hsuan (1)
- Young, Joshua (1)
- Zeng, Zhicheng (1)
- Zuo, Zhengkang (1)
- Zwick, Uri (1)
all
top 5
Serial
- Inf. Process. Lett. (11)
- Inf. Sci. (2)
- Theor. Comput. Sci. (2)
- Artif. Intell. (1)
- Comput. Math. Appl. (1)
- Discrete Appl. Math. (1)
- Math. Comput. (1)
- Appl. Math. Comput. (1)
- Int. J. Numer. Methods Eng. (1)
- Kybernetika (1)
- Math. Syst. Theory (1)
- Eur. J. Comb. (1)
- Algorithmica (1)
- Int. J. Intell. Syst. (1)
- J. Sci. Comput. (1)
- Ann. Oper. Res. (1)
- Comput. Geom. (1)
- Int. J. Found. Comput. Sci. (1)
- Eur. J. Oper. Res. (1)
- J. Heuristics (1)
- Mech. Mach. Theory (1)
all
top 3
Software
- GraphBase (2)
- LEDA (2)
- MUMMER (2)
- Algorithm 447 (1)
- BOSS-Quattro (1)
- BOXEL (1)
- CLASSPACK (1)
- Coq (1)
- FAdo (1)
- Isabelle/HOL (1)
- LVQ_PAK (1)
- MLC++ (1)
- PUMMA (1)