28 results
Search Results
2. Neural Network-Assisted Fiber Tracking of Synthetic and White Matter DT-MR Images.
- Author
-
San-José-Revuelta, L. M., Martín-Fernández, M., and Alberola-López, C.
- Subjects
- *
ALGORITHMS , *MAGNETIC resonance imaging , *ARTIFICIAL neural networks , *COMPUTER science , *ARTIFICIAL intelligence - Abstract
In this paper, a recently developed fiber tracking algorithm to be used with diffusion tensor (DT) fields acquired via magnetic resonance imaging (MRI) is improved and applied to real brain DT-MR images. The method performs satisfactorily in regions where branching and crossing fibers exist and offers the capability of reporting a probability value for the computed tracts. This certainty figure takes into account both the anisotropy and the information provided by all the eigenvectors and eigenvalues of the diffusion matrix at each voxel. In previous papers of the authors, a simpler algorithm was applied only to elementary synthetic DT-MR images. As now presented, this algorithm is now adequately used with more intricate synthetic images and is applied to real white matter DT-MR images with successful results. A novel neural network is used to estimate the main parameters of the algorithm. Numerical experiments show a performance gain over previous approaches, specially with respect to convergence and computational load. The tracking of white matter fibers in the human brain will improve the diagnosis and treatment of many neuronal diseases. [ABSTRACT FROM AUTHOR]
- Published
- 2007
3. Motion Detection Based On Accumulative Optical Flow and Double Background Filtering.
- Author
-
Nan Lu, Jihong Wang, Li Yang, and Henry Wu
- Subjects
- *
MOTION , *DETECTORS , *ALGORITHMS , *COMPUTER science , *ARTIFICIAL intelligence - Abstract
Moving object detection is very important for video surveillance. In this paper, we present a new real time motion detection algorithm that is based on the integration of accumulative optical flow and double background filtering method (long-term background and short-term background) to achieve better performance. The accumulative optical flow method is used to obtain and keep a stable background image to cope with variations on environmental changing conditions and the double background filtering method is used to eliminate the background information and separate the moving object from it. The biggest advantage of this algorithm is that it does not need to learn the background model from hundreds of images and can handle quick image variations without prior knowledge about the object size and shape. The algorithm has high capability of anti-interference and preserves high accurate rate detection at the same time. The effectiveness of the proposed algorithm for motion detection is demonstrated in a simulation environment and the evaluation results are reported in this paper. [ABSTRACT FROM AUTHOR]
- Published
- 2007
4. Optimal Scheduling Algorithm Using Hopfield Neural Network.
- Author
-
Sun-Ho Jee, Yong-Chul Cho, Liang Zhang, Hyun-Chan Cho, and Hee-Sun Kang
- Subjects
ALGORITHMS ,ALGEBRA ,ARTIFICIAL neural networks ,ARTIFICIAL intelligence ,EVOLUTIONARY computation - Abstract
Multi-spinner is used in Photoresist process of semiconductor manufacturing. Photoresist process is the process of wafer deposal including wafer cleaning, surface treatment, Photoresist spread and Soft Baking. Though each successful process of this Multi-spinner equipment works by moving wafer, if optical scheduling applied to improve transfer path, it increases the volume of produced semiconductors. The main concern of paper is to optimize scheduling method using artificial neural network to solve scheduling problem of each processes of Multi-spinner. The effectiveness of optical scheduling is proved by computer simulation. [ABSTRACT FROM AUTHOR]
- Published
- 2009
5. Collaborative Decision-making in Multi-agent Systems for GIS Application.
- Author
-
Indiramma, M. and Anandakumar, K. R.
- Subjects
ALGORITHMS ,GROUP decision making ,INTELLIGENT agents ,GEOGRAPHIC information systems ,DECISION support systems ,RECOMMENDER systems ,UBIQUITOUS computing ,BAYESIAN analysis - Abstract
Group Decision Making (GDM) is an important human activity and it has many practical applications in society, economy, management and engineering, etc. Researchers are faced with new challenges in research on theory and methods of GDM with the rapid advent of internet and information technology. One of the challenges in collaborative work is social decision making in a computer mediated environment. Social trust models like recommender system, Bayesian trust for pervasive computing, are becoming invaluable part of distributed systems, where uncertainty prevails. In this paper we have proposed a Trust based collaborative decision making algorithm for distributed environment in which a group of agents collaborate for decision making. [ABSTRACT FROM AUTHOR]
- Published
- 2008
6. A Comparison of Classification Techniques for Technical Test Passages.
- Author
-
Kornfein, Mark M. and Goldfarb, Helena
- Subjects
- *
ARTIFICIAL intelligence , *MACHINE learning , *ALGORITHMS , *MACHINE theory , *COMPUTER science - Abstract
Our work explores the use of several text categorization techniques for classification of manufacturing quality defect and service shop data sets into fixed categories. Although our work was in the area of manufacturing quality the technique is applicable to free form, short text summaries of data that may be stored in a database, file, or document. We refer to these types of text as "technical text passages". These summaries may not follow standard grammar conventions; they commonly contain abbreviations, technical phrases, misspelled words and industry specific acronyms. Typical types of text to be classified include aircraft engine repair shop findings, industrial manufacturing quality problems and corrective actions, and standardization of attributes in a bill-of-materials. In this paper, we will present our results in using machine learning and rule based algorithms to categorize text. Our results show that the rules based approach is as good as several machine learning approaches. For example, using Support Vector Machine algorithms we were able to achieve 82% accuracy on validation set, using 1,645 training samples and 823 validation samples. Each category had 50 or more samples. Using rule-based approach we were able to achieve 80% accuracy. [ABSTRACT FROM AUTHOR]
- Published
- 2007
7. Surface Classification from Aircraft Icing Droplet Splash Images.
- Author
-
Xueqing Zhang, Barnes, Stuart, and Hammond, David W.
- Subjects
- *
AERONAUTICAL safety measures , *ARTIFICIAL intelligence , *ALGORITHMS , *SECURITY systems , *AUTOMATION - Abstract
The build up of water ice on aircraft flight surfaces poses a significant safety risk. As a result, much effort has gone into studying this problem in order to understand how individual droplets contribute to the accretion process. One approach has been to capture the moment of impact of a supercooled droplet onto a surface placed in an icing tunnel. However, this produces a large number of images that must be analysed manually. This paper describes the development of an automated analysis system, employing image processing techniques, that is capable of classifying the impact images without operator input. Using a carefully chosen feature vector and K-means clustering algorithm, the classification results from the automated system are comparable with that achieved using the manual approach. [ABSTRACT FROM AUTHOR]
- Published
- 2007
8. Image Enhancement Using Particle Swarm Optimization.
- Author
-
Braik, Malik, Sheta, Alaa, and Ayesh, Aladdin
- Subjects
- *
MATHEMATICAL optimization , *ALGORITHMS , *GENETIC algorithms , *IMAGING systems , *ARTIFICIAL intelligence - Abstract
Applications of the Particle Swarm Optimization (PSO) to solve image processing problem with a reference to a new automatic enhancement technique based on real-coded particle swarms is proposed in this paper. The enhancement process is a non-linear optimization problem with several constraints. The objective of the proposed PSO is to maximize an objective fitness criterion in order to enhance the contrast and detail in an image by adapting the parameters of a novel extension to a local enhancement technique. The feasibility of the proposed method is demonstrated and compared with Genetic Algorithms (GAs) based image enhancement technique. The obtained results indicate that the proposed PSO yields better results in terms of both the maximization of the number of pixels in the edges and the adopted objective evaluation. Computational time is also relatively small in the PSO case compared to the GA case. [ABSTRACT FROM AUTHOR]
- Published
- 2007
9. Fast Bias Removal Equation-Error Adaptive Filters.
- Author
-
Junghsi Lee, Yi-Wen Chiu, and Hsu Chang Huang
- Subjects
- *
ALGORITHMS , *ELECTRIC filters , *COMPUTER science , *ARTIFICIAL intelligence , *ADAPTIVE filters - Abstract
This paper presents a multi step-size monic normalization equation-error linear filter. We also extend the idea to nonlinear adaptive filter and derive a multi step-size monic normalization equation-error bilinear filter (MSS MNEEBF). The algorithms enjoy fast convergence behavior and can remove biased estimates associated with conventional equation-error adaptive filters. Simulation results validate the usefulness of our algorithms. [ABSTRACT FROM AUTHOR]
- Published
- 2007
10. A Robust Image Watermarking Scheme Using Multiwavelet Tree.
- Author
-
Kumsawat, Prayoth, Attakitmongcol, Kitti, and Srikaew, Arthit
- Subjects
- *
DIGITAL watermarking , *ALGORITHMS , *DATA encryption , *COMPUTER science , *ARTIFICIAL intelligence - Abstract
In this paper, we attempt to develop image watermarking algorithms which are portable to a variety of applications such as copyright protection, fingerprinting and identification. Therefore, we require that the watermark be binary and be not only detectable but also extractable. The embedding technique is based on the parent-child structure of the multiwavelet transform called "triple tree" and this technique does not require the original image in the watermark extraction. The experimental results show that the watermark. [ABSTRACT FROM AUTHOR]
- Published
- 2007
11. A Fuzzy Algorithm For Data Extrapolation In Multi-Compressor System.
- Author
-
Brar, Gursewak S., Brar, Yadwinder S., and Singh, Yaduvir
- Subjects
- *
FUZZY algorithms , *CLUSTER set theory , *ARTIFICIAL intelligence , *ALGORITHMS , *ENTROPY (Information theory) - Abstract
In this paper incomplete quantitative data has been dealt by using the concept of fuzzy entropy. Fuzzy entropy has been used to extrapolate the data pertaining to the compressor current. Certain attributes related to the compressor current have been considered. Test data of compressor current used in this knowledge discovery algorithm knows the entire attribute clearly. The developed algorithm is very effective and can be used in the various application related to knowledge discovery and machine learning. The developed knowledge discovery algorithm using fuzzy entropy has been tested on a multi-compressor system for incomplete compressor current data and it is found that the error level is merely ± 4.40%, which is far better than other available knowledge discovery algorithms. [ABSTRACT FROM AUTHOR]
- Published
- 2007
12. An Energy Backpropagation Algorithm.
- Author
-
Aal-Yhia, Ahmad Hashim Hussein and Sharieh, Ahmad
- Subjects
- *
BACK propagation , *ARTIFICIAL intelligence , *MACHINE learning , *ALGORITHMS , *COMPUTER programming - Abstract
This paper presents an energy back-propagation algorithm (EBP). Learning and convergence processes of the standard backpropagation algorithm (SBP) are based on the energy function. The energy function is used with the convergence process to extract the nearest image for the unknown tested image. The EBP algorithm shows considerably better performance in terms of time of learning, time of convergence, and size of input image compared to the SBP algorithm. [ABSTRACT FROM AUTHOR]
- Published
- 2007
13. Design and Implementation of Intelligent Negotiating Agents in E-Commerce Based on a Combined Strategy Using Genetic Algorithms as well as Fuzzy Fairness Function.
- Author
-
Setayesh, Mahdi
- Subjects
- *
ARTIFICIAL intelligence , *ELECTRONIC commerce , *ALGORITHMS , *AUTOMATION , *FUZZY systems - Abstract
In order to be successful in multi-agent electronic negotiating environments, intelligent agents should be capable of adapting their negotiation strategies and tactics so that they can achieve an agreement with optimized profit. In this paper, some findings are going to be shown in which negotiating intelligent agents in electronic commerce start negotiating using a simplified standard protocol in conjunction with a combined negotiation. Taking advantage of a new developed evolutionary algorithm, agents configure their negotiation strategies somehow they can get more profit. They can use fuzzy fairness function to behavior with fairness or without fairness. [ABSTRACT FROM AUTHOR]
- Published
- 2007
14. Design of an Intelligent Controller for a Model Helicopter Using Neuro-Predictive Method with Fuzzy Compensation.
- Author
-
Mohammadzaheri, Morteza and Chen, Ley
- Subjects
- *
AUTOMATIC control systems , *FUZZY algorithms , *ARTIFICIAL intelligence , *ALGORITHMS , *SYSTEMS theory - Abstract
In this paper, a Neuro-Predictive (NP) controller is designed and implemented on a highly no-linear system, a model helicopter in a constrained situation. It is observed that the closed loop system with the NP controller has a significant overshoot and a long setting time in comparison to the same system with an existing fuzzy controller. In order to improve the undesired system performance, s Sugeno-type fuzzy compensator, having only two rules, is added to the control loop to adjust control input. The newly designed Neuro-Predictive control with Fuzzy Compensator (NPFC) improves the system performance in both overshoot and settling time. Furthermore, it is shown that the NPFC controlled system is robust to disturbance and parameter changes. [ABSTRACT FROM AUTHOR]
- Published
- 2007
15. A Hybrid Method: MCSA-CNN for Image Noise Cancellation.
- Author
-
Wen-Pin Tsai, Yi-Hui Su, Chiao-Yu Chuang, and Te-Jen Su
- Subjects
ARTIFICIAL neural networks ,COMPUTER algorithms ,ALGORITHMS ,TOMOGRAPHY ,ARTIFICIAL intelligence - Abstract
In this paper, a new method for image noise cancellation by designing the templates of cellular neural network (CNN) is introduced. We propose a modified clonal selection algorithm (MCSA) which has an adaptive maturation strategy based on affinity and clone framework to search approximate optimal solution. By MCSA, we could optimize the templates of CNN for image noise cancelling. Finally, the MCSA-CNN method is compared with the Zeng stack smoother method in image noise cancellation, and we take Computed Tomography image for example. [ABSTRACT FROM AUTHOR]
- Published
- 2007
16. Comparing Diversity and Training Accuracy in Classifier Selection for Plurality Voting Based Fusion.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., and Altinçay, H.
- Subjects
ALGORITHMS ,MATHEMATICAL optimization ,VOTING ,ARTIFICIAL intelligence ,COPYING - Abstract
Selection of an optimal subset of classifiers in designing classifier ensembles is an important problem. The search algorithms used for this purpose maximize an objective function which may be the combined training accuracy or diversity of the selected classifiers. Taking into account the fact that there is no benefit in using multiple copies of the same classifier, it is generally argued that the classifiers should be diverse and several measures of diversity are proposed for this purpose. In this paper, the relative strengths of combined training accuracy and diversity based approaches are investigated for the plurality voting based combination rule. Moreover, we propose a diversity measure where the difference in classification behavior exploited by the plurality voting combination rule is taken into account. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
17. Treating Some Constraints as Hard Speeds up the ESG Local Search Algorithm.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., kilani, Y., and MohdZin, A.
- Subjects
CONSTRAINT satisfaction ,ARTIFICIAL intelligence ,DIGITAL computer simulation ,LOGIC machines ,ALGORITHMS - Abstract
Local search (LS) methods for solving constraint satisfaction problems (CSP) such as GSAT, WalkSAT and DLM starts the search for a solution from a random assignment. LS then examines the neighbours of this assignment, using the penalty function to determine a better neighbour valuations to move to. It repeats this process until it finds a solution that satisfies all constraints. ICM considers some of the constraints as hard constraints that are always satisfied. In this way, the constraints reduce the possible neighbours in each move and hence the overall search space. We choose the hard constraints in such away that the space of valuations that satisfies these constraints is connected in order to guarantee that a local search can reach any solution from any valuation in this space. In this paper, we incorporate ICM into one of the most recent local search algorithm, ESG, and we show the improvement of the new algorithm. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
18. Applications of PSO Algorithm and OIF Elman Neural Network to Assessment and Forecasting for Atmospheric Quality.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., Wang, L.M., Shi, X.H., Li, M., Chen, G.J., Ge, H.W., Lee, H.P., and Liang, Y.C.
- Subjects
AIR quality ,FORECASTING ,ALGORITHMS ,ARTIFICIAL neural networks ,ARTIFICIAL intelligence - Abstract
The assessment and forecast for atmospheric quality have become the key problem in the study of the quality of atmospheric environment. In order to evaluate the grade of the atmospheric pollution, a model based on the particle swarm optimization (PSO) algorithm is proposed in this paper. Experimental results show the advantages of the proposed models, such as pellucid principle and physical explication, predigested formula and low computation complexity. In addition, an improved Elman neural network, namely, the output-input feedback Elman (OIF Elman) neural network is also applied to forecast the atmospheric quality. Simulations show that the OIF Elman neural network has great potential in the field of forecasting the atmospheric quality. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
19. Evolving Segments Length in Golomb Rulers.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., Tavares, Jorge, Leitão, Tiago, Pereira, Francisco B., and Costa, Ernesto
- Subjects
ALGORITHMS ,EVOLUTIONARY computation ,ARTIFICIAL neural networks ,ARTIFICIAL intelligence ,SELF-organizing systems - Abstract
An evolutionary algorithm based on Random Keys to represent Golomb Rulers segments, has been found to be a reliable option for finding Optimal Golomb Rulers in a short amount of time, when comparing with standard methods. This paper presents a modified version of this evolutionary algorithm where the maximum segment length for a Golomb Ruler is also part of the evolutionary process. Attained experimental results shows us that this alteration does not seems to provide significant benefits to the static version of the algorithm. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
20. Crack width prediction of RC structures by Artificial Neural Networks.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., Avila, Carlos, Tsuji, Yukikazu, and Shiraishi, Yoichi
- Subjects
ARTIFICIAL neural networks ,ARTIFICIAL intelligence ,EVOLUTIONARY computation ,CONCRETE beams ,ALGORITHMS - Abstract
This paper proposes the use of Artificial Neural Networks (ANN) for the prediction of the maximum surface crack width of precast reinforced concrete beams joined by steel coupler connectors and anchor bars (jointed beams). Two different training algorithms are used in this study and their performances are compared. The first approach used Back propagation (BPANN) and the second one includes Genetic Algorithms (GANN) during the training process. Input and output vectors are designed on the basis of empirical equations available in the literature to estimate crack widths in common reinforced concrete (RC) structures and parameters that characterize the mechanical behavior of RC beams with overlapped reinforcement. Two well-defined points of loading are considered in this study to demonstrate the suitability of this approach in both, a linear and a highly nonlinear stage of the mechanical response of this type of structures. Remarkable results were obtained, however, in all cases the combined Genetic Artificial Neural Network approach resulted in improved prediction performance over networks trained by error back propagation. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
21. Evolution versus Learning in Temporal Neural Networks.
- Author
-
Ribeiro, Bernardete, Albrecht, Rudolf F., Dobnikar, Andrej, Pearson, David W., Steele, Nigel C., and Favrel, Joël
- Subjects
ARTIFICIAL neural networks ,EVOLUTIONARY computation ,ARTIFICIAL intelligence ,ALGORITHMS ,REINFORCEMENT learning - Abstract
In this paper, we study the difference between two ways of setting synaptic weights in a “temporal” neural network. Used as a controller of a simulated mobile robot, the neural network is alternatively evolved through an evolutionary algorithm or trained via an hebbian reinforcement learning rule. We compare both approaches and argue that in the last instance only the learning paradigm is able to exploit meaningfully the temporal features of the neural network. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
22. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Vojnar, Tomáš and Zhang, Lijun
- Subjects
Computer science ,Computer logic ,Software engineering ,Mathematical logic ,Algorithms ,Logic design ,Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
- Published
- 2019
- Full Text
- View/download PDF
23. Computer Aided Verification
- Author
-
Chockler, Hana and Weissenbacher, Georg
- Subjects
Computer science ,Computer logic ,Software engineering ,Artificial intelligence ,Mathematical logic ,Algorithms ,Computer simulation ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
- Published
- 2018
- Full Text
- View/download PDF
24. Genetic algorithms and simulated annealing
- Author
-
Davis, L
- Published
- 1987
25. Intelligent Flow Control under a Game Theoretic Framework.
- Author
-
Chen, Huimin and Li, Yanda
- Subjects
COMPUTATIONAL intelligence ,ARTIFICIAL intelligence ,MULTIMEDIA communications ,ALGORITHMS ,COMPUTER architecture ,COMPUTER programming - Abstract
The main focus is on using computational intelligence to model the distributed decision agents and to study the dynamic behavior under game-theoretic framework in allocating network resources. By viewing a network as a collection of resources which users are selfishly competing for, authors' research aims at finding efficient, decentralized algorithms, leading to network architectures which provide explicit Quality of Service guarantees, the crucial issue in high speed multimedia networks. There are several parallel research projects from different institutions dealing with this complicated issue.
- Published
- 2000
26. Robotics research: The second international symposium
- Author
-
Inoue, H
- Published
- 1985
27. Readings in natural language processing
- Author
-
Webber, B
- Published
- 1986
28. Expertise transfer for expert system design
- Author
-
Boose, J
- Published
- 1986
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.