θ-Subsumption and Resolution: A New Algorithm (Englisch)
- Neue Suche nach: Ferilli, S.
- Neue Suche nach: Mauro, N.
- Neue Suche nach: Basile, T. M. A.
- Neue Suche nach: Esposito, F.
- Neue Suche nach: Ferilli, S.
- Neue Suche nach: Mauro, N.
- Neue Suche nach: Basile, T. M. A.
- Neue Suche nach: Esposito, F.
In:
Foundations of Intelligent Systems
2
;
384-391
;
2003
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:θ-Subsumption and Resolution: A New Algorithm
-
Beteiligte:Ferilli, S. ( Autor:in ) / Mauro, N. ( Autor:in ) / Basile, T. M. A. ( Autor:in ) / Esposito, F. ( Autor:in )
-
Erschienen in:Foundations of Intelligent Systems , 2 ; 384-391Lecture Notes in Computer Science ; 2871, 2 ; 384-391
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2003
-
Format / Umfang:8 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
New Challenges in the World Wide Wisdom Web (W4) ResearchLiu, Jiming et al. | 2003
- 7
-
Grounding to the Real World – Architecture for Ubiquitous Computing –Nakashima, Hideyuki et al. | 2003
- 12
-
Data Mining: Fast Algorithms vs. Fast ResultsRamakrishnan, Raghu et al. | 2003
- 14
-
Knowledge Discovery Services and Tools on GridsTalia, Domenico et al. | 2003
- 24
-
Space Decomposition in Data Mining: A Clustering ApproachRokach, Lior / Maimon, Oded / Lavi, Inbal et al. | 2003
- 32
-
Time Series Rule Discovery: Tough, Not MeaninglessStruzik, Zbigniew R. et al. | 2003
- 40
-
Mining Diagnostic Rules with Taxonomy from Medical DatabasesTsumoto, Shusaku et al. | 2003
- 49
-
Comparing Simplification Methods for Model Trees with Regression and Splitting NodesCeci, Michelangelo / Appice, Annalisa / Malerba, Donato et al. | 2003
- 57
-
Goodness-of-Fit Measures for Induction TreesRitschard, Gilbert / Zighed, Djamel A. et al. | 2003
- 65
-
PDL with Maximum Consistency MonitorsBertino, Elisa / Mileo, Alessandra / Provetti, Alessandro et al. | 2003
- 75
-
Comparing and Merging Ontologies: A Concept Type Hierarchy ApproachCorbett, Dan et al. | 2003
- 83
-
Integrating Information under Lattice StructurePhan-Luong, V. / TPham, T. / Jeansoulin, R. et al. | 2003
- 88
-
Functional Ontology for Intelligent InstrumentsDapoigny, Richard / Benoit, Eric / Foulloy, Laurent et al. | 2003
- 93
-
Constructing an Ontology Based on Hub WordsKoo, Sang Ok / Lim, Soo Yeon / Lee, Sang Jo et al. | 2003
- 98
-
Integration of Heterogeneous, Imprecise and Incomplete Data: An Application to the Microbiological Risk AssessmentBuche, Patrice / Haemmerle, Ollivier / Thomopoulos, Rallou et al. | 2003
- 108
-
Intelligent Protein 3D Structure Retrieval SystemChen, Yiqiang / Gao, Wen / Duan, Lijuan / Chen, Xiang / Ling, Charles X. et al. | 2003
- 116
-
Cognitive Vision Systems in Medical ApplicationsOgiela, Marek R. / Tadeusiewicz, Ryszard et al. | 2003
- 124
-
An Automated School Timetabling System Using Hybrid Intelligent TechniquesKwan, Alvin C. M. / Chung, Ken C. K. / Yip, Kammy K. K. / Tam, Vincent et al. | 2003
- 135
-
Representing Audio Data by FS-Trees and Adaptable TV-TreesWieczorkowska, Alicja A. / Raś, Zbigniew W. / Tsay, Li-Shiang et al. | 2003
- 143
-
A Framework of Rough Sets Based Rule Generation in Non-deterministic Information SystemsSakai, Hiroshi et al. | 2003
- 152
-
Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief FunctionsYao, Yiyu (Y. Y. ) / Liau, Churn-Jung / Zhong, Ning et al. | 2003
- 160
-
Searching for the Complex Decision Reducts: The Case Study of the Survival AnalysisBazan, Jan / Skowron, Andrzej / Ślȩzak, Dominik / Wróblewski, Jakub et al. | 2003
- 169
-
Clustering Supermarket Customers Using Rough Set Based Kohonen NetworksLingras, Pawan / Hogo, Mofreh / Snorek, Miroslav / Leonard, Bill et al. | 2003
- 174
-
Multi-rough Sets and Generalizations of Contexts in Multi-contexts Information SystemIntan, Rolly / Mukaidono, Masao et al. | 2003
- 179
-
MetaNews: An Information Agent for Gathering News Articles on the WebKang, Dae-Ki / Choi, Joongmin et al. | 2003
- 187
-
Enacting an Agent-Based Digital Self in a 24x7 Web Services WorldGoschnick, Steve et al. | 2003
- 197
-
Light-Weight Agents for E-learning EnvironmentsChan, Kevin / Sterling, Leon et al. | 2003
- 206
-
Towards a Pragmatic Methodology for Open Multi-agent SystemsMathieu, Philippe / Routier, Jean-Christophe / Secq, Yann et al. | 2003
- 211
-
Using Similarity to Implement Distributed Ubiquitous Software ServicesGouaich, Abdelkader et al. | 2003
- 216
-
MIC: Algebraic Agent EnvironmentGouaich, Abdelkader / Guiraud, Yves et al. | 2003
- 221
-
Using the SPACE Intermediate Model to Help to Implement AgentsFournier, Dominique / Mermet, Bruno / Simon, Gaële / Flouret, Marianne et al. | 2003
- 226
-
Belief Revision and Text Mining for Adaptive Recommender AgentsLau, Raymond Y. K. / Brand, Peter et al. | 2003
- 231
-
NETMARK: A Schema-Less Extension for Relational Databases for Managing Semi-structured Data DynamicallyMaluf, David A. / Tran, Peter B. et al. | 2003
- 242
-
Program Generation for Application Domain Users by Selecting Model CandidatesAida, Takumi / Ohsuga, Setsuo et al. | 2003
- 252
-
Traffic Sign Recognition in Disturbing EnvironmentsYang, Hsiu-Ming / Liu, Chao-Lin / Liu, Kun-Hao / Huang, Shang-Ming et al. | 2003
- 262
-
Design Patterns in Intelligent SystemsPeters, James F. et al. | 2003
- 270
-
Temporal Feature Extraction from Temporal Information SystemsSynak, Piotr et al. | 2003
- 279
-
Parallel Ant Colony SystemsChu, Shu-Chuan / Roddick, John F. / Pan, Jeng-Shyang / Su, Che-Jen et al. | 2003
- 285
-
Some Case-Refinement Strategies for Case-Based Criminal Summary JudgmentsLiu, Chao-Lin / Chang, Tseng-Chung et al. | 2003
- 292
-
G-STRIPS – A Generalized STRIPS System for Handling State Change over Dynamic DomainsZangh, Yan / Bai, Yun et al. | 2003
- 297
-
Classifying Document Titles Based on Information InferenceSong, Dawei / Bruza, Peter / Huang, Zi / Lau, Raymond Y. K. et al. | 2003
- 307
-
Building Topic Maps Using a Text Mining ApproachYang, Hsin-Chang / Lee, Chung-Hong et al. | 2003
- 315
-
Improving the Performance of Text Classifiers by Using Association FeaturesZhang, Yang / Zhang, Lijun / Li, Zhanhuai / Yan, Jianfeng et al. | 2003
- 320
-
Korean Document Summarization Using Topic Phrases Extraction and Locality-Based SimilarityRyu, Je / Han, Kwang-Rok / Rim, Kee-Wook et al. | 2003
- 326
-
Improving Naïve Bayes Text Classifier with Modified EM AlgorithmKim, Han-joon / Chang, Jae-young et al. | 2003
- 334
-
Mining Environmental Texts of Images in Web Pages for Image RetrievalYang, Hsin-Chang / Lee, Chung-Hong et al. | 2003
- 339
-
Towards a Contextual Content of OntologiesBenslimane, Djamal / Roussey, Catherine / Vangenot, Christelle / Arara, Ahmed et al. | 2003
- 344
-
An Email Classifier Based on ResemblancePoon, Chung Keung / Chang, Matthew et al. | 2003
- 349
-
The Characterization on the Uniqueness of Answer Set for Prioritized Logic ProgramsZhang, Yan / Bai, Yun et al. | 2003
- 357
-
A New Approach to Constraint Inductive Logic ProgrammingZheng, Lei / Liu, Chunnian / Jia, Dong / Zhong, Ning et al. | 2003
- 365
-
Extending the CLP Engine for Reasoning under UncertaintyAngelopoulos, Nicos et al. | 2003
- 374
-
Logic for Multi-path Message Forwarding Networks for Mobile AgentsKurihara, Masahito / Numazawa, Masanobu et al. | 2003
- 384
-
θ-Subsumption and Resolution: A New AlgorithmFerilli, S. / Mauro, N. / Basile, T. M. A. / Esposito, F. et al. | 2003
- 392
-
Supporting E-consent on Health Data by LogicRuan, Chun / Varadharajan, Vijay et al. | 2003
- 397
-
Towards the Theory of Relaxed UnificationAbou-Assaleh, Tony / Cercone, Nick / Kešelj, Vlado et al. | 2003
- 402
-
Probability Logic Modeling of Knowledge Discovery in DatabasesDeogun, Jitender / Jiang, Liying / Xie, Ying / Raghavan, Vijay et al. | 2003
- 408
-
Constructing Extensions of Bayesian Classifiers with Use of Normalizing Neural NetworksŚlȩzak, Dominik / Wróblewski, Jakub / Szczuka, Marcin et al. | 2003
- 417
-
Fuzzy Multiset Model for Information Retrieval and Clustering Using a Kernel FunctionMizutani, Kiyotaka / Miyamoto, Sadaaki et al. | 2003
- 422
-
Validation of Fuzzy Partitions Obtained through Fuzzy C-Means ClusteringKim, Dae-Won / Lee, Kwang H. et al. | 2003
- 427
-
Generating Fuzzy Thesaurus by Degree of Similarity in Fuzzy CoveringIntan, Rolly / Mukaidono, Masao et al. | 2003
- 433
-
Design of Iconic Language Interface for Semantic Based Korean Language GenerationChoo, Kyonam / Park, Hyunjae / Min, Hongki / Woo, Yoseop / Kang, Seokhoon et al. | 2003
- 440
-
Incremental Feature Extraction Based on Empirical Kernel MapKim, Byung Joo / Shim, Joo Yong / Hwang, Chang Ha / Kim, Il Kon / Song, Joon Hyun et al. | 2003
- 445
-
On Lookahead Heuristics in Decision Tree LearningElomaa, Tapio / Malinen, Tuomo et al. | 2003
- 454
-
Empirical Evaluation of Dissimilarity Measures for Time-Series Multiscale MatchingHirano, Shoji / Tsumoto, Shusaku et al. | 2003
- 463
-
First-Order Rules Mining Guided by Information GainYang, Xinwu / Liu, Chunnian / Zhong, Ning et al. | 2003
- 468
-
Simultaneous Row and Column Partitioning: Evaluation of a HeuristicRitschard, Gilbert / Zighed, Djamel A. et al. | 2003
- 473
-
Partial Prefix Sum Method for Large Data WarehousesChun, Seok-Ju et al. | 2003
- 478
-
Spatio-Temporal Association Mining for Un-sampled SitesLi, Dan / Deogun, Jitender et al. | 2003
- 486
-
Development of Generic Search Method Based on Transformation InvarianceAdachi, Fuminori / Washio, Takashi / Motoda, Hiroshi / Fujimoto, Atsushi / Hanafusa, Hidemitsu et al. | 2003
- 496
-
Hierarchical Ordering for Approximate Similarity RankingChua, Joselíto J. / Tischer, Peter E. et al. | 2003
- 501
-
Space Transformation Based Approach for Effective Content-Based Image RetrievalShah, Biren / Raghavan, Vijay et al. | 2003
- 506
-
Collaborative Filtering – Safe and Sound?O’Mahony, Michael P. / Hurley, Neil J. / Silvestre, Guénolé C. M. et al. | 2003
- 511
-
RNA Structure as Permutation: A GA Approach Comparing Different Genetic Sequencing OperatorsWiese, Kay C. / Glen, Edward et al. | 2003
- 521
-
Evolutionary Computation for Optimal Ensemble Classifier in Lymphoma Cancer ClassificationPark, Chanho / Cho, Sung-Bae et al. | 2003
- 531
-
Floorplan Design Using Improved Genetic AlgorithmIda, Kenichi / Kimura, Yosuke et al. | 2003
- 539
-
Some Enhancements in Genetic Learning: A Case Study on Initial PopulationBruha, Ivan et al. | 2003
- 544
-
Comparing Hierarchical Markov Networks and Multiply Sectioned Bayesian NetworksButz, C. J. / Geng, H. et al. | 2003
- 554
-
Constraint Propagation to Semantic Web Services DiscoveryBenbernou, Salima / Canaud, Etienne / Hacid, Mohand-Said / Toumani, Farouk et al. | 2003
- 562
-
Reasoning in Data Integration Systems: Why LAV and GAV Are SiblingsCalì, Andrea et al. | 2003
- 572
-
Design of an Adaptive Web Merchandising System Using Data MiningHa, Sung Ho et al. | 2003
- 577
-
Minutiae Extraction from Fingerprint Images Using Run-Length CodeShin, Jung-Hwan / Hwang, Hui-Yeoun / Chien, Sung-Il et al. | 2003
- 585
-
Endpoint Detection of Isolated Korean Utterances for Bimodal Speech Recognition in Acoustic Noisy EnvironmentsOh, Hyun-Hwa / Kwon, Hong-Seok / Son, Jong-Mok / Bae, Keun-Sung / Chien, Sung-Il et al. | 2003
- 593
-
Enhanced Active Shape Models with Global Texture Constraints for Image AnalysisShan, Shiguang / Gao, Wen / Wang, Wei / Zhao, Debin / Yin, Baocai et al. | 2003
- 598
-
Discovering Structures in Video DatabasesHajji, Hicham / Hacid, Mohand-Said / Toumani, Farouk et al. | 2003
- 603
-
Theoretical Evaluation of Ring-Based Architectural Model for Middle Agents in Agent-Based SystemLi, Chunsheng / Zhang, Chengqi / Cao, Longbing et al. | 2003
- 608
-
Multi-attributes-Based Negotiation Agent and E-marketplace in Customer-to-Customer Electronic CommerceKim, Wooju / Hong, June S. / Song, Yong U. et al. | 2003
- 613
-
A Feature Analysis Framework for Evaluating Multi-agent System Development MethodologiesTran, Quynh-Nhu Numi / Low, Graham / Williams, Mary-Anne et al. | 2003
- 618
-
Decentralized ControlBoella, Guido / Torre, Leendert et al. | 2003
- 623
-
An Intelligent Agent for Automatic Course AdaptationAbdel Razek, Mohammed / Frasson, Claude / Kaltenbach, Marc et al. | 2003
- 628
-
An Exploration of Bugs and Debugging in Multi-agent SystemsPoutakidis, David / Padgham, Lin / Winikoff, Michael et al. | 2003
- 633
-
A Framework for Building Competency-Based Systems Dedicated to Human Resource ManagementTrichet, Francky / Leclère, Michel et al. | 2003
- 640
-
Extracting the Most Discriminant Subset from a Pool of Candidates to Optimize Discriminant Classifier TrainingVivaracho, Carlos E. / Ortega-Garcia, Javier / Alonso, Luis / Moro, Q. Isaac et al. | 2003
- 646
-
Knowledge Engineering of Intelligent Sales-Recruitment System Using Multi-layered Agent MethodologyKhosla, R. / Goonesekera, T. / Mitsukura, Y. et al. | 2003
- 652
-
The KAMET II Methodology: A Modern Approach for Building Diagnosis-Specialized Knowledge-Based SystemsCairó, Osvaldo / Alvarez, Julio César et al. | 2003
- 657
-
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge BasesKemke, Christel et al. | 2003
- 663
-
An Efficient Algorithm for Computing Core Attributes in Database SystemsHan, Jianchao / Hu, Xiaohua / Lin, T. Y. et al. | 2003
- 668
-
Similarity GraphsKnappe, Rasmus / Bulskov, Henrik / Andreasen, Troels et al. | 2003
- 673
-
Image-Based Flame Control of a Premixed Gas Burner Using Fuzzy LogicsTuntrakoon, Apichart / Kuntanapreeda, Suwat et al. | 2003
- 678
-
Intelligent Pattern Recognition by Feature Selection through Combined Model of DWT and ANNKim, Cheol-Ki / Cha, Eui-Young / Chon, Tae-Soo et al. | 2003
- 684
-
Applying Neural Networks to Study the Mesoscale Variability of Oceanic Boundary CurrentsBotelho, Silvia S. C. / Mata, Mauricio M. / Bem, Rodrigo / Almeida, Igor et al. | 2003
- 689
-
Dialog Planning and Domain Knowledge Modeled in Terms of Tasks and Methods: A Flexible Framework for Dialog ManagingDelorme, Fabien / Lehuen, Jérôme et al. | 2003