3566 search results - page 656 / 714 » Signed Logic Programs |
132
click to vote
IEAAIE
2004
Springer
15 years 8 months ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
173
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
116
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
144
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
134
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...