1254 search results - page 14 / 251 » Making Hard Problems Harder |
ACNS
2006
Springer
14 years 1 months ago
2006
Springer
Unstructured P2P systems have gained great popularity in recent years and are currently used by millions of users. One fundamental property of these systems is the lack of structu...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe questions that commonly arise in early-phase user research for new technology products concerning customer needs, priorities, and market definition. We suggest that me...
CG
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. Post's correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solu...
CIKM
2001
Springer
14 years 3 days ago
2001
Springer
Speech is a tantalizing mode of human communication. On one hand, humans understand speech with ease and use speech to express complex ideas, information, and knowledge. On the ot...
OWLED
2008
13 years 9 months ago
2008
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...