4217 search results - page 115 / 844 » Computational indistinguishability logic |
EWCBR
2006
Springer
15 years 1 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
COMPUTER
1999
14 years 9 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
CVPR
2012
IEEE
13 years 13 days ago
2012
IEEE
It is often desirable to detect whether a surface has been touched, even when the changes made to that surface are too subtle to see in a pair of before and after images. To addre...
DIS
1998
Springer
15 years 2 months ago
1998
Springer
RTA
1998
Springer
15 years 2 months ago
1998
Springer
The system FT