2924 search results - page 355 / 585 » An Intelligent Multi-Dictionary Environment |
151
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...
164
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
170
click to vote
MABS
2007
Springer
16 years 23 days ago
2007
Springer
We examine the relationship between the investment that a society makes in education in one generation, and the outcome in terms of the health of the society’s economy in ensuing...
172
click to vote
MATES
2007
Springer
16 years 23 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
158
click to vote
SGAI
2007
Springer
16 years 22 days ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...