4737 search results - page 625 / 948 » The LOGIC negotiation model |
207
Voted
ENTCS
2008
15 years 7 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
203
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
207
click to vote
DLOG
2009
15 years 5 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
249
click to vote
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
198
Voted
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...