533 search results - page 100 / 107 » Protocol synthesis from timed and structured specifications |
SIGOPS
2010
13 years 9 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
KDD
2008
ACM
14 years 11 months ago
2008
ACM
Multi-core processors with ever increasing number of cores per chip are becoming prevalent in modern parallel computing. Our goal is to make use of the multi-core as well as multi...
AGENTS
1997
Springer
14 years 3 months ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
CIKM
2006
Springer
14 years 2 months ago
2006
Springer
The blogosphere--the totality of blog-related Web sites-has become a great source of trend analysis in areas such as product survey, customer relationship, and marketing. Existing...
ALGORITHMICA
2010
13 years 11 months ago
2010
We study the equilibrium behavior of informed traders interacting with market scoring rule (MSR) market makers. One attractive feature of MSR is that it is myopically incentive com...