11797 search results - page 371 / 2360 » Recent Developments in the Experimental |
138
click to vote
ANOR
2002
15 years 6 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
186
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Non-negative matrix factorization (NMF) is a recently developed technique for finding parts-based, linear representations of non-negative data. Although it has successfully been a...
147
click to vote
ENTCS
2002
15 years 6 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
168
click to vote
IANDC
1998
15 years 6 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
208
Voted
MTA
2002
15 years 6 months ago
2002
ThefieldofContent-BasedVisualInformationRetrieval(CBVIR)hasexperiencedtremendousgrowth in the recent years and many research groups are currently working on solutions to the proble...