464 search results - page 72 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
BIRTHDAY
2005
Springer
14 years 9 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
ACMICEC
2006
ACM
14 years 23 days ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...