1302 search results - page 197 / 261 » Soundness in the Public-Key Model |
TGIS
2002
14 years 11 months ago
2002
While the presence of uncertainty in the geometric and attribute aspects of geographic information is well known, it is also present in temporal information. In spatiotemporal GIS...
130
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
ENTCS
2008
14 years 12 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
124
click to vote
ECCV
2000
Springer
16 years 1 months ago
2000
Springer
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...
121
click to vote
DAC
2008
ACM
16 years 26 days ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...