1136 search results - page 68 / 228 » A case for the accountable cloud |
152
click to vote
FMSD
2007
15 years 6 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
169
click to vote
MANSCI
2007
15 years 6 months ago
2007
We develop a structural model of credit risk in a network economy, where any firm can lend to any other firm, so that each firm is subject to counterparty risk either from dire...
174
click to vote
JCS
2002
15 years 5 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
205
click to vote
VISAPP
2010
15 years 4 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
189
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We apply the concept of natural gradients to deformable registration. The motivation stems from the lack of physical interpretation for gradients of image-based difference measure...