Sciweavers

6709 search results - page 1168 / 1342
» Impacting the Learning Experience
Sort
View
BIRTHDAY
2005
Springer
14 years 4 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
14 years 4 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
DNIS
2005
Springer
102views Database» more  DNIS 2005»
14 years 4 months ago
An Improved Approach to Extract Document Summaries Based on Popularity
With the rapid growth of the Internet, most of the textual data in the form of newspapers, magazines and journals tend to be available on-line. Summarizing these texts can aid the...
P. Arun Kumar, K. Praveen Kumar, T. Someswara Rao,...
ECML
2005
Springer
14 years 4 months ago
Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
Masoumeh T. Izadi, Doina Precup
GCC
2005
Springer
14 years 4 months ago
Knowledge Acquisition Based on the Global Concept of Fuzzy Cognitive Maps
Combination of prior knowledge and implicit knowledge hidden in the data of system can enhance the quality of information services in Knowledge Grid. Fuzzy Cognitive Maps (FCMs) ar...
Xiangfeng Luo
« Prev « First page 1168 / 1342 Last » Next »