3799 search results - page 689 / 760 » An Engineering Approach to Formal Methods |
147
Voted
IIS
2003
15 years 5 months ago
2003
Abstract. In this paper we consider the problem of web search results clustering in the Polish language, supporting our analysis with results acquired from an experimental system n...
125
click to vote
DSS
2002
15 years 4 months ago
2002
Competitive Intelligence (CI) aims to monitor a firm's external environment for information relevant to its decision-making process. As an excellent information source, the I...
150
click to vote
DTJ
1998
15 years 3 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
150
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
167
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...