4340 search results - page 556 / 868 » Formal Methods and Cryptography |
205
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
194
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
165
click to vote
IGPL
2010
15 years 3 months ago
2010
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...
198
click to vote
JSS
2010
15 years 1 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
281
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...