Sciweavers

771 search results - page 90 / 155
» What is situated evolution
Sort
View
ECIS
2003
13 years 11 months ago
From e-business to knowledge e-trading
This paper aims to show investigations made in knowledge e-marketplaces (Ke-markets). It gathers, reviews, structures, and compiles in a homogeneous presentation information of th...
Emanuela Pauselli
SPIESR
2001
160views Database» more  SPIESR 2001»
13 years 11 months ago
New frontiers for intelligent content-based retrieval
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...
Ana B. Benitez, John R. Smith
IJCAI
2003
13 years 11 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
CORR
2010
Springer
120views Education» more  CORR 2010»
13 years 10 months ago
Dynamical issues in interactive representation of physical objects
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
Jean-Loup Florens, Alina Voda, Daniela Urma
AIS
2000
Springer
13 years 10 months ago
Early-connectionism machines
: In this paper I put forward a reconstruction of the evolution of certain explanatory hypotheses on the neural basis of association and learning that are the premises of connectio...
Roberto Cordeschi