1948 search results - page 98 / 390 » Formalizing Mirror Theory |
166
click to vote
EIT
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
186
click to vote
VR
2010
IEEE
15 years 3 months ago
2010
IEEE
We present the development and evaluation of the Virtual Experience Test (VET). The VET is a survey instrument used to measure holistic virtual environment experiences based upon ...
144
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
143
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
178
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...