3856 search results - page 724 / 772 » Models for Automated Earthmoving |
199
click to vote
LICS
2009
IEEE
16 years 12 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
137
click to vote
CIKM
2009
Springer
16 years 10 days ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
145
click to vote
ECSQARU
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
163
click to vote
ERSHOV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
184
click to vote
IEEEARES
2007
IEEE
16 years 2 days ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...