Sciweavers

475 search results - page 10 / 95
» Reasoning About the Transfer of Control
Sort
View
SMC
2007
IEEE
134views Control Systems» more  SMC 2007»
14 years 1 months ago
TCM masters miner for knowledge transfer
—Traditional Chinese medicine (TCM) has a rich knowledge about human health and disease by its special way evolved along a very long history. As modern medicine is achieving much...
Xijin Tang, Nan Zhang, Zheng Wang
SPATIALCOGNITION
2000
Springer
13 years 11 months ago
Coarse Qualitative Descriptions in Robot Navigation
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
Rolf Müller, Thomas Röfer, Axel Lankenau...
GIS
1992
ACM
13 years 11 months ago
Using Orientation Information for Qualitative Spatial Reasoning
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
Christian Freksa
ATAL
2006
Springer
13 years 11 months ago
On the logic of coalitional games
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
SACMAT
2006
ACM
14 years 1 months ago
Towards reasonability properties for access-control policy languages
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
Michael Carl Tschantz, Shriram Krishnamurthi