125
Voted
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
In recent years, there has been an increased need for surveillance capabilities in both civilian and military arenas. Mobile unmanned sensor fleets have long been envisioned as a ...
115
Voted
CHI
2006
ACM
15 years 7 months ago
2006
ACM
133
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
145
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
118
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...