6770 search results - page 24 / 1354 » How GPUs Work |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— The aim of this paper is to investigate how stigmergic information allow each individual of a group of autonomous robots to take advantages from other individual behaviors. The...
WEBNET
2000
13 years 8 months ago
2000
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...
CTW
2007
13 years 7 months ago
2007
Abstract Making sense of circumstances and situations is critical to coordinate cooperative work. Especially in process control domains, we may expect that effective and reliable o...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...