4372 search results - page 356 / 875 » Algorithmic Theories of Everything |
192
click to vote
SPLST
2003
15 years 8 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
169
click to vote
PICS
2000
15 years 8 months ago
2000
A method of data embedding based on the convolution of message data with a random phase carrier is presented. The theory behind this method is reviewed and it is shown that the te...
141
click to vote
IJCAI
1989
15 years 8 months ago
1989
In this paper, we present QUALEX, a system and algorithm for generating first-order qualitative causal graphs for tutorial purposes based on de Kleer and Brown's qualitative ...
166
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
151
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...