825 search results - page 72 / 165 » Internal Iteration Externalized |
IPPS
2000
IEEE
14 years 10 days ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
RIDE
1999
IEEE
14 years 6 days ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
HICSS
1997
IEEE
14 years 5 days ago
1997
IEEE
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
TAPSOFT
1997
Springer
14 years 2 days ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
25
Voted
CDC
2009
IEEE
13 years 12 months ago
2009
IEEE
In this paper a new Fuzzy/Kalman navigation system for Unmanned Aerial Vehicles (UAV) is presented. A closed loop velocity Fuzzy navigation system is proposed for stabilizing the U...