429 search results - page 64 / 86 » Turing computations on ordinals |
85
Voted
FORTE
2009
14 years 7 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
114
click to vote
DNA
2007
Springer
15 years 3 months ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
105
click to vote
CVPR
2009
IEEE
16 years 3 months ago
2009
IEEE
We describe a novel and robust feature descriptor called ordinal spatial intensity distribution (OSID) which is invariant to any monotonically increasing brightness changes. Many t...
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we propose a personalized display, “AwareMirror: an augmented mirror”. AwareMirror presents information relevant to a person in front of it by super-im...
62
Voted
SC
2000
ACM
15 years 2 months ago
2000
ACM
The method of discrete ordinates is commonly used to solve the Boltzmann radiation transport equation for applications ranging from simulations of fires to weapons effects. The ...