8377 search results - page 1401 / 1676 » Scenarios - Introduction |
179
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
201
click to vote
TMC
2012
13 years 9 months ago
2012
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
239
click to vote
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
228
click to vote
AAAI
2012
13 years 9 months ago
2012
We explore the problem of assigning heterogeneous tasks to workers with different, unknown skill sets in crowdsourcing markets such as Amazon Mechanical Turk. We first formalize ...
179
click to vote
AAAI
2012
13 years 9 months ago
2012
Most Twitter search systems generally treat a tweet as a plain text when modeling relevance. However, a series of conventions allows users to tweet in structural ways using combin...