188 search results - page 26 / 38 » On the Unification of Process Semantics: Observational Seman... |
107
click to vote
WIDM
2006
ACM
15 years 3 months ago
2006
ACM
Geoscience studies produce data from various observations, experiments, and simulations at an enormous rate. With proliferation of applications and data formats, the geoscience re...
VLDB
2005
ACM
15 years 2 months ago
2005
ACM
RFID technology can be used to significantly improve the efficiency of business processes by providing the capability of automatic identification and data capture. This technol...
109
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
MFCS
1991
Springer
15 years 28 days ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We develop a new graphical representation for interactive partially observable Markov decision processes (I-POMDPs) that is significantly more transparent and semantically clear t...