5623 search results - page 141 / 1125 » Incremental Mechanism Design |
107
Voted
WOA
2000
15 years 2 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...
102
Voted
VIROLOGY
2008
15 years 19 days 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...
102
Voted
CIAC
2010
Springer
15 years 10 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...
106
Voted
MICCAI
2003
Springer
16 years 1 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...
69
Voted
ICDE
2010
IEEE
16 years 15 days 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...