1254 search results - page 63 / 251 » Making Hard Problems Harder |
97
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
162
Voted
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
Computing and storing probabilities is a hard problem as soon as one has to deal with complex distributions over multiples random variables. The problem of efficient representati...
107
Voted
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A key challenge in information retrieval is the use of contextual evidence within ad-hoc retrieval. Our contribution is particularly based on the belief that contextual r...
106
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...