Sciweavers

10568 search results - page 137 / 2114
» Computer Intelligence and Formalization
Sort
View
SAC
2008
ACM
14 years 9 months ago
Formal definition of measures for UML statechart diagrams using OCL
Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Gen...
DAC
2003
ACM
15 years 11 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 3 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 days 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