6 |
|
Integrating Background Knowledge into Text Classification |
S36 |
|
A Statistical Model for Flexible String
Similarity |
S44 |
|
An Epistemic Logic for Arbitration |
S50 |
|
Learning to Compete in Heterogeneous Web Search
Environments |
S56 |
|
Assertion Application in Theorem Proving and Proof
Planning |
S60 |
|
Temporal Reasoning with Preferences and Uncertainty
|
S65 |
|
Extending DTGolog with Options |
71 |
|
A New Node Centroid algorithm for Bandwidth Minimization
|
72 |
|
A Resolution Theorem for Algebraic Domains |
S72 |
|
BDIO_CTL: Properties of Obligation in Agent Specification
Languages |
76 |
|
Collaborative Search |
S91 |
|
Explicit vs Implicit Profiling - A Case-Study in
Electronic Programme Guides |
97 |
|
Boosting Face Identification in Airports |
S99 |
|
EVOC: A Music Generating System using Genetic Algorithms
|
S100 |
|
Quantum Computation and Image Processing: New Trends
in Artificial Intelligence |
S104 |
|
Intelligent Multimodal Stream Processing |
S105 |
|
Parallelizing State Space Plans Online |
S114 |
|
Proactive Dialogue for Interactive Knowledge Capture
|
S116 |
|
Improving Speech Recognition on a Mobile Robot Platform
through the use of Top-Down Visual Queues |
S119 |
|
Real-Time Strategy Games: A New AI Research Challenge
|
S120 |
|
Item Selection Strategies for Collaborative Filtering
|
S123 |
|
Channeling Constraints and Value Ordering in the
QuasiGroup Completion Problem |
S124 |
|
Virtual World as Interface for Human-Robot Interaction
|
125 |
|
Coverage-Optimized Retrieval |
S129 |
|
Identifying Synonyms among Distributionally Similar
Words |
S135 |
|
Grid-based Sensor DCSP |
138 |
|
Inducing criteria for lexicalization parts of speech
using the Cyc KB |
140 |
|
Learning Algorithms for Software Agents in Uncertain
and Untrusted Market Environments |
143 |
|
Towards a Theoretical Framework for Ensemble Classification
|
S146 |
|
Constructing utility models from observed negotiation
actions |
S149 |
|
Towards Cooperative Negotiation for Decentralized
Resource Allocation in Autonomic Computing Systems |
S150 |
|
Sampling Combinatorial Spaces Using Biased Random
Walks |
S155 |
|
A Planning Algorithm for Predictive State Representation
|
S163 |
|
Comparison of Different Abstractions for Pathfinding
on Maps |
S164 |
|
Rollout Policy Iteration: Reinforcement Learning
as Classification |
S165 |
|
Using available memory to transform Graphplan's
Search |
S181 |
|
Towards Pervasive Robotics |
S182 |
|
Artificial Neural Network for Sequence Learning
|
193 |
|
Conservative Belief Change: A Gricean Approach |
231 |
|
Action Selection for Single- and Multi-Robot Tasks
Using Cooperative Extended Kohonen Maps |
235 |
|
Learning Consumer Photo Categories for Semantic
Retrieval |
247 |
|
A Visual-Sensor Model for Mobile Robot Localisation
|
269 |
|
Case Base Retrieval Using Solution-Space Metrics
|
270 |
|
Simulating Brain Damage: Lesion Studies of Executive
Attentional Control in Robots |
285 |
|
Applying interchangeability techniques to the distributed
breakout algorithm |
313 |
|
Splitting the atom: A new approach to Neighbourhood
Interchangeability in Constraint Satisfaction Problems |
316 |
|
Image Sequence Interpretation as Term Unification
|
336 |
|
Dynamic Vehicle Routing with Stochastic Requests
|
353 |
|
A Simulated Annealing Approach to the Traveling
Tournament Problem |
363 |
|
Combining Two Local Search Approaches to Hypergraph
Partitioning |
374 |
|
Coherence of Laws |
379 |
|
A Formalization of Equilibria for Multiagent Planning
|
393 |
|
Propagation Redundancy in Redundant Modelling |
394 |
|
Efficient Representation of Adhoc Constraints |
396 |
|
Solving Finite Domain Constraint Hierarchies by
Local Consistency and Tree Search |
428 |
|
Modular self-organization for a long-living autonomous
agent |
472 |
|
A New Content Based Image Retrieval Method Based
on a Sketch-Driven Interpretation of Line Segments |
483 |
|
A lookahead strategy for solving large planning
problems |
495 |
|
Automated Generation of Understandable Contingency
Plans |
523 |
|
A heuristic model for concurrent bi-lateral negotiations
in incomplete information settings |
531 |
|
Parametric Distance Metric Learning With Label Information
|
568 |
|
Making the Breakout Algorithm Complete Using Systematic
Search |
570 |
|
Finite Domain Constraint Solver Learning |
588 |
|
Sequence Learning by Backward Chaining in Synthetic
Characters |
597 |
|
Engineering a complex ontology with time |
656 |
|
Anytime Heuristic Search |
660 |
|
Mining Video Associations for Efficient Database
Management |
694 |
|
Multiple-Goal Reinforcement Learning |
708 |
|
Imitation Learning of Team-play in Multiagent System
based on Hidden Markov Modeling |
718 |
|
Comparing image-based localization methods |
719 |
|
An improved LSA algorithm to evaluate student contributions
in tutoring dialog |
721 |
|
Active Learning with Ensembles for Image Classification
|
725 |
|
A Multi-Agent Computational Linguistic Approach
to Speech Recognition |
736 |
|
The Knowledge Required to Interpret Noun Compounds
|
742 |
|
Solving Optimal Constraint Satisfaction Problems
Through Conflict-directed A* |
758 |
|
Recognizing Plan/Goal Abandonment |
767 |
|
A Novel Framework for Integrating Discrete Event
System Control and Diagnosis |
781 |
|
Network Meta-Reasoning for Information Assurance
in Mobile Agent Systems |
789 |
|
Delayed Duplicate Detection |
792 |
|
Combining Gravitational Clustering and Fuzzy Cluster
Analysis for Anomaly Detection |
797 |
|
Deductive Algorithmic Knowledge |
801 |
|
NoA - A Normative Agent Architecture |
819 |
|
Multiagent Planning with Partially Ordered Temporal
Plans |
845 |
|
Lookahead Pathologies for Single Agent Search |
846 |
|
Space-Efficient Memory-Based Heuristics |
851 |
|
Bidding under Uncertainty in Simultaneous Auctions
|
855 |
|
Improving Word Sense Disambiguation in Lexical Chaining
|
860 |
|
Multiple Agents Moving Target Search |
869 |
|
Active Probing Strategies for Problem Diagnosis
in Distributed Systems |
951 |
|
A Learning Algorithm for Localizing People Based
On Wireless Signal Strength That Uses Labeled and Unlabeled Data |
954 |
|
Boosting as a Metaphor for Algorithm Design |
967 |
|
Indirect and Conditional Sensing in the Event Calculus
|
970 |
|
A Logic Prover for Text Processing |