2296 search results - page 149 / 460 » The Expressive Power of Synchronizations |
153
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Several aspects of microarray data analysis are dependent on identification of genes expressed at or near the limits of detection. For example, regression-based normal...
119
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
159
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
129
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
151
click to vote
KI
2001
Springer
15 years 9 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...