3333 search results - page 172 / 667 » Abstract Proof Search |
125
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
120
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
133
click to vote
ESANN
2006
15 years 5 months ago
2006
Abstract. Feature Selection techniques usually follow some search strategy to select a suitable subset from a set of features. Most neural network growing algorithms perform a sear...
116
Voted
ECIR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract In the Web search process people often think that the hardest work is done by the search engines or by the directories which are entrusted with finding the Web pages. Whi...
121
click to vote
INFORMATICALT
2007
15 years 4 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...