Sciweavers

3787 search results - page 638 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
ECAL
2007
Springer
15 years 8 months ago
Multi-level Selection in the Emergence of Language Systematicity
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...
Luc Steels, Remi van Trijp, Pieter Wellens
AICCSA
2006
IEEE
218views Hardware» more  AICCSA 2006»
15 years 7 months ago
Performance Comparison of Pattern Discovery Methods on Web Log Data
One of the popular trends in computer science has been development of intelligent web-based systems. Demand for such systems forces designers to make use of knowledge discovery te...
Murat Ali Bayir, Ismail H. Toroslu, Ahmet Cosar
APN
2004
Springer
15 years 7 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
APN
2010
Springer
15 years 6 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
87
Voted
EVOW
2008
Springer
15 years 3 months ago
Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
Hendrik Rohn, Bashar Ibrahim, Thorsten Lenser, Tho...