2944 search results - page 40 / 589 » Robust Semantic Construction |
131
click to vote
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
114
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
172
click to vote
PADL
2011
Springer
14 years 3 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
We present KADOP, a distributed infrastructure for warehousing XML resources in a peer-to-peer framework. KADOP allows users to build a shared, distributed repository of resources...
74
Voted
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...