Sciweavers

842 search results - page 137 / 169
» Search Control Techniques for Planning
Sort
View
APWEB
2006
Springer
14 years 18 days ago
Efficient Dynamic Traffic Navigation with Hierarchical Aggregation Tree
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
Yun Bai, Yanyan Guo, Xiaofeng Meng, Tao Wan, Karin...
CSL
1995
Springer
14 years 13 days ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
KDD
1995
ACM
139views Data Mining» more  KDD 1995»
14 years 12 days ago
Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment
Eficient and efiective discovery of resource and knowledge from the Internet has become an imminent research issue, especially with the advent of the Information Super-Highway. A ...
Osmar R. Zaïane, Jiawei Han
ENGL
2007
93views more  ENGL 2007»
13 years 8 months ago
Forward Kinematics for Virtual Agents
—Realistic motion and natural-looking simulations require a thorough understanding of human movement control strategies. This work presents an initial developed on virtual agents...
Antonio Benitez, Guillermo de los Santos, Daniel V...
HCI
2011
13 years 10 days ago
A Low-Cost Natural User Interaction Based on a Camera Hand-Gestures Recognizer
The search for new simplified interaction techniques is mainly motivated by the improvements of the communication with interactive devices. In this paper, we present an interactiv...
Mohamed-Ikbel Boulabiar, Thomas Burger, Franck Poi...