1636 search results - page 287 / 328 » Type-Theoretic Functional Semantics |
120
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
148
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
126
click to vote
DMSN
2008
ACM
15 years 3 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
124
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Both Topic Maps and RDF are popular semantic web standards designed for machine processing of web documents. Since these representations were originally created for different purpo...
112
click to vote
APCCM
2008
15 years 3 months ago
2008
Over the last few years, the web is establishing increased importance in society with the rise of social networking sites and the semantic web, facilitated and driven by the popul...