Sciweavers

639 search results - page 52 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
AAAI
2006
13 years 10 months ago
An End-to-End Supervised Target-Word Sense Disambiguation System
We present an extensible supervised Target-Word Sense Disambiguation system that leverages upon GATE (General Architecture for Text Engineering), NSP (Ngram Statistics Package) an...
Mahesh Joshi, Serguei V. S. Pakhomov, Ted Pedersen...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 26 days ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ATAL
2008
Springer
13 years 10 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
EUSAI
2004
Springer
14 years 2 months ago
Using Cooperative Artefacts as Basis for Activity Recognition
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
Martin Strohbach, Gerd Kortuem, Hans-Werner Geller...
PCI
2001
Springer
14 years 1 months ago
A Knowledge Based Approach on Educational Metadata Use
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
Fotis Kokkoras, Demetrios G. Sampson, Ioannis P. V...