4403 search results - page 506 / 881 » Galois Theory of Algorithms |
230
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
239
click to vote
WSDM
2012
ACM
14 years 3 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
250
click to vote
AAAI
2012
13 years 10 months ago
2012
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
324
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
302
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
The proliferation of network data in various application domains has raised privacy concerns for the individuals involved. Recent studies show that simply removing the identities ...