Sciweavers

3233 search results - page 152 / 647
» Validation Method for Intelligent Systems
Sort
View
135
Voted
JCDL
2009
ACM
139views Education» more  JCDL 2009»
15 years 10 months ago
Topic model methods for automatically identifying out-of-scope resources
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
Steven Bethard, Soumya Ghosh, James H. Martin, Tam...
AGI
2011
14 years 7 months ago
Nonlinear-Dynamical Attention Allocation via Information Geometry
Inspired by a broader perspective viewing intelligent system dynamics in terms of the geometry of “cognitive spaces,” we conduct a preliminary investigation of the application ...
Matthew Iklé, Ben Goertzel
151
Voted
DAC
2008
ACM
16 years 4 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
GPCE
2007
Springer
15 years 9 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
134
Voted
AOSE
2007
Springer
15 years 9 months ago
A Methodology for Developing Multiagent Systems as 3D Electronic Institutions
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...