Search

Showing total 2,972 results

Search Constraints

Start Over You searched for: Topic computation by abstract devices Remove constraint Topic: computation by abstract devices Topic mathematical logic and formal languages Remove constraint Topic: mathematical logic and formal languages Publication Type Books Remove constraint Publication Type: Books Publisher springer nature Remove constraint Publisher: springer nature
2,972 results

Search Results

1. A Domain-Based Intelligent Search Engine.

2. Plan Diagnosis and Agent Diagnosis in Multi-agent Systems.

3. Supporting Literature Exploration with Granular Knowledge Structures.

4. Signature Verification Method Based on the Combination of Shape and Dynamic Feature.

5. Mutual Information Based Approach for Nonnegative Independent Component Analysis.

6. Additive Sequential Evolutionary Design of Experiments.

7. A New and Fast Method of Image Indexing.

8. Ontology-Based Automatic Classification of Web Documents.

9. An Approach to Web Service Discovery Based on the Semantics.

10. Segmentation of Multimodality Osteosarcoma MRI with Vectorial Fuzzy-Connectedness Theory.

11. A Framework for Incorporating Trust into Formal Systems Development.

12. Domain Theory: Practice and Theories A Discussion of Possible Research Topics.

13. End-to-End Information Management for Systems Biology.

14. MemoPA: Intelligent Personal Assistant Agents with a Case Memory Mechanism.

15. Particle Swarm Trained Neural Network for Fault Diagnosis of Transformers by Acoustic Emission.

16. A Hybrid Electromagnetism-Like Algorithm for Single Machine Scheduling Problem.

17. Application Study on Monitoring a Large Power Plant Operation.

18. A Parallel Independent Component Implement Based on Learning Updating with Forms of Matrix Transformations.

19. Global Exponential Stability of Cohen-Grossberg Neural Networks with Reaction-Diffusion and Dirichlet Boundary Conditions.

20. Analysis of Global Convergence and Learning Parameters of the Back-Propagation Algorithm for Quadratic Functions.

21. Fuzzy Clustering for the Identification of Hinging Hyperplanes Based Regression Trees.

22. Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation.

23. Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization.

24. A Template Matching Table for Speeding-Up Game-Tree Searches for Hex.

25. Adjusting Population Distance for the Dual-Population Genetic Algorithm.

26. Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization.

27. SELDI-TOF-MS Pattern Analysis for Cancer Detection as a Base for Diagnostic Software.

28. A System Supporting Users of Cultural Resource Management Semantic Portals.

29. A Characterization of Strong Learnability in the Statistical Query Model.

30. Searching for Metric Structure of Musical Files.

31. Software Defect Classification: A Comparative Study with Rough Hybrid Approaches.

32. Frequent Events and Epochs in Data Stream.

33. Attribute Reduction Based on Fuzzy Rough Sets.

34. Rough Sets and Vague Sets.

35. Image Digital Watermarking Technique Based on Kernel Independent Component Analysis.

36. A Rough-Hybrid Approach to Software Defect Classification.

37. A Study of Emotion Recognition and Its Applications.

38. Resolution of Singularities and Stochastic Complexity of Complete Bipartite Graph-Type Spin Model in Bayesian Estimation.

39. Classification of Normal and Tumor Tissues Using Geometric Representation of Gene Expression Microarray Data.

40. Cognitive Analysis Techniques in Business Planning and Decision Support Systems.

41. Face Recognition Using Correlation Between Illuminant Context.

42. Can a Fuzzy Rule Look for a Needle in a Haystack?

43. Comparison of Complex-Valued Neural Network and Fuzzy Clustering Complex-Valued Neural Network for Load-Flow Analysis.

44. A Context-Aware Music Recommendation Agent in Smart Office.

45. Pattern Recognition Using Evolutionary Classifier and Feature Selection.

46. A Contourlet Transform Based Fusion Algorithm for Nighttime Driving Image.

47. An Approach for Reversely Generating Hierarchical UML Statechart Diagrams.

48. Binary Relation Based Rough Sets.

49. Improving Saddleback Search: A Lesson in Algorithm Design.

50. Worm Harm Prediction Based on Segment Procedure Neural Networks.