Sciweavers

2024 search results - page 144 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
130
Voted
JOLLI
2007
128views more  JOLLI 2007»
15 years 3 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...
134
Voted
KI
1999
Springer
15 years 7 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...
INFOCOM
2010
IEEE
15 years 2 months ago
Delay Analysis for Cognitive Radio Networks with Random Access: A Fluid Queue View
Abstract—We consider a cognitive radio network where multiple secondary users (SUs) contend for spectrum usage, using random access, over available primary user (PU) channels. Ou...
Shanshan Wang, Junshan Zhang, Lang Tong
161
Voted
ICIP
2001
IEEE
16 years 5 months ago
Optimal radial contour tracking by dynamic programming
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
Yunqiang Chen, Thomas S. Huang, Yong Rui
142
Voted
IJCSA
2007
213views more  IJCSA 2007»
15 years 3 months ago
Adaptive Depth Control for Autonomous Underwater Vehicles Based on Feedforward Neural Networks
This paper studies the design and application of the neural network based adaptive control scheme for autonomous underwater vehicle's (AUV's) depth control system that i...
Yang Shi, Weiqi Qian, Weisheng Yan, Jun Li