12841 search results - page 78 / 2569 » PL-detective: experiences and results |
101
Voted
SWAP
2007
15 years 1 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
110
click to vote
NECO
2006
15 years 17 days ago
2006
The application of boosting technique to the regression problems has received relatively little attention in contrast to the research aimed at classification problems. This paper ...
116
click to vote
MICS
2008
15 years 3 days ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
100
Voted
P2P
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed computing is a very broad and active research area comprising fields such as cluster computing, computational grids, desktop grids and peer-to-peer (P2P) systems. Unf...
107
Voted
REFSQ
2009
Springer
15 years 7 months ago
2009
Springer
[Context and motivation] In market-driven product development of software intensive products large numbers of requirements threaten to overload the development organization. It is ...