Sciweavers

9490 search results - page 345 / 1898
» Slow Intelligence Systems
Sort
View
AISC
2008
Springer
15 years 8 months ago
Mediated Access to Symbolic Computation Systems
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
Jónathan Heras, Vico Pascual, Julio Rubio
INFORMATICALT
2002
74views more  INFORMATICALT 2002»
15 years 6 months ago
Logical Formal Description of Expert Systems
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
Manuel de la Sen, Juan J. Miñambres, Aitor ...
IAT
2009
IEEE
16 years 1 months ago
Agent-Based Security System for User Verification
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...
ITS
1992
Springer
120views Multimedia» more  ITS 1992»
15 years 10 months ago
Distributed Learning Companion System: WEST Revisited
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
Tak-Wai Chan, I-Ling Chung, Rong-Guey Ho, Wen-Juan...
AAAI
2010
15 years 8 months ago
Integrated Systems for Inducing Spatio-Temporal Process Models
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
Chunki Park, Will Bridewell, Pat Langley