12774 search results - page 2337 / 2555 » A Framework for Proof Systems |
217
click to vote
RAS
2006
15 years 6 months ago
2006
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
173
click to vote
RTS
2006
15 years 6 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
171
click to vote
IJHPCA
2007
15 years 6 months ago
2007
Users perceive varying levels of utility for each different job completed by the cluster. Therefore, there is a need for existing cluster Resource Management Systems (RMS) to prov...
173
click to vote
IJIPT
2007
15 years 6 months ago
2007
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
170
click to vote
AICOM
2005
15 years 6 months ago
2005
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...