4117 search results - page 559 / 824 » On the Satisfiability of Complex Constraints |
169
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Recent advances in biophotonics have enabled in-vivo, in-situ histopathology for routine clinical applications. The non-invasive nature of these optical `biopsy' techniques, h...
157
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
CT The novel experience Anywhere allowed participants to explore an urban area, tying together information not normally available, new points of views and interaction embedded into...
214
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Today's customizable processors allow the designer to augment the base processor with custom accelerators. By choosing appropriate set of accelerators, designer can significa...
169
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
172
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...