5064 search results - page 489 / 1013 » Recent Developments in Gridsolve |
148
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...
169
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
click to vote
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...
169
click to vote
SIGKDD
2002
15 years 6 months ago
2002
Recently there has been significant development in the use of wavelet methods in various data mining processes. However, there has been written no comprehensive survey available o...
169
click to vote
ORL
2007
15 years 6 months ago
2007
Polling systems with large deterministic setup times find many applications in production environments. The present note studies the delay distribution in exhaustive polling syst...