4526 search results - page 844 / 906 » Algorithmic problems related to the Internet |
FOIKS
2006
Springer
14 years 12 days ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
KR
2000
Springer
14 years 9 days ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
AI
2010
Springer
13 years 8 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
BMCBI
2005
13 years 8 months ago
2005
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
Operators of 3G data networks need to distinguish the performance of each geographic area in their 3G networks to detect and resolve local network problems. This is because the qu...