Sciweavers

642 search results - page 93 / 129
» A Semantic Future for AI
Sort
View
SAFECOMP
2007
Springer
14 years 4 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
SEMWEB
2007
Springer
14 years 4 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...
SEMWEB
2007
Springer
14 years 4 months ago
Mutual Contextualization in Tripartite Graphs of Folksonomies
The use of tags to describe Web resources in a collaborative manner has experienced rising popularity among Web users in recent years. The product of such activity is given the nam...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...
WILF
2007
Springer
125views Fuzzy Logic» more  WILF 2007»
14 years 4 months ago
Computational Humour: Utilizing Cross-Reference Ambiguity for Conversational Jokes
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...
Hans Wim Tinholt, Anton Nijholt
WOLLIC
2007
Springer
14 years 4 months ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen