620 search results - page 89 / 124 » Concrete Abstractions |
MATES
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Searching for information in large rather unstructured realworld data sets is a di cult task, because the user expects immediate responses as well as high-quality search ...
SAMT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Understanding relationships and commonalities between digital contents based on metadata is a difficult user task that requires sophisticated presentation forms. In this ...
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
SLE
2009
Springer
14 years 4 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...