Sciweavers

10568 search results - page 137 / 2114
» Computer Intelligence and Formalization
Sort
View
SAC
2008
ACM
15 years 5 months ago
Formal definition of measures for UML statechart diagrams using OCL
Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Gen...
DAC
2003
ACM
16 years 7 months ago
Embedded intelligent SRAM
Many embedded systems use a simple pipelined RISC processor for computation and an on-chip SRAM for data storage. We present an enhancement called Intelligent SRAM (ISRAM) that co...
Prabhat Jain, G. Edward Suh, Srinivas Devadas
IUI
2005
ACM
15 years 12 months ago
Building intelligent shopping assistants using individual consumer models
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
Chad M. Cumby, Andrew E. Fano, Rayid Ghani, Marko ...
AAAI
2008
15 years 8 months ago
An Architecture and Formalism for Handling Modular Ontologies
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
Faezeh Ensan