Sciweavers

4963 search results - page 683 / 993
» Implementing a Categorical Information System
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
15 years 7 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
218
Voted
AAMAS
2002
Springer
15 years 7 months ago
MySpiders: Evolve Your Own Intelligent Web Crawlers
The dynamic nature of the World Wide Web makes it a challenge to find information that is both relevant and recent. Intelligent agents can complement the power of search engines to...
Gautam Pant, Filippo Menczer
205
Voted
CGF
2002
155views more  CGF 2002»
15 years 7 months ago
Improved Scene Reconstruction from Range Images
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
Jianning Wang, Manuel M. Oliveira
180
Voted
CCE
2007
15 years 7 months ago
Performance monitoring of industrial controllers based on the predictability of controller behavior
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
Rachid A. Ghraizi, Ernesto Martínez, C&eacu...
INFORMATICALT
2000
120views more  INFORMATICALT 2000»
15 years 7 months ago
Mobile Code Alternatives for Secure Environments
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
Algirdas Pakstas, Igor Shagaev