8719 search results - page 53 / 1744 » A Categorical Approach to Simulations |
FORTE
2010
15 years 2 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...
EDBTW
2004
Springer
15 years 6 months ago
2004
Springer
Current simulations of P2P-networks don’t take any kind of schemas into account. We present a simulation-framework and first results for query routing based on extensible schema...
WADT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
118
click to vote
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Queries describe the users' search intent and therefore they play an essential role in the context of ranking for information retrieval and Web search. However, most of exist...
100
click to vote
ICDCSW
2006
IEEE
15 years 7 months ago
2006
IEEE
— Existing searching schemes in unstructured P2Ps can be categorized as either blind or informed. The quality of query results in blind schemes is low. Informed schemes use simpl...