Sciweavers

4126 search results - page 546 / 826
» Relationships with other Formalisms
Sort
View
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
Semantics and Evaluation of Top-k Queries in Probabilistic Databases
Abstract. We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are asso...
Xi Zhang, Jan Chomicki
DC
2008
15 years 6 months ago
Solo-valency and the cost of coordination
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
Danny Hendler, Nir Shavit
EJC
2008
15 years 6 months ago
On tension-continuous mappings
Tension-continuous (shortly TT) mappings are mappings between the edge sets of graphs. They generalize graph homomorphisms. From another perspective, tension-continuous mappings a...
Jaroslav Nesetril, Robert Sámal
ENTCS
2008
75views more  ENTCS 2008»
15 years 6 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn
BIOINFORMATICS
2006
135views more  BIOINFORMATICS 2006»
15 years 6 months ago
Effective similarity measures for expression profiles
It is commonly accepted that genes with similar expression profiles are functionally related. However, there are many ways one can measure the similarity of expression profiles, a...
Golan Yona, William Dirks, Shafquat Rahman, David ...