Sciweavers

2083 search results - page 281 / 417
» Perception and Experience in Problem Solving
Sort
View
AAAI
2008
15 years 8 months ago
A New Incomplete Method for CSP Inconsistency Checking
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
Belaid Benhamou, Mohamed Réda Saïdi
AIPS
2007
15 years 8 months ago
An Innovative Product for Space Mission Planning: An A Posteriori Evaluation
This paper describes MEXAR2, a software tool that is currently used to synthesize the operational commands for data downlink from the on-board memory of an interplanetary space mi...
Amedeo Cesta, Gabriella Cortellessa, Simone Fratin...
AIPS
2007
15 years 8 months ago
Robust Local Search and Its Application to Generating Robust Schedules
In this paper, we propose an extended local search framework to solve combinatorial optimization problems with data uncertainty. Our approach represents a major departure from sce...
Hoong Chuin Lau, Thomas Ou, Fei Xiao
DAWAK
2008
Springer
15 years 7 months ago
Mining Serial Episode Rules with Time Lags over Multiple Data Streams
The problem of discovering episode rules from static databases has been studied for years due to its wide applications in prediction. In this paper, we make the first attempt to st...
Tung-Ying Lee, En Tzu Wang, Arbee L. P. Chen
ERCIMDL
2008
Springer
181views Education» more  ERCIMDL 2008»
15 years 7 months ago
Author Name Disambiguation for Citations Using Topic and Web Correlation
Abstract. Today, bibliographic digital libraries play an important role in helping members of academic community search for novel research. In particular, author disambiguation for...
Kai-Hsiang Yang, Hsin-Tsung Peng, Jian-Yi Jiang, H...