5638 search results - page 143 / 1128 » On presence |
179
click to vote
IJCAI
2003
15 years 7 months ago
2003
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
181
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
A conventional automatic speech recognizer does not perform well in the presence of multiple sound sources, while human listeners are able to segregate and recognize a signal of i...
201
click to vote
ENTCS
2000
15 years 6 months ago
2000
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
150
click to vote
IGARSS
2010
15 years 4 months ago
2010
The phenomenology of genetically engineered plant sentinels as measured by spectral imaging remote sensors is investigated. Plant sentinels have been developed to cease chlorophyl...