6762 search results - page 1113 / 1353 » Multiple drafts model |
CSL
2004
Springer
14 years 2 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
DAGM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Velocity distributions are an enhanced representation of image velocity implying more velocity information than velocity vectors. Velocity distributions allow the represe...
EAGC
2004
Springer
14 years 2 months ago
2004
Springer
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
ERCIMDL
2004
Springer
14 years 2 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...