Sciweavers

3605 search results - page 305 / 721
» Associated types with class
Sort
View
SNPD
2008
15 years 8 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
CATE
2004
248views Education» more  CATE 2004»
15 years 8 months ago
SIMSE: An Interactive Simulation Game for Software Engineering Education
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
Emily Oh Navarro, André van der Hoek
NIPS
2000
15 years 8 months ago
A Productive, Systematic Framework for the Representation of Visual Structure
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
Shimon Edelman, Nathan Intrator
AAAI
1996
15 years 8 months ago
Learning Models for Multi-Source Integration
One issue involved in accessing multiple heterogeneous information sources is how to integrate the retrieved data. SIMS, an information mediator, handles this problem by mapping t...
Sheila Tejada, Craig A. Knoblock, Steven Minton
IJCAI
1989
15 years 8 months ago
A Probabilistic Approach to Marker Propagation
Potentially, the advantages of marker-passing over local connectionist techniques for associa­ tive inference are (1) the ability to differen­ tiate variable bindings, and (2) r...
Dekai Wu