6846 search results - page 673 / 1370 » Developing an Active Observer |
189
click to vote
FOSSACS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
193
click to vote
HUC
2004
Springer
16 years 26 days ago
2004
Springer
We are developing a wearable device that attempts to alleviate some everyday memory problems. The “memory prosthesis” records audio and contextual information from conversation...
218
click to vote
IEAAIE
2004
Springer
16 years 26 days ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
172
click to vote
SEMWEB
2004
Springer
16 years 25 days ago
2004
Springer
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...
180
click to vote
UCS
2004
Springer
16 years 25 days ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...