3172 search results - page 554 / 635 » On the Random-Self-Reducibility of Complete Sets |
163
click to vote
AAAI
2006
15 years 7 months ago
2006
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
128
click to vote
ACL
2004
15 years 7 months ago
2004
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...
163
click to vote
ACSW
2006
15 years 7 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
167
click to vote
AIML
2006
15 years 7 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
173
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...