Sciweavers

2605 search results - page 312 / 521
» The many levels of CSCL
Sort
View
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
15 years 10 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
CHI
1992
ACM
15 years 10 months ago
Gardeners and Gurus: Patterns of Cooperation Among CAD Users
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
Michelle Gantt, Bonnie A. Nardi
NGITS
1993
Springer
15 years 10 months ago
AMOS - An Architecture for Active Mediators
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
Gustav Fahl, Tore Risch, Martin Sköld
SIGGRAPH
1994
ACM
15 years 10 months ago
Rotated dispersed dither: a new technique for digital halftoning
Rotated dispersed-dot dither is proposed as a new dither technique for digital halftoning. It is based on the discrete one-to-one rotation of a Bayer dispersed-dot dither array. D...
Victor Ostromoukhov, Roger D. Hersch, Isaac Amidro...