503 search results - page 6 / 101 » If not now, when |
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...
ICINCO
2004
13 years 11 months ago
2004
For half a century, artificial intelligence researchers have focused on giving machines linguistic and mathematical-logical reasoning abilities, modeled after the classic linguist...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
n a node with a b child, and abstract away some details of the AXML notation [3]. A. ActiveXML documents ActiveXML documents are XML documents including some special elements label...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
Can learning styles (LS) be applied in current webbased systems? What are the main issues when applying LS in web-based systems? Can LS be authored in current web-based systems? W...