895 search results - page 4 / 179 » A Spectrum of Applications of Automated Reasoning |
LPNMR
2009
Springer
13 years 11 months ago
2009
Springer
ICUMT
2009
13 years 2 months ago
2009
In cognitive radio networks, secondary user (SU) does not have rights to transmit when the primary user (PU) band is occupied, that's why a sensing technique must be done. Rec...
IA
2006
13 years 4 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
DLOG
2009
13 years 2 months ago
2009
Abstract. We describe OntoComP, a Prot
UKCBR
1995
13 years 8 months ago
1995
In the near future, a potentially huge number of telecommunication services will be available to the public. Information about these services will be sto...