Sciweavers

10568 search results - page 165 / 2114
» Computer Intelligence and Formalization
Sort
View
FTDCS
1997
IEEE
15 years 2 months ago
Intelligent Handling of Communication Media
Personal Communication Support enhances control over reachability in telecommunication. Conversion and screening technologies of communication media, combined with QoS evaluation,...
Tom Pfeifer, Thomas Magedanz, Radu Popescu-Zeletin
IIS
2001
14 years 11 months ago
Intelligent Techniques in Stock Analysis
The paper presents computer system, named Stock Market Electronic Expert (SMEE), for Stock Market Analysis. It is developed as friendly, useful and credible computer program giving...
Halina Kwasnicka, Marcin Ciosmak
ATAL
2009
Springer
15 years 4 months ago
Of robot ants and elephants
Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the comput...
Asaf Shiloni, Noa Agmon, Gal A. Kaminka
SOCRATES
2008
117views Education» more  SOCRATES 2008»
14 years 11 months ago
E-learning by Doing with Computational Logic
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
Federico Chesani, Anna Ciampolini, Paola Mello
ECAI
1994
Springer
15 years 2 months ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini