27827 search results - page 5000 / 5566 » Generating |
143
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
149
Voted
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...
156
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
144
Voted
MLDM
2007
Springer
15 years 11 months ago
2007
Springer
Transduction is an inference mechanism “from particular to particular”. Its application to classification tasks implies the use of both labeled (training) data and unlabeled (...
162
Voted
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...