Sciweavers

1290 search results - page 142 / 258
» New algorithms of the Q-learning type
Sort
View
ECSQARU
1997
Springer
14 years 1 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
TAPSOFT
1997
Springer
14 years 1 months ago
Inclusion Constraints over Non-empty Sets of Trees
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
Martin Müller, Joachim Niehren, Andreas Podel...
ECML
1993
Springer
14 years 1 months ago
Exploiting Context When Learning to Classify
This paper addresses the problem of classifying observations when features are context-sensitive, specifically when the testing set involves a context that is different from the t...
Peter D. Turney
FDTC
2006
Springer
106views Cryptology» more  FDTC 2006»
14 years 17 days ago
Sign Change Fault Attacks on Elliptic Curve Cryptosystems
We present a new type of fault attacks on elliptic curve scalar multiplications: Sign Change Attacks. These attacks exploit different number representations as they are often emplo...
Johannes Blömer, Martin Otto 0002, Jean-Pierr...
CVRMED
1995
Springer
14 years 13 days ago
Adaptive Segmentation of MRI Data
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
William M. Wells III, W. Eric L. Grimson, Ron Kiki...