5255 search results - page 558 / 1051 » Formal Methods for Privacy |
154
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
In this paper, we propose a method based on multiple criteria to assist physicians in planning percutaneous RFA on liver. We explain how we extracted information from literature an...
161
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
165
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
The best recent supervised sequence learning methods use gradient descent to train networks of miniature nets called memory cells. The most popular cell structure seems somewhat ar...
204
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
155
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...