5550 search results - page 263 / 1110 » Different Approaches to Proof Systems |
140
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Continuous failures in ERP systems implementation project are today the main challenge in the feasibility of integrated information systems. Failure can be determined by different...
162
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe a low-cost flight control system for a small (60 class) helicopter which is part of a larger project to develop an autonomous flying vehicle. Our appro...
179
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper addresses the disturbance attenuation problem by output feedback for multivariable linear systems with delayed inputs. To solve this problem, a feedback compensator is u...
153
click to vote
ACL
2009
15 years 4 months ago
2009
Mapping and classification of chemical compound names are important aspects of the tasks of BioNLP. This paper introduces the architecture of a system for the syntactic and semant...
170
click to vote
CRV
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...