IJCAI 2007 | Sciweavers

31

IJCAI
2003

121views Artificial Intelligence» more IJCAI 2003»

14 years 1 months ago

Particle ﬁlters are used extensively for tracking the state of non-linear dynamic systems. This paper presents a new particle ﬁlter that maintains samples in the state space a...

Vandi Verma, Sebastian Thrun, Reid G. Simmons

claim paper

Read More »

21

click to vote

IJCAI
2003

105views Artificial Intelligence» more IJCAI 2003»

Quantum Computation and Image Processing: New Trends in Artificial Intelligence

14 years 1 months ago

Download mindsofmexico.org

Salvador Elías Venegas-Andraca, S. Bose

claim paper

Read More »

22

click to vote

IJCAI
2003

105views Artificial Intelligence» more IJCAI 2003»

Automated Verification: Graphs, Logic, and Automata

14 years 1 months ago

Download dli.iiit.ac.in

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 »

50

click to vote

IJCAI
2003

155views Artificial Intelligence» more IJCAI 2003»

Coherent Keyphrase Extraction via Web Mining

14 years 1 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 »

30

click to vote

IJCAI
2003

133views Artificial Intelligence» more IJCAI 2003»

A Semantic-Based User Privacy Protection Framework for Web Services

14 years 1 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 »

22

click to vote

IJCAI
2003

93views Artificial Intelligence» more IJCAI 2003»

Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments

14 years 1 months ago

Download dli.iiit.ac.in

Thomas T. Tran, Robin Cohen

claim paper

Read More »

18

click to vote

IJCAI
2003

117views Artificial Intelligence» more IJCAI 2003»

Automatic Abstraction in Component-Based Diagnosis Driven by System Observability

14 years 1 months ago

Download dli.iiit.ac.in

Gianluca Torta, Pietro Torasso

claim paper

Read More »

32

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

14 years 1 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 »

47

click to vote

IJCAI
2003

163views Artificial Intelligence» more IJCAI 2003»

In Defense of PDDL Axioms

14 years 1 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 »

38

click to vote

IJCAI
2003

132views Artificial Intelligence» more IJCAI 2003»

Efficient Execution of Recursive Integration Plans

14 years 1 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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers