6040 search results - page 929 / 1208 » Generating Instance Models from Meta Models |
186
click to vote
INDOCRYPT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
143
click to vote
ITS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
192
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
175
click to vote
KES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
122
click to vote
SAT
2004
Springer
16 years 18 hour ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...