Sciweavers

4485 search results - page 335 / 897
» Equivalences on Observable Processes
Sort
View
BIRTHDAY
2003
Springer
16 years 2 hour ago
Bounded Fairness
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
VISUALIZATION
2002
IEEE
15 years 11 months ago
Face-based Luminance Matching for Perceptual Colormap Generation
Most systems used for creating and displaying colormap-based visualizations are not photometrically calibrated. That is, the relationship between RGB input levels and perceived lu...
Gordon L. Kindlmann, Erik Reinhard, Sarah Creem
UML
2001
Springer
15 years 11 months ago
On Querying UML Data Models with OCL
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
David H. Akehurst, Behzad Bordbar
SIGGRAPH
1998
ACM
15 years 11 months ago
A Perceptually Based Adaptive Sampling Algorithm
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
Mark R. Bolin, Gary W. Meyer
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 10 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...