Sciweavers

1188 search results - page 50 / 238
» States of Knowledge
Sort
View
102
Voted
AIPS
1994
15 years 1 months ago
A Planner with Quality Goal and Its Speed-up Learning for Optimization Problem
Aimsof traditional planners had beenlimited to finding a sequenceof operators rather than finding an optimal or neax-optimalfinal state. Consequent]y, the performanceimprovementsy...
Masahiko Iwamoto
104
Voted
KES
2008
Springer
15 years 16 days ago
Application Study in Decision Support with Fuzzy Cognitive Map
Fuzzy cognitive map is an approach to knowledge representation and inference; it emphasizes the connections of concepts as basic units for storing knowledge, and the structure that...
Yue He
ATAL
2008
Springer
15 years 2 months ago
Learning to interact: connecting perception with action in virtual environments
Modeling synthetic characters which interact with objects in dynamic virtual worlds is important when we want the agents to act in an autonomous and non-preplanned way. Such inter...
Pedro Sequeira, Ana Paiva
SPIN
2004
Springer
15 years 6 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
91
Voted
CPHYSICS
2008
106views more  CPHYSICS 2008»
15 years 20 days ago
A space-time-ensemble parallel nudged elastic band algorithm for molecular kinetics simulation
A scalable parallel algorithm has been designed to study long-time dynamics of many-atom systems based on the nudged elastic band method, which performs mutually constrained molec...
Aiichiro Nakano