2070 search results - page 263 / 414 » A Reduced-Basis Element Method |
129
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Many computer vision problems such as recognition, image retrieval, and tracking require matching two images. Currently, ones try to find as reliable as possible match...
104
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
— It is possible to show that well-known attacks on authentication protocols are flawed. This is a problem, since good protocols may thus be dismissed rather than improved and p...
139
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
142
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
101
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
We revisit and use the dependence transformation method to generate parallel algorithms suitable for cluster and grid computing. We illustrate this method in two applications: to o...