1948 search results - page 180 / 390 » Formalizing Mirror Theory |
169
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
179
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
164
click to vote
MMSEC
2006
ACM
16 years 14 days ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
170
click to vote
SKG
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
167
click to vote
GW
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...