Sciweavers

10568 search results - page 137 / 2114
» Computer Intelligence and Formalization
Sort
View
76
Voted
SAC
2008
ACM
15 years 2 months ago
Formal definition of measures for UML statechart diagrams using OCL
Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Gen...
107
Voted
CONSTRAINTS
2011
14 years 9 months ago
Formal languages for integer programming modeling of shift scheduling problems
Marie-Claude Côté, Bernard Gendron, C...
110
Voted
DAC
2003
ACM
16 years 3 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
121
Voted
IUI
2005
ACM
15 years 8 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 5 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