Hledat
Zobrazují se záznamy 1-10 z 425
Eureqa: software review
(Genetic Programming and Evolvable Machines. 2011, vol. 12, issue 2, p. 173-178.)
Propagation of the hydraulic head in an elastic pipeline
(Computational Science – ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003. Proceedings, Part II. 2003, p. 585-592.)
The geometric framework for exact and similarity querying XML data
(EurAsia-ICT 2002 : Information and Communication Technology : First EurAsian Conference Shiraz, Iran, October 29-31, 2002. Proceedings. 2002, p. 35-46.)
Equivalence-checking with one-counter automata: A generic method for proving lower bounds
(Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings. 2002, p. 172-186.)
Estimation of the time delay of epileptic spikes by ICA
(Medical data analysis : First International Symposium, ISMDA 2000, Frankfurt, Germany, September 2000. Proceedings. 2000, p. 34-42.)
Cluttered orderings for the complete graph
(Computing and Combinatorics : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001. Proceedings. 2001, p. 420-431.)
PVM-implementation of the PGC method with displacement decomposition
(Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting Cracow, Poland, November 3–5, 1997. Proceedings. 1997, p. 321-328.)
Parallel displacement decomposition solvers for elasticity problems
(Parallel processing and applied mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001. Revised Paper. 2002, p. 395-403.)
Equivalence-checking with infinite-state systems: Techniques and results
(SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73.)
Parallel High-Performance Computing in Geomechanics with Inner/Outer Iterative Procedures
(Computational Science - ICCS 2002 : International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part III. 2002, p. 830-839.)