3321 search results - page 505 / 665 » The Future of Knowledge Representation |
135
click to vote
RE
2006
Springer
15 years 5 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
148
click to vote
TCS
2008
15 years 5 months ago
2008
We introduce a new problem that was motivated by a (more complicated) problem arising in a robotized assembly environment. The bin coloring problem is to pack unit size colored it...
172
click to vote
JSAC
2007
15 years 5 months ago
2007
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
144
click to vote
CCE
2004
15 years 5 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
108
click to vote
IJMMS
2000
15 years 5 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...