Sciweavers

771 search results - page 90 / 155
» What is situated evolution
Sort
View
ECIS
2003
15 years 4 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»
15 years 4 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
142
Voted
IJCAI
2003
15 years 4 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»
15 years 3 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
117
Voted
AIS
2000
Springer
15 years 3 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