3095 search results - page 286 / 619 » Ubiquitous presence systems |
153
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
181
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...
186
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we propose knowledge-chunk based techniques for instance matching and mapping discovery of Semantic Web resources. Knowledge chunks provide a synthetic representa...
162
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We present an algorithm for the inference of context-free graph grammars from examples. The algorithm builds on an earlier system for frequent substructure discovery, and is biase...
147
click to vote
WSC
1998
15 years 8 months ago
1998
We present a new technique (RIIPS) for solving rostering problems in the presence of service uncertainty. RIIPS stands for "Rostering by Iterating Integer Programming and Sim...