default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20. Australian Joint Conference on Artificial Intelligence 2007: Gold Coast, Australia
- Mehmet A. Orgun
, John Thornton:
AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Lecture Notes in Computer Science 4830, Springer 2007, ISBN 978-3-540-76926-2
Invited Talks
- Patrick Doherty, Piotr Rudol:
A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. 1-13 - Norman Y. Foo:
Social Agents. 14 - Richard I. Hartley:
Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization. 15
Machine Learning
- Alexandra M. Carvalho, Arlindo L. Oliveira, Marie-France Sagot:
Efficient Learning of Bayesian Network Classifiers. 16-25 - Junbin Gao, Richard Y. D. Xu:
Mixture of the Robust L1 Distributions and Its Applications. 26-35 - Ole-Christoffer Granmo, B. John Oommen:
On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems. 36-47 - Sumukh Ghodke, Timothy Baldwin:
An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers. 48-57 - Bernhard Hengst:
Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning. 58-67 - Shunkai Fu, Michel C. Desmarais:
Local Learning Algorithm for Markov Blanket Discovery. 68-79 - Feng Liu, Fengzhan Tian, QiLiang Zhu:
A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data. 80-89 - Bernhard Pfahringer, Geoffrey Holmes, Richard Kirkby:
New Options for Hoeffding Trees. 90-99
Neural Networks
- Akarachai Atakulreka, Daricha Sutivong:
Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning. 100-109 - Dragos Calitoiu, B. John Oommen, Doron Nussbaum:
Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization. 110-119 - Vishwas R. Puttige, Sreenatha G. Anavatti, Tapabrata Ray:
Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV. 120-129 - Suren I. Rathnayake, Udantha R. Abeyratne:
Prediction of Polysomnographic Measurements. 130-139
Evolutionary Computing
- Ziad Kobti, Zhiyang Wamg:
An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms. 140-149 - Masatoshi Nagamine, Tetsuhiro Miyahara, Tetsuji Kuboyama, Hiroaki Ueda, Kenichi Takahashi:
A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns. 150-159 - Kourosh Neshatian, Mengjie Zhang, Mark Johnston:
Feature Construction and Dimension Reduction Using Genetic Programming. 160-170 - Taejin Park, Ri Choe, Kwang Ryel Ryu:
Adjusting Population Distance for the Dual-Population Genetic Algorithm. 171-180
Constraint Satisfaction
- Jian Gao, Jigui Sun, Yonggang Zhang:
An Improved Concurrent Search Algorithm for Distributed CSPs. 181-190 - Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. 191-201 - Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose:
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. 202-212
Satisfiability
- Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Advances in Local Search for Satisfiability. 213-222 - Knot Pipatsrisawat, Adnan Darwiche:
Clone: Solving Weighted Max-SAT in a Reduced Search Space. 223-233 - Stefan Porschen:
A CNF Formula Hierarchy over the Hypercube. 234-243 - Martin Wehrle, Jussi Rintanen:
Planning as Satisfiability with Relaxed $-Step Plans. 244-253
Automated Reasoning
- Wu Chen, Norman Y. Foo, Mingyi Zhang:
Forgetting in Logic Programs with Ordered Disjunction. 254-262 - Victor Jauregui:
The 'Majority' and 'by Default' Modalities. 263-272 - Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger:
Restricted Higher-Order Anti-Unification for Analogy Making. 273-282 - Rune Rasmussen, Frédéric Maire, Ross Hayward:
A Template Matching Table for Speeding-Up Game-Tree Searches for Hex. 283-292 - Jochen Renz, Falko Schmid:
Customizing Qualitative Spatial and Temporal Calculi. 293-304
Knowledge Discovery
- Manoranjan Dash, Ong Cher Yee:
extraRelief: Improving Relief by Efficient Selection of Instances. 305-314 - Mohammad El-Hajj, Jiyang Chen, Osmar R. Zaïane, Randy Goebel:
Constraint-Based Mining of Web Page Associations. 315-326 - Byeong Ho Kang, Yang Sok Kim, Young Ju Choi:
Does Multi-user Document Classification Really Help Knowledge Management? 327-336 - Kimberly D. Voll, Maite Taboada:
Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance. 337-346
Robotics
- Rosana Matuk Herrera:
A Bio-inspired Method for Incipient Slip Detection. 347-356 - Yasser F. O. Mohammad, Toyoaki Nishida:
TalkBack: Feedback from a Miniature Robot. 357-366
Social Intelligence
- Fabian Bohnert, Ingrid Zukerman:
Using Viewing Time for Theme Prediction in Cultural Heritage Spaces. 367-376 - Ae-Ttie Ji, Cheol Yeon, Heung-Nam Kim, GeunSik Jo:
Collaborative Tagging in Recommender Systems. 377-386 - Rossitza Setchi, Nikolaos Lagos, Danny Froud:
Computational Imagination: Research Agenda. 387-393
Ontologies and Semantic Web
- Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda:
An Upper Ontology for Event Classifications and Relations. 394-403 - Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh:
A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering. 404-414 - Le Phong Bao Vuong, Xiaoying Gao:
Using Clustering for Web Information Extraction. 415-424
Natural Language Systems
- Samuel W. K. Chan:
A Decision Tree Approach to Sentence Chunking. 425-434 - Robert Dale, Pawel P. Mazur:
The Semantic Representation of Temporal Expressions in Text. 435-444 - Kyongho Min, William H. Wilson, Byeong Ho Kang:
Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams. 445-455 - Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter:
Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens. 456-465 - Michael Niemann, Ingrid Zukerman, Enes Makalic, Sarah George:
Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances. 466-475
Knowledge Representation
- Guido Governatori, Paolo Terenziani:
Temporal Extensions to Defeasible Logic. 476-485 - Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo:
Characterising Deadlines in Temporal Modal Defeasible Logic. 486-496 - Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström:
Dialogue Games in Defeasible Logic. 497-506 - Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates. 507-518
Expert Systems
- Ivan Bindoff, Byeong Ho Kang, Tristan Ling, Peter Tenni, Gregory Peterson:
Applying MCRDR to a Multidisciplinary Domain. 519-528 - Takashi Mitsuishi, Yasunari Shidama:
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization. 529-538
Applications of AI
- A. P. Dalgleish, David L. Dowe, Imants D. Svalbe:
Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study. 539-548 - Rob Fearn, Raymond Williams, R. Mike Cameron-Jones, Julian Harrington, Jayson Semmens:
Automated Intelligent Abundance Analysis of Scallop Survey Video Footage. 549-558 - Michael Horton, R. Mike Cameron-Jones, Raymond Williams:
Multiple Classifier Object Detection with Confidence Measures. 559-568 - Jiaming Li, Geoff Poulton, Geoff James:
Agent-Based Distributed Energy Management. 569-578 - Julie Main, Tharam S. Dillon, Mary Witten:
Adaptation Knowledge from the Case Base. 579-588 - Peter J. Tan, David L. Dowe, Trevor I. Dix:
Building Classification Models from Microarray Data with Tree-Based Classification Algorithms. 589-598 - Philip J. Uren, R. Mike Cameron-Jones, Arthur H. J. Sale:
MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment. 599-608
Short Papers
- Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A System for Modal and Deontic Defeasible Reasoning. 609-613 - Stuart Bain:
Time-Reversal in Conway's Life as SAT. 614-618 - Hien T. Nguyen, Tru Hoang Cao:
A Knowledge-Based Approach to Named Entity Disambiguation in News Articles. 619-624 - Ri Choe, Taejin Park, Seung Min Ok, Kwang Ryel Ryu:
Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal. 625-631 - Andrew Czarn, Cara MacNish, Kaipillil Vijayan, Berwin A. Turlach:
The Detrimentality of Crossover. 632-636 - Jeremiah D. Deng, Matthew T. Gleeson:
Automatic Sapstain Detection in Processed Timber. 637-641 - Peter Geibel, Ulf Krumnack, Olga Pustylnikov, Alexander Mehler, Helmar Gust, Kai-Uwe Kühnberger:
Structure-Sensitive Learning of Text Types. 642-646 - Steve Green, Michael Blumenstein:
A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery. 647-653 - Chonghui Guo, Hong Li:
Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm. 654-658 - Yi Guo, Junbin Gao, Paul Wing Hing Kwan:
Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data. 659-663 - Dai Hasegawa, Rafal Rzepka, Kenji Araki:
Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback. 664-668 - Sattar Hashemi, Ying Yang, Majid Pourkashani, Mohammad Reza Kangavari:
To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification. 669-674 - Jianying He, Haihua Yan, Maozhong Jin, Chao Liu:
Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization. 675-681 - Henry Huang, Frédéric Maire, Narongdech Keeratipranon:
An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems. 682-686 - Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar:
Weight Redistribution for Unweighted MAX-SAT. 687-693 - Bin Jiang, Huidong Jin, Nianjun Liu, Mike Quirk, Ben Searle:
A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas. 694-698 - He Jiang, Xianchao Zhang, Mingchu Li:
Backbone of the p-Median Problem. 699-704 - Asad I. Khan, Anang Hudaya Muhamad Amin:
One Shot Associative Memory Method for Distorted Pattern Recognition. 705-709 - Yun Sing Koh, Russel Pears:
Efficiently Finding Negative Association Rules Without Support Threshold. 710-714 - ChenGuang Liu:
A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems. 715-720 - Yanzhi Li, Yi Tao, Fan Wang:
A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning. 721-726 - Melissa Liew, Langford B. White:
Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation. 727-731 - José David Martín-Guerrero, Emilio Soria-Olivas, Marcelino Martínez-Sober, Mónica Climente-Martí, Teresa De Diego-Santos, N. Víctor Jiménez:
Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin. 732-738 - John Mashford, Paul Davis, Mike Rahilly:
Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection. 739-743 - Manuel Medina González, Hirosato Nomura:
An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation. 744-748 - Katsunori Nakamura, Akira Fusaoka:
Reasoning About Hybrid Systems Based on a Nonstandard Model. 749-754 - Vladimir Nikulin, Geoffrey J. McLachlan:
Merging Algorithm to Reduce Dimensionality in Application to Web-Mining. 755-761 - Jung-Eun Park, Kyung-Whan Oh:
Human Behavior Analysis for Human-Robot Interaction in Indoor Environments. 762-768 - Grant Patterson, Mengjie Zhang:
Fitness Functions in Genetic Programming for Classification with Unbalanced Data. 769-775 - Wayne J. Pullan:
Protein Structure Alignment Using Maximum Cliques and Local Search. 776-780 - Umair Rafique, Shell-Ying Huang:
SMART: Structured Memory for Abstract Reasoning and Thinking. 781-785 - Edgar Scavino, Dzuraidah Abdul Wahab, Hassan Basri, Mohd. Marzuki Mustafa, Aini Hussain:
An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach. 786-790 - Andrea Stubbe, Christoph Ringlstetter, Randy Goebel:
Elements of a Learning Interface for Genre Qualified Search. 791-797 - Yuzu Uchida, Kenji Araki:
A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules. 798-802 - Richard J. Wallace, Stuart Bain:
Branching Rules for Satisfiability Analysed with Factor Analysis. 803-809 - Pengyi Yang, Zili Zhang:
Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification. 810-814 - Yumin Yang, Chonghui Guo, Zunquan Xia:
An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model. 815-819 - Bailing Zhang, Tuan D. Pham, Yanchun Zhang:
Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples. 820-826 - Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang:
Class Association Rule Mining with Multiple Imbalanced Attributes. 827-831 - Xufei Wang, Chunping Li:
DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets. 832-837
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-01 22:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
