2688 search results - page 364 / 538 » A formal semantics for P3P |
154
click to vote
IUI
2005
ACM
16 years 3 days ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
168
click to vote
BIRTHDAY
2005
Springer
16 years 3 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...
201
click to vote
COORDINATION
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
198
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
152
click to vote
ESWS
2005
Springer
16 years 2 days ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...