13500 search results - page 2315 / 2700 » Improved analysis of D |
206
click to vote
ESEM
2007
ACM
15 years 9 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
190
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
218
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
191
click to vote
ELPUB
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we present our online summarization system of web topics. The user defines the topic by a set of keywords. Then the system searches the Web for the relevant documen...
238
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Wikipedia, a collaborative Wiki-based encyclopedia, has become a huge phenomenon among Internet users. It covers huge number of concepts of various fields such as Arts, G...