Sciweavers

29172 search results - page 5479 / 5835
» Modeling Systems in CLP
Sort
View
EAAI
2006
123views more  EAAI 2006»
15 years 6 months ago
Applications of artificial intelligence for optimization of compressor scheduling
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...
Hanh H. Nguyen, Christine W. Chan
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
IJCV
2008
129views more  IJCV 2008»
15 years 6 months ago
Minimal Aspect Distortion (MAD) Mosaicing of Long Scenes
Abstract Long scenes can be imaged by mosaicing multiple images from cameras scanning the scene. We address the case of a video camera scanning a scene while moving in a long path,...
Alex Rav-Acha, Giora Engel, Shmuel Peleg
IJDMMM
2008
119views more  IJDMMM 2008»
15 years 6 months ago
A relational perspective on spatial data mining
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
Donato Malerba
EOR
2006
73views more  EOR 2006»
15 years 6 months ago
Path relinking and GRG for artificial neural networks
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...
Abdellah El-Fallahi, Rafael Martí, Leon S. ...
« Prev « First page 5479 / 5835 Last » Next »