1973 search results - page 322 / 395 » The Construction of Ludic Space |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract--There exists an injective, information-preserving function that maps a semantic network (i.e a directed labeled network) to a directed network (i.e. a directed unlabeled ...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The use of RFID tag which identifies a thing and an object will be expanded with progress of ubiquitous society, and it is necessary to study how to construct RFID network system ...
ECCC
2010
14 years 12 months ago
2010
A linear code is said to be affine-invariant if the coordinates of the code can be viewed as a vector space and the code is invariant under an affine transformation of the coordin...
114
click to vote
CVIU
2008
14 years 12 months ago
2008
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...