6317 search results - page 838 / 1264 » System Support for Pervasive Applications |
187
Voted
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
202
click to vote
SPRINGSIM
2010
15 years 5 months ago
2010
āData Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
210
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
āGovernmental Transportation Authorities' interest in Car to Car and Car to Infrastructure has grown dramatically over the last few years in order to increase the road safet...
153
click to vote
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
As technology scales ever further, device unreliability is creating excessive complexity for hardware to maintain the illusion of perfect operation. In this paper, we consider whe...
195
Voted
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
This paper discusses conditions under which some of the āhigher levelā mental concepts applicable to human beings might also be applicable to artiļ¬cial agents. The key idea ...