Computer Algebra and Geometric Algebra with Applications [[electronic resource] ] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / / edited by Hongbo Li, Peter J. Olver, Gerald Sommer |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (IX, 449 p.) |
Disciplina | 512 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Numerical analysis Computer graphics Computer vision Artificial intelligence Mathematics—Data processing Numerical Analysis Computer Graphics Computer Vision Artificial Intelligence Computational Science and Engineering |
ISBN |
3-540-32119-5
3-540-26296-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions on the Number of Solutions for the P4P Problem -- A Generalization of Xie-Nie Stability Criterion -- Formal Power Series and Loose Entry Formulas for the Dixon Matrix -- Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces -- Minimum-Cost Optimization in Multicommodity Logistic Chain Network -- A Survey of Moving Frames -- Invariant Geometric Motions of Space Curves -- Classification of Signature Curves Using Latent Semantic Analysis -- Hamiltonian System and Algebro-Geometric Solution Associated with Dispersive Long Wave Equation -- The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple -- Geometric Algebra and Applications -- Hybrid Matrix Geometric Algebra -- Intrinsic Differential Geometry with Geometric Calculus -- On Miquel’s Five-Circle Theorem -- On Averaging in Clifford Groups -- Combinatorics and Representation Theory of Lie Superalgebras over Letterplace Superalgebras -- Applications of Geometric Algebra in Robot Vision -- Twists – An Operational Representation of Shape -- Recent Applications of Conformal Geometric Algebra -- Applications of Conformal Geometric Algebra in Computer Vision and Graphics -- Conic Sections and Meet Intersections in Geometric Algebra -- nD Object Representation and Detection from Single 2D Line Drawing -- Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis -- A Unified and Complete Framework of Invariance for Six Points -- An Introduction to Logical Animation -- Recent Methods for Reconstructing Surfaces from Multiple Images. |
Record Nr. | UNISA-996466150803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers / / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
Descrizione fisica | 1 online resource (IX, 449 p.) |
Disciplina | 512 |
Altri autori (Persone) |
LiHongbo
OlverPeter J SommerGerald <1945-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Algebra - Data processing
Computer algorithms Geometry, Algebraic |
ISBN |
3-540-32119-5
3-540-26296-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Computer algebra and applications -- pt. 2. Geometric algebra and applications. |
Altri titoli varianti |
IWMM 2004
GIAE 2004 |
Record Nr. | UNINA-9910767507503321 |
Berlin ; ; New York, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations and applications of intelligent systems : proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec. 2012 (ISKE 2012) / / Fuchun Sun, Tianrui Li, Hongbo Li, editors |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Heidelberg, Germany : , : Springer, , 2014 |
Descrizione fisica | 1 online resource (xix, 802 pages) : illustrations (chiefly color) |
Disciplina | 006.312 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico | Artificial intelligence |
ISBN | 3-642-37829-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface; Organizing Committee; Sponsors; Contents; 1 The Incremental Updating Method for Core Computing Based on Information Entropy in Set-Valued Ordered Information Systems; Abstract; 1...Introduction; 2...Preliminaries; 2.1 Set-Valued Ordered Information Systems; 2.2 The Attribute Core in SOIS from the Information View; 3...Principles for Incrementally Updating Core in SOIS Based on Information Entropy; 3.1 Insertion of a New Object; 3.2 Deletion of an Object; 4...A Illustrate Example; 5...Conclusion; Acknowledgments; References; 2 An Algebraic Analysis for Binary Intuitionistic L-Fuzzy Relations
Abstract1...Introduction; 2...Preliminaries; 3...The Arithmetical Properties of {\mathfrak{ILFR}} (U \times U); 4...Conclusion; Acknowledgments; References; 3 An Improved Classification Method Based on Random Forest for Medical Image; Abstract; 1...Introduction; 2...Medical Image Preprocessing; 3...Improved Classification Algorithm Based on Random Forest; 3.1 The Evaluation of Random Forest; 3.2 The ROC Curve Performance Regions; 3.3 The Bounds of ROC; 3.4 The Procession of IRFA; 4...Experiment and Analysis; 5...Conclusion; Acknowledgments; References 4 IdeaGraph: Turning Data into Human Insights for Collective IntelligenceAbstract; 1...Introduction; 2...A Review of KeyGraph Algorithm; 3...The Limitation of KeyGraph; 4...IdeaGraph: A New Algorithm to Obtain Improved Insights; 5...Experimental Evaluation; 5.1 Experimental Design; 5.2 Results' Evaluation; 6...Conclusion; Acknowledgments; References; 5 A General Hierarchy-Set-Based Indoor Location Modeling Approach; Abstract; 1...Introduction; 2...Overview of Location Modeling; 2.1 Location-Based Services; 2.2 Position Query; 2.3 Nearest Service Query; 2.4 Navigation Query; 2.5 Range Query 2.6 Location Semantics2.7 Topology Relation Semantics; 2.8 Distance Semantics; 2.9 Existing Location Modeling Approach; 3...Combined Hierarchy-Set Model for Indoor Locations; 3.1 Building Hierarchy Tree Model of Location; 3.2 Distance Identification Between Indoor Locations; 3.3 Set-Based Model; 3.4 A Path Planning Algorithm; 4...A Complete Example: Modeling an Indoor School Hospital; 5...Conclusion and Future Work; References; 6 Acquisition of Class Attributes Based on Chinese Online Encyclopedia and Association Rule Mining; Abstract; 1Introduction; 2Background; 3Class Attributes Extraction Method 3.1 Process of Class Attribute Extraction3.2 Frequent Patterns Mining; 3.3 Association Analysis; 3.4 Extraction of Candidate Attribute Words; 3.5 Acquisition of Uniform Attribute Names; 4Experimental Results; 4.1 Data Set; 4.2 Experiment on Extraction of Patterns; 4.3 Experiment on Association Analysis; 4.4 Experiment on Acquisition of Uniform Attribute Names; 5Conclusion; Acknowledgments; A.x(118). Appendix: Number of Extracted Attributes and Examples of Attributes Over Target Classes; References; 7 A Delivery Time Computational Model for Pervasive Computing in Satellite Networks; Abstract 1...Introduction |
Record Nr. | UNINA-9910299734303321 |
Heidelberg, Germany : , : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Knowledge engineering and management : proceeding of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec. 2012 (ISKE 2012) / / Fuchun Sun, Tianrui Li, Hongbo Li |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, : Springer, 2013 |
Descrizione fisica | 1 online resource (xix, 720 pages) : illustrations (some color) |
Disciplina |
006.3
006.33 |
Altri autori (Persone) |
SunFuchun
LiTianrui LiHongbo |
Collana | Advances in intelligent systems and computing |
Soggetto topico | Artificial intelligence |
ISBN | 3-642-37832-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Preface""; ""Organizing Committee""; ""Contents""; ""1 Function Set-Valued Information Systems""; ""Abstract""; ""1�Introduction""; ""2�Preliminary""; ""3�Function Set-Valued Information Systems""; ""4�Conclusions""; ""References""; ""2 Neutrality in Bipolar Structures""; ""Abstract""; ""1�Introduction""; ""2�Building Type I Bipolar Fuzzy Sets""; ""3�Building Type II Bipolar Fuzzy Sets""; ""4�Building Type III Bipolar Fuzzy Sets""; ""5�Building General Bipolarities""; ""6�Conclusion""; ""Acknowledgments""; ""References""
""3 Multirate Multisensor Data Fusion Algorithm for State Estimation with Cross-Correlated Noises""""Abstract""; ""1�Introduction""; ""2�Problem Formulation""; ""3�Optimal State Estimation Algorithm""; ""4�Simulation""; ""5�Conclusion""; ""Acknowledgments""; ""References""; ""4 Task Based System Load Balancing Approach in Cloud Environments""; ""Abstract""; ""1�Introduction""; ""2�Related Works for VM Migration""; ""3�A Conceptual Model and Main Algorithm for Task Based System Load Balancing""; ""4�A Multi Objective Genetic Algorithm"" ""5�An Algorithm for Solving Multi-Objective Tasks Migration Problem Using MOGA""""6�Evaluation""; ""7�Conclusion and Future Work""; ""References""; ""5 Accurate Computation of Fingerprint Intrinsic Images with PDE-Based Regularization""; ""Abstract""; ""1�Introduction""; ""2�Coarse Intrinsic Images Computation""; ""2.1 Orientation Field""; ""2.2 Frequency Map""; ""2.3 Quality Map and Segmentation Map""; ""3�PDE-based Regularization""; ""4�Experimental Results""; ""5�Conclusion""; ""Acknowledgments""; ""References"" ""6 A Context Ontology Modeling and Uncertain Reasoning Approach Based on Certainty Factor for Context-Aware Computing""""Abstract""; ""1�Introduction""; ""2�Overview of the Context-Aware System""; ""3�Context Model""; ""3.1 Ontology-Based Model""; ""3.2 Ontology Model Based on Certainty Factor""; ""4�Context Reasoning""; ""4.1 Setting of Weights""; ""4.2 Uncertain Reasoning Process Description""; ""5�Case Study""; ""5.1 Reasoning Model of Uncertain Context""; ""5.2 Application of Uncertain Reasoning""; ""6�Conclusion""; ""References"" ""7 Research on Mental Coefficient of a Multi-Agent Negotiation Model""""Abstract""; ""1�Introduction""; ""2�Multi-Agent Cooperation Model""; ""2.1 Negotiation Process""; ""2.2 Definition and Update Agents� Mental Coefficient""; ""2.3 Definition of Acquaintance Model and its Sort Management""; ""2.3.1 The Concept of Acquaintance Coalition""; ""2.3.2 Classify Acquaintance Coalition""; ""2.3.3 The Management of Acquaintance Coalition""; ""2.4 Bidding and Decision Function""; ""2.4.1 Bidding Document""; ""2.4.2 Bidding Decision Function""; ""2.4.3 Win the Bidding Decision Function"" ""3�MACMMS Algorithm"" |
Record Nr. | UNINA-9910299727603321 |
New York, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of 2016 Chinese Intelligent Systems Conference : Volume I / / edited by Yingmin Jia, Junping Du, Weicun Zhang, Hongbo Li |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (X, 640 p. 239 illus., 172 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Artificial intelligence
Robotics Automation Computational intelligence Artificial Intelligence Robotics and Automation Computational Intelligence |
ISBN | 981-10-2338-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | New Decoupling Conditions for Arbitrary Systems Based on Transcale Coupling to the Time-Derivative Order -- Implementation of Intelligent Dynamic Tracking Monitoring System for Vehicle Transportation-in Hazardous Goods -- Bearing Fault Diagnosis Based On Hilbert Marginal Spectrum And Supervised Locally Linear Embedding -- Parabola-based flue gas temperature modeling and its application in BTP control of a sintering process -- Abnormal Event Detection Based on Crowd Density Distribution and Social Force Model. |
Record Nr. | UNINA-9910254981103321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of 2016 Chinese Intelligent Systems Conference : Volume II / / edited by Yingmin Jia, Junping Du, Weicun Zhang, Hongbo Li |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 627 p. 287 illus., 171 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Artificial intelligence
Robotics Automation Computational intelligence Artificial Intelligence Robotics and Automation Computational Intelligence |
ISBN | 981-10-2335-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | RSS-based target tracking with unknown path loss exponent -- An Intelligent Surveillance System for Crowed Abnormal Detection -- Research on Sliding-Mode Control Technology of High-performance LED Lighting Circuit -- A Novel Safety Assessment Approach based on Evolutionary Clustering Learning -- The CUDA-based Multi-frame images Parallel Fast Processing Method. |
Record Nr. | UNINA-9910254989503321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 2015 Chinese Intelligent Automation Conference : Intelligent Information Processing / / edited by Zhidong Deng, Hongbo Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (570 p.) |
Disciplina | 629.8 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Robotics
Automation Computational intelligence Control engineering Robotics and Automation Computational Intelligence Control and Systems Theory |
ISBN | 3-662-46469-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Robust Covariance Intersection Fusion Steady-state Kalman Filter with Uncertain Parameters -- An Improved GAFSA Based on Chaos Search and Modified Simplex Method -- Tea Leaves Classification Based on Texture Analysis -- An underwater image classification algorithm based on PCA and D-S evidence theory. |
Record Nr. | UNINA-9910299828103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 2015 Chinese Intelligent Automation Conference : Intelligent Technology and Systems / / edited by Zhidong Deng, Hongbo Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (576 p.) |
Disciplina | 629.8 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Robotics
Automation Computational intelligence Control engineering Robotics and Automation Computational Intelligence Control and Systems Theory |
ISBN | 3-662-46466-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling and Identification of the Human-exoskeleton Interaction Dynamics for Upper Limb Rehabilitation -- Motion Planning Algorithm Based on Environmental Information for Mars Rover -- Fluctuation Analysis of Runoff Time Series Under Coarse Graining Network Modeling Method -- Design and implementation of an intelligent cooking robot based on Internet of things. |
Record Nr. | UNINA-9910299827903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 2015 Chinese Intelligent Automation Conference : Intelligent Automation / / edited by Zhidong Deng, Hongbo Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (569 p.) |
Disciplina | 629.8 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Robotics
Automation Computational intelligence Control engineering Robotics and Automation Computational Intelligence Control and Systems Theory |
ISBN | 3-662-46463-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dissipativity Analysis and Synthesis of Singular Systems via Delta Operator Method -- An Application of Artificial Neural Networks in crane operation status monitoring -- Simulation Study of General Cargo Yard Layout. |
Record Nr. | UNINA-9910299827703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 2015 Chinese Intelligent Systems Conference : Volume 1 / / edited by Yingmin Jia, Junping Du, Hongbo Li, Weicun Zhang |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (650 p.) |
Disciplina | 620 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Computational intelligence
Artificial intelligence Robotics Automation Computational Intelligence Artificial Intelligence Robotics and Automation |
ISBN | 3-662-48386-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Observer Design for Discrete-time Switched Lipschitz Nonlinear Singular Systems with Time Delays and Unknown Inputs -- Research on grasping planning for apple picking robot’s end-effector -- Region-based shape control for multi-robot systems with uncertain kinematics and dynamics -- Location and Navigation Study of Laser Base Station. |
Record Nr. | UNINA-9910254206803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|