1559 search results - page 252 / 312 » Cooperative Communications |
112
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
110
Voted
ACL
1994
15 years 1 months ago
1994
We show that in modeling social interaction, particularly dialogue, the attitude of obligation can be a useful adjunct to the popularly considered attitudes of belief, goal, and i...
206
Voted
GAMESEC
2011
14 years 6 days ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...
91
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
93
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This chapter describes a principled, yet computationally efficient way for a team of UAVs with Received Signal Strength Indicator (RSSI) sensors to locate radio frequency emitting...