Sciweavers

1446 search results - page 205 / 290
» Similarity of Cardinal Directions
Sort
View
JCS
2010
112views more  JCS 2010»
13 years 8 months ago
Inductive trace properties for computational security
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
JOCN
2010
99views more  JOCN 2010»
13 years 8 months ago
Right-lateralized Brain Oscillations in Human Spatial Navigation
■ During spatial navigation, lesion and functional imaging studies suggest that the right hemisphere has a unique functional role. However, studies of direct human brain recordi...
Joshua Jacobs, Igor O. Korolev, Jeremy B. Caplan, ...
LOGCOM
2010
102views more  LOGCOM 2010»
13 years 8 months ago
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
Lawrence S. Moss
MANSCI
2010
104views more  MANSCI 2010»
13 years 8 months ago
Valuing Money and Things: Why a $20 Item Can Be Worth More and Less Than $20
The study of risky decision-making has long used monetary gambles to study choice, but many everyday decisions do not involve the prospect of winning or losing money. Monetary gam...
A. Peter McGraw, Eldar Shafir, Alexander Todorov
PPSN
2010
Springer
13 years 8 months ago
A Hybrid Genetic Algorithm for the Traveling Salesman Problem Using Generalized Partition Crossover
We present a hybrid Genetic Algorithm that incorporates the Generalized Partition Crossover (GPX) operator to produce an algorithm that is competitive with the state of the art for...
Darrell Whitley, Doug Hains, Adele E. Howe