Sciweavers

4767 search results - page 355 / 954
» Moving between Contexts
Sort
View
DAC
1996
ACM
15 years 11 months ago
A Technique for Synthesizing Distributed Burst-mode Circuits
We offer a technique to partition a centralized control-flow graph to obtain distributed control in the context of asynchronous highlevel synthesis. The technique targets Huffman-...
Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Ja...
LICS
1989
IEEE
15 years 11 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....
141
Voted
AI
2007
Springer
15 years 11 months ago
A Profit-Based Business Model for Evaluating Rule Interestingness
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
Yaohua Chen, Yan Zhao, Yiyu Yao
114
Voted
CAIP
2009
Springer
102views Image Analysis» more  CAIP 2009»
15 years 11 months ago
A Riemannian Scalar Measure for Diffusion Tensor Images
Abstract. We study a well-known scalar quantity in differential geometry, the Ricci scalar, in the context of Diffusion Tensor Imaging (DTI). We explore the relation between the Ri...
Andrea Fuster, Laura Astola, Luc Florack
ACMIDC
2009
15 years 10 months ago
"Playing with" museum exhibits: designing educational games mediated by mobile technology
In this paper, we describe two educational games mediated by mobile technology which were designed for use in the context of a traditional historical museum by young children. Our...
Nikoleta Yiannoutsou, Ioanna Papadimitriou, Vassil...