3787 search results - page 685 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
AIMSA
1990
Springer
13 years 11 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
FLAIRS
2007
13 years 10 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
EWSN
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present SCOPES, a distributed Smart Camera Object Position Estimation sensor network System that provides maps of distribution of people in indoors environments. ...
DATE
2010
IEEE
14 years 25 days ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...