IJCAI 2003 | Sciweavers

19

IJCAI
2003

105views Artificial Intelligence» more IJCAI 2003»

Automated Verification: Graphs, Logic, and Automata

13 years 10 months ago

Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...

Moshe Y. Vardi

claim paper

Read More »

41

click to vote

IJCAI
2003

155views Artificial Intelligence» more IJCAI 2003»

Coherent Keyphrase Extraction via Web Mining

13 years 10 months ago

Download dli.iiit.ac.in

Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...

Peter D. Turney

claim paper

Read More »

25

click to vote

IJCAI
2003

133views Artificial Intelligence» more IJCAI 2003»

A Semantic-Based User Privacy Protection Framework for Web Services

13 years 10 months ago

Download www.srdc.metu.edu.tr

Abstract. Web service technology is an Internet-based distributed computing paradigm to address interoperability in heterogeneous distributed systems. In this paper, we present a p...

Arif Tumer, Asuman Dogac, Ismail Hakki Toroslu

claim paper

Read More »

20

click to vote

IJCAI
2003

93views Artificial Intelligence» more IJCAI 2003»

Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments

13 years 10 months ago

Download dli.iiit.ac.in

Thomas T. Tran, Robin Cohen

claim paper

Read More »

15

click to vote

IJCAI
2003

117views Artificial Intelligence» more IJCAI 2003»

Automatic Abstraction in Component-Based Diagnosis Driven by System Observability

13 years 10 months ago

Download dli.iiit.ac.in

Gianluca Torta, Pietro Torasso

claim paper

Read More »

21

click to vote

IJCAI
2003

87views Artificial Intelligence» more IJCAI 2003»

A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data

13 years 10 months ago

Download www.ri.cmu.edu

This paper summarizes a probabilistic approach for localizing people through the signal strengths of a wireless IEEE 802.11b network. Our approach uses data labeled by ground trut...

Sebastian Thrun, Geoffrey J. Gordon, Frank Pfennin...

claim paper

Read More »

38

click to vote

IJCAI
2003

163views Artificial Intelligence» more IJCAI 2003»

In Defense of PDDL Axioms

13 years 10 months ago

Download dli.iiit.ac.in

There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...

Sylvie Thiébaux, Jörg Hoffmann, Bernha...

claim paper

Read More »

28

click to vote

IJCAI
2003

132views Artificial Intelligence» more IJCAI 2003»

Efficient Execution of Recursive Integration Plans

13 years 10 months ago

Download www.isi.edu

Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...

Snehal Thakkar, Craig A. Knoblock

claim paper

Read More »

18

click to vote

IJCAI
2003

110views Artificial Intelligence» more IJCAI 2003»

A Statistical Model for Flexible String Similarity

13 years 10 months ago

Download dli.iiit.ac.in

This paper proposes a statistical model for defining string similarity. The proposed model is based on hidden Markov model and defines string similarity as the combination of simi...

Atsuhiro Takasu

claim paper

Read More »

16

click to vote

IJCAI
2003

89views Artificial Intelligence» more IJCAI 2003»

Qualitatively Faithful Quantitative Prediction

13 years 10 months ago