Proceedings 11th International Conference on Tools with Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

64

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769504566

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving hard satisfiability problems: a unified algorithm based on discrete Lagrange multipliers

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809788 ◽

2003 ◽

Author(s):

Zhe Wu ◽

B.W. Wah

Keyword(s):

Lagrange Multipliers ◽

Satisfiability Problems ◽

Unified Algorithm

Download Full-text

Using an artificial intelligence approach to build an automated program understanding/fault localization tool

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809768 ◽

2003 ◽

Author(s):

I. Burnstein ◽

R. Saner ◽

Y. Limpiyakorn

Keyword(s):

Artificial Intelligence ◽

Fault Localization ◽

Program Understanding ◽

Intelligence Approach ◽

Artificial Intelligence Approach

Download Full-text

Efficiently detecting arbitrary shaped clusters in image databases

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809785 ◽

2003 ◽

Author(s):

Dantong Yu ◽

S. Chatterjee ◽

Aidong Zhang

Keyword(s):

Image Databases

Download Full-text

An architecture for designing distributed spoken dialogue interfaces

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809793 ◽

2003 ◽

Author(s):

C. Allen ◽

S. Stoecklin ◽

P. Bobbie ◽

Qian Chen ◽

Ping Wu

Keyword(s):

Spoken Dialogue

Download Full-text

GraGA: a graph based genetic algorithm for airline crew scheduling

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809761 ◽

2003 ◽

Author(s):

H. Timucin Ozdemir ◽

C.K. Mohan

Keyword(s):

Genetic Algorithm ◽

Crew Scheduling ◽

Airline Crew Scheduling ◽

Download Full-text

Mining typhoon knowledge with neural networks

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809809 ◽

2003 ◽

Author(s):

Z. Zhou ◽

S. Chen ◽

Z. Chen

Keyword(s):

Neural Networks

Download Full-text

A formal basis for consistency, evolution and rationale management in requirements engineering

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809769 ◽

2003 ◽

Author(s):

A.K. Ghose

Keyword(s):

Requirements Engineering ◽

Download Full-text

An agent-based approach for interpreting medical images

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809777 ◽

2003 ◽

Author(s):

M. Popescu ◽

Yi Shang

Keyword(s):

Medical Images ◽

Download Full-text

Capturing user access patterns in the Web for data mining

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809818 ◽

2003 ◽

Author(s):

I-Yuan Lin ◽

Xin-Mao Huang ◽

Ming-Syan Chen

Keyword(s):

Data Mining ◽

User Access ◽

Access Patterns ◽

Download Full-text

On the fine structure of large search spaces

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809786 ◽

2003 ◽

Author(s):

C. Gomes ◽

B. Selman

Keyword(s):

Fine Structure ◽

Download Full-text