1996 search results - page 76 / 400 » A decision procedure for linear |
156
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
225
click to vote
EUROCRYPT
1995
Springer
15 years 9 months ago
1995
Springer
Matsui's linear cryptanalysis for iterated block ciphers is generalized by replacing his linear expressions with I O sums. For a single round, an I O sum is the XOR of a balan...
216
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
139
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
The two-level fuzzy-lattice (2L-FL) learning scheme is introduced for application on an intelligent surgical (mechatronic) drill in the stapedotomy surgical procedure in the ear. ...
179
click to vote
ISIPTA
2005
IEEE
15 years 12 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...