3207 search results - page 568 / 642 » A Semantics for HTN Methods |
FLAIRS
2008
14 years 10 days ago
2008
This paper analyzes the impact of several lexical and grammatical features in automated assessment of students' finegrained understanding of tutored concepts. Truly effective...
FLAIRS
2008
14 years 10 days ago
2008
When a user is served with a ranked list of relevant documents by the standard document search engines, his search task is usually not over. He has to go through the entire docume...
WSC
2007
14 years 10 days ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
ASIACRYPT
2008
Springer
14 years 16 hour ago
2008
Springer
Every public-key encryption scheme has to incorporate a certain amount of randomness into its ciphertexts to provide semantic security against chosen ciphertext attacks (IND-CCA). ...
ATVA
2008
Springer
14 years 13 hour 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...