1269 search results - page 127 / 254 » Pi-Calculus in Logical Form |
94
Voted
EUSFLAT
2009
14 years 10 months ago
2009
- For modeling of change of terminal server load, the approach including representation of time series of server parameters in the form of fuzzy time series is used. Further in the...
95
Voted
COLING
2010
14 years 7 months ago
2010
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
154
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
218
Voted
DLOG
2011
14 years 4 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
169
Voted
IHI
2012
13 years 8 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...