5550 search results - page 211 / 1110 » Different Approaches to Proof Systems |
233
click to vote
CAI
2002
Springer
15 years 6 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
172
click to vote
VTC
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, the possibility for a short–range cognitive radio (secondary communication system) to be located within the service area of the primary system is discussed. Al...
162
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
186
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
A large scale public health emergency such as an epidemic (occurring naturally or due to a bioterrorism attack) can result in an overwhelming number of human casualties. This can ...
181
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...