Sciweavers

8780 search results - page 53 / 1756
» On the Feasibility of Consistent Computations
Sort
View
ICTAC
2005
Springer
15 years 3 months ago
Representation and Reasoning on RBAC: A Description Logic Approach
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zu...
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
15 years 2 months ago
Color Landmark Based Self-Localization for Indoor Mobile Robots
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
Gi-jeong Jang, Sungho Kim, Wang-Heon Lee, In-So Kw...
PLILP
1998
Springer
15 years 2 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
ENGL
2007
108views more  ENGL 2007»
14 years 9 months ago
An Adaptive Controller for Multimodal Systems Based on Fuzzy Reference Model Generator
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
Sukumar Kamalasadan
MOR
2006
95views more  MOR 2006»
14 years 9 months ago
An Efficient Interior-Point Method for Convex Multicriteria Optimization Problems
In multicriteria optimization, several objective functions, conflicting with each other, have to be minimized simultaneously. We propose a new efficient method for approximating t...
Jörg Fliege