3868 search results - page 464 / 774 » Open Systems in TLA |
199
click to vote
EWDW
1990
15 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
318
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
157
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This note discusses briefly some questions on economics of privacy, especially the relation of privacy to price discrimination, as well as relevant developments in ecommerce and o...
175
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
174
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...