15888 search results - page 323 / 3178 » Supporting human-intensive systems |
185
Voted
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
214
Voted
TKDE
2010
15 years 5 months ago
2010
—Open distributed environments such as the World Wide Web facilitate information sharing but provide limited support to the protection of sensitive information and resources. Tru...
199
Voted
ACL
2010
15 years 5 months ago
2010
Current turn-taking approaches for spoken dialogue systems rely on the speaker releasing the turn before the other can take it. This reliance results in restricted interactions th...
160
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
225
click to vote
WOA
2010
15 years 5 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....