4609 search results - page 297 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Large number of medical images are produced daily in hospitals and medical institutions, the needs to efficiently process, index, search and retrieve these images are great. In t...
189
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
152
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
176
click to vote
IDEAS
2005
IEEE
16 years 7 days ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
182
click to vote
CAIP
2005
Springer
16 years 5 days ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...