Sciweavers

2314 search results - page 49 / 463
» Monoids over domains
Sort
View
PLPV
2010
ACM
15 years 8 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
ICDM
2009
IEEE
98views Data Mining» more  ICDM 2009»
15 years 6 months ago
Topic Distributions over Links on Web
—It is well known that Web users create links with different intentions. However, a key question, which is not well studied, is how to categorize the links and how to quantify th...
Jie Tang, Jing Zhang, Jeffrey Xu Yu, Zi Yang, Keke...
CBMS
2008
IEEE
15 years 6 months ago
Restoring the Patient Control over Her Medical History
Paper-based folders have been widely used to coordinate cares in medical-social networks, but they introduce some burning issues (e.g. privacy protection, remote access to the fol...
Nicolas Anciaux, Mehdi Benzine, Luc Bouganim, K&ea...
ATAL
2007
Springer
15 years 6 months ago
Argumentation over ontology correspondences in MAS
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
Loredana Laera, Ian Blacoe, Valentina A. M. Tamma,...
GECCO
2007
Springer
137views Optimization» more  GECCO 2007»
15 years 6 months ago
Extended probe method for linkage discovery over high-cardinality alphabets
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
Shude Zhou, Zengqi Sun, Robert B. Heckendorn