1816 search results - page 233 / 364 » ITS Domain Modelling with Ontology |
168
click to vote
ICCS
2007
Springer
16 years 20 days ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
149
click to vote
CEEMAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The complexity associated to Humanitarian Demining becomes very high due to its broad set of activities, which beyond the already complex of landmine removal, includes ot...
175
click to vote
CISC
2008
Springer
15 years 8 months ago
2008
Springer
Proxy re-encryption is a cryptographic primitive developed to delegate the decryption right from one party (the delegator) to another (the delegatee). So far, research efforts hav...
163
click to vote
ACL
2008
15 years 8 months ago
2008
Despite its long history, and a great deal of research producing many useful algorithms and observations, research in cooperative response generation has had little impact on the ...
161
click to vote
PDPTA
2003
15 years 7 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...