3207 search results - page 589 / 642 » A Semantics for HTN Methods |
IAJIT
2010
13 years 8 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
IDT
2010
13 years 8 months ago
2010
A person adds new knowledge to his/her mind, taking into account new information, additional details, better precision, synonyms, homonyms, redundancies, apparent contradictions, a...
JCS
2010
13 years 8 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
MICAI
2010
Springer
13 years 8 months ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
MTA
2010
13 years 8 months ago
2010
It is common practice in audiovisual archives to disclose documents using metadata from a structured vocabulary or thesaurus. Many of these thesauri have limited or no structure. T...