8828 search results - page 1302 / 1766 » Formal methods in practice |
203
click to vote
PRICAI
2010
Springer
15 years 5 months ago
2010
Springer
Relational search is a novel paradigm of search which focuses on the similarity between semantic relations. Given three words (A, B, C) as the query, a relational search engine ret...
186
click to vote
RAS
2010
15 years 5 months ago
2010
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
206
click to vote
TIP
2010
15 years 5 months ago
2010
—This paper is concerned with optimization of the motion compensated prediction framework to improve the error resilience of video coding for transmission over lossy networks. Fi...
180
click to vote
TMI
2010
15 years 5 months ago
2010
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
225
click to vote
INDOCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
In the recent years, Higher-order Side Channel attacks have been widely investigated. In particular, 2nd-order DPA have been improved and successfully applied to break several mask...