8928 search results - page 270 / 1786 » Modeling Current Events |
134
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
134
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
113
click to vote
AAAI
2008
15 years 6 months ago
2008
To truly understand language, an intelligent system must be able to connect words, phrases, and sentences to its perception of objects and events in the world. Current natural lan...
102
click to vote
CCR
2002
15 years 3 months ago
2002
The current Internet infrastructure has very few built-in protection mechanisms and is therefore vulnerable to attacks and failures. In particular, recent events have illustrated ...
163
Voted
SBP
2011
Springer
14 years 11 months ago
2011
Springer
The efficiency at which governments and non-governmental organizations (NGOs) are able to respond to a crisis and provide relief to victims has gained increased attention. This emp...