17471 search results - page 335 / 3495 » Information Modeling |
166
click to vote
TREC
2007
15 years 8 months ago
2007
This workshop report discusses the collaborative work of UT, EMC and TNO on the TREC Genomics Track 2007. The biomedical information retrieval task is approached using cross langu...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
153
click to vote
IANDC
2008
15 years 6 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
166
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The problem of coding for channels with time-varying state is studied. Two different models are considered: one in which the channel state cannot depend on the transmitted signal,...
180
click to vote
DEBU
2002
15 years 6 months ago
2002
Community web sites exhibit two dominating properties: They often need to integrate many different information sources and they require an adequate web site management system. SEA...