Title :
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing-Title
Abstract :
The following topics are dealt with: symbolic and numeric algorithms; scientific computing; mathematical theory exploration; computer algebra; data mining; automated reasoning; logics; planning; image processing; geometric visualization; learning and fuzzy control; formal methods; software design; agents for complex systems; grid computing; natural computing; Petri nets; and workflow management
Keywords :
Petri nets; data mining; data visualisation; fuzzy control; image processing; inference mechanisms; learning (artificial intelligence); planning (artificial intelligence); process algebra; software agents; symbol manipulation; workflow management software; Petri nets; automated reasoning; complex systems; computer algebra; data mining; formal methods; fuzzy control; geometric visualization; grid computing; image processing; learning; logics; mathematical theory exploration; natural computing; numeric algorithms; planning; scientific computing; software design; symbolic algorithms; workflow management;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
0-7695-2740-X
DOI :
10.1109/SYNASC.2006.35