5623 search results - page 141 / 1125 » Incremental Mechanism Design |
160
click to vote
WOA
2000
15 years 6 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
150
click to vote
VIROLOGY
2008
15 years 5 months ago
2008
High-interaction honeypots are interesting as they help understand how attacks unfold on a compromised machine. However, observations are generally limited to the operations perfo...
147
click to vote
CIAC
2010
Springer
16 years 2 months ago
2010
Springer
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...
162
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
111
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
Abstract--Amazon, Google, and IBM now sell cloud computing services. We consider the setting of a for-profit business selling data stream monitoring/management services and we inve...