11455 search results - page 2 / 2291 » The Rayset and Its Applications |
APAL
2011
13 years 2 days ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
ELPUB
2006
ACM
13 years 11 months ago
2006
ACM
The necessity of a subject–machine–object interaction (SMOI) reference model and its application in electronic publishing of the objects of our culture is considered. The comp...
MHCI
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we propose a method for detecting physical shock by a mobile phone and its applications in security and emergency scenarios. We use acceleration signal provided by ...
DSD
2006
IEEE
13 years 11 months ago
2006
IEEE
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
ACMACE
2004
ACM
13 years 10 months ago
2004
ACM
This paper describes a case study of VR platform Magic Mirror and its applications that are economic in development process and cost, flexible by contents and installation conditi...