Sciweavers

JAIR
2010
90views more  JAIR 2010»
13 years 6 months ago
An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem
The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. It is among the first problems used for studying intrinsic properties, i...
Gerold Jäger, Weixiong Zhang
JAIR
2010
87views more  JAIR 2010»
13 years 6 months ago
Best-First Heuristic Search for Multicore Machines
Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou
JAIR
2010
147views more  JAIR 2010»
13 years 6 months ago
Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction
The Aviation Safety Reporting System collects voluntarily submitted reports on aviation safety incidents to facilitate research work aiming to reduce such incidents. To effectivel...
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Kha...
JAIR
2010
130views more  JAIR 2010»
13 years 6 months ago
Interactive Cost Configuration Over Decision Diagrams
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
JAIR
2010
181views more  JAIR 2010»
13 years 6 months ago
Intrusion Detection using Continuous Time Bayesian Networks
Intrusion detection systems (IDSs) fall into two high-level categories: network-based systems (NIDS) that monitor network behaviors, and host-based systems (HIDS) that monitor sys...
Jing Xu, Christian R. Shelton
JAIR
2010
98views more  JAIR 2010»
13 years 10 months ago
Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding
Vadim Bulitko, Yngvi Björnsson, Ramon Lawrenc...
JAIR
2010
74views more  JAIR 2010»
13 years 10 months ago
Implicit Abstraction Heuristics
Michael Katz, Carmel Domshlak
JAIR
2010
167views more  JAIR 2010»
13 years 10 months ago
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
LAMA is a classical planning system based on heuristic forward search. Its core feature is the use of a pseudo-heuristic derived from landmarks, propositional formulas that must b...
Silvia Richter, Matthias Westphal
JAIR
2010
143views more  JAIR 2010»
13 years 10 months ago
A Utility-Theoretic Approach to Privacy in Online Services
Online offerings such as web search, news portals, and e-commerce applications face the challenge of providing high-quality service to a large, heterogeneous user base. Recent eff...
Andreas Krause, Eric Horvitz