14704 search results - page 461 / 2941 » computing 2007 |
153
click to vote
SCOPES
2007
Springer
15 years 11 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
134
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
125
click to vote
AAAI
2007
15 years 7 months ago
2007
Various problems in AI and multiagent systems can be tackled by finding the “most desirable” elements of a set given some binary relation. Examples can be found in areas as d...
143
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
131
click to vote
ENTCS
2007
15 years 5 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...