2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing最新文献_第6页

Scheme-Based Systematic Exploration of Natural Numbers 基于方案的自然数系统探索

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.67

Madalina Hodorog, A. Craciun

引用次数: 12

HTML Pattern Generator--Automatic Data Extraction from Web Pages HTML模式生成器——从网页中自动提取数据

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.43

M. Cosulschi, A. Giurca, Bogdan Udrescu, N. Constantinescu, M. Gabroveanu

引用次数: 3

Combining Meta-Heuristics to Solve the Rook Problem 结合元启发式求解车问题

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.25

C. Pintea, Camelia Chira, D. Dumitrescu

引用次数: 0

The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes 利用Maple平台研究弯曲时空上的测地线运动

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.76

D. Vulcanov, Valentina D. Vulcanov

引用次数: 3

Implementation and Evaluation Model for the Asynchronous Search Techniques: From a Synchronously Distributed System to an Asynchronous Distributed System 异步搜索技术的实现与评价模型:从同步分布式系统到异步分布式系统

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.44

I. Muscalagiu, Hong Jiang, H. Popa

{"title":"Implementation and Evaluation Model for the Asynchronous Search Techniques: From a Synchronously Distributed System to an Asynchronous Distributed System","authors":"I. Muscalagiu, Hong Jiang, H. Popa","doi":"10.1109/SYNASC.2006.44","DOIUrl":"https://doi.org/10.1109/SYNASC.2006.44","url":null,"abstract":"The implementation of asynchronous search techniques can be done in any programming language allowing a distributed programming. Nevertheless, for the study of such techniques and for their evaluation, it is easier and more efficient to implement the techniques under certain distributed environments, which offer various facilities, such as NetLogo. The aim of this article is to introduce an as general as possible model of implementation and evaluation for the asynchronous search techniques in the two possible cases: synchronous and asynchronous. In the case of the synchronous model, a synchronization of the agents' execution is done after each computing cycle. This model, we believe, allows the use of the NetLogo environment as a basic simulator for the study of asynchronous search techniques. This model can be used in the study of agents behavior in several situations, like the priority order of the agents, the behavior in the synchronous and asynchronous case and, therefore, leading to identify possible enhancements in the performances of asynchronous search techniques. A first set of experiments for two large families: the ABT family and the AWCS family, based on the two proposed models is presented in this article","PeriodicalId":309740,"journal":{"name":"2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116861393","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13

PIMS--Multispectral Image Processing Tool for Semantic Information Detection Based on Vegetation Indices 基于植被指数语义信息检测的多光谱图像处理工具PIMS

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.60

Cornelia Melenti, D. Safta, D. Gorgan

引用次数: 5

The Complexity of a Probabilistic Approach to Deal with Missing Values in a Decision Tree 一种处理决策树缺失值的概率方法的复杂性

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.70

Lamis Hawarah, A. Simonet, M. Simonet

引用次数: 3

Multi-Agent Architecture for Knowledge Discovery 知识发现的多智能体体系结构

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.55

Daniel Pop, V. Negru, C. Sandru

引用次数: 6

Modeling Workflows with Recursive ECATNets 用递归ECATNets建模工作流

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.52

A. Hicheur, Kamel Barkaoui, N. Boudiaf

引用次数: 11

MATHsAiD: A Mathematical Theorem Discovery Tool MATHsAiD:一个数学定理发现工具

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI: 10.1109/SYNASC.2006.51

R. McCasland, A. Bundy

{"title":"MATHsAiD: A Mathematical Theorem Discovery Tool","authors":"R. McCasland, A. Bundy","doi":"10.1109/SYNASC.2006.51","DOIUrl":"https://doi.org/10.1109/SYNASC.2006.51","url":null,"abstract":"In the field of automated reasoning, one of the most challenging (even if perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst all the truths that can be discovered and proved, those which are either useful or interesting enough to be worth recording. As for human reasoning, mathematicians are well known for their predilection towards designating certain discoveries as theorems, lemmas, corollaries, etc., whilst relegating all others as relatively unimportant. However, precisely how mathematicians determine which results to keep, and which to discard, is perhaps not so well known. Nevertheless, this practice is an essential part of the mathematical process, as it allows mathematicians to manage what would otherwise be an overwhelming amount of knowledge. MATHsAiD is a system intended for use by research mathematicians, and is designed to produce high quality theorems, as recognised by mathematicians, within a given theory. The only input required is a set of axioms and definitions for each theory. In this paper we briefly describe some of the more important methods used by MATHsAiD, most of which are based primarily on the human mathematical process","PeriodicalId":309740,"journal":{"name":"2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133415534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 23