3408 search results - page 270 / 682 » Logic, language, information and computation |
186
click to vote
SACMAT
2006
ACM
16 years 20 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
173
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
190
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
144
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
161
click to vote
IFIP12
2008
15 years 8 months ago
2008
: Hospital Acquired Infections (HAI) is a real burden for doctors and risk surveillance experts. The impact on patients' health and related healthcare cost is very significant...