4227 search results - page 650 / 846 » Philosophical Conceptions of Information |
222
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
157
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
The aging of our society presents a range of challenges to housing providers. With the advanced mobile technologies we are now able to develop quality mobile services to help seni...
196
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
169
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In a turbo coded orthogonal frequency-division multiplexing (TCOFDM) system, low peak-to-average power ratio (PAPR) can be achieved by selective-mapping (SLM). In this paper, w...
202
click to vote
WETICE
2007
IEEE
16 years 1 months ago
2007
IEEE
A new application of tuple-space-based coordination systems is in knowledge communication and representation. This knowledge is being published on the Web (the so-called “Semant...