Search results for "arts"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Miquel Bertran, Teodor Rus (eds.)	Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings	ARTS	1997	DBLP DOI BibTeX RDF
28	Gregory S. Yovanof	Two-pass rate-constrained still image compression.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Ping Wah Wong, Jan P. Allebach	Optimum error-diffusion kernel design.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	KiMin Kang, Choon-Woo Kim	Noncausal error-diffusion method for edge enhancement.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Masaaki Ishigame, Nozomu Miura, Akiko Hosaka	Virtual reality using guided imagery to create Kanji or Hiragana by computer graphics: I.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Anoop K. Bhattacharjya	Closed-loop color calibration for the home user.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Venkat Venkateswar, R. Srinivasan, P. S. Rao	Bandwidth efficient image transformations on a multiprocessor.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Qing Yu, Kevin J. Parker	Adaptive color halftoning for minimum perceived error using the blue noise mask.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Daiichiro Kato, Kazuo Abe, Akio Ishikawa, Mitsuho Yamada, Takahito Suzuki, Shigesumi Kuwashima	Detecting method of subjects' 3D positions and experimental advanced camera control system.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Hartmut Renken, T. Bolik, Ch. Eigenbrod, Jens Koenig, Hans J. Rath	Digital high-speed camera system for combustion research using UV-laser diagnostic under microgravity at Bremen drop tower.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Marzia Faggin	Artist meets computer.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Xiaolin Wu 0001, Wai Kin Choi, Paul Bao	Color restoration from digital camera data by pattern matching.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Bo Martins, Søren Forchhammer	Lossless/lossy compression of bilevel images.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	David L. Spooner	Automated measuring system incorporating an automatic correction for lateral diffusion error.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Michael M. Shahin	Future of laser electrophotographic technology for color document printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Peter A. Torpey	Multipass printing in an ink-jet device.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Poorvi L. Vora, Michael Harville, Joyce E. Farrell, Jerome D. Tietz, David H. Brainard	Image capture: synthesis of sensor responses from multispectral images.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Jiebo Luo, Ricardo L. de Queiroz, Zhigang Fan 0001	Universal descreening technique via wavelet analysis.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Giordano B. Beretta	Dynamic exposure control in color scanners.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Patrick G. Herzog, Michael Mueller	Gamut mapping using an analytical color gamut representation.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Larry Lavendel, Tim Kohler	Gutenburg's web site: the challenge of web printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Gary K. Starkweather	Color volume as a device characteristic.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Roy D. Allen	Registration method providing high visual magnification of microposition errors.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	David J. Romano	Fluorescence dot area meter.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Yair Kipman	Image quality metrics for printers/plotters.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Kannan Krishnaswami, Michael M. Tilleman, Samuel S. Choi, Sergei G. Krivoshlykov	High-speed photographic system for objects with highly radiant backgrounds.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Hakan Ancin	Document segmentation for high-quality printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Young H. Jeong, Eul-Hwan Lee, Jae H. Kim	Local adaptive blue noise mask for digital printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Jae H. Kim, Young H. Jeong, Chae K. Lee, Chang D. Park	Efficient hardware structure for various binarization algorithms.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Giordano B. Beretta	Internet's impact on publishing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Werner Praefcke, Stephan F. Simon	Coding of reflectance spectra using cross-illumination color prediction.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Keith T. Knox, Shen-Ge Wang	Digital watermarks using stochastic screens.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Michael Ostrelich	Application of precision digital processing to high-resolution large-format imagery.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Cheol-Hee Lee, Chae-Soo Lee, Kyeong-Man Kim, Yeong-Ho Ha	Color matching using dot gain and intensity compensation for different papers.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Gabriel G. Marcu, Satoshi Abe	Symmetric error compensation for digital halftoning and applications.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Bernard A. Apple, Mark H. Tennant, Jule W. Thomas Jr.	Novel hard copy system for digital medical imaging.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	David Q. McDowell	Integrating sphere versus opal glass as the reference for colorimetry of transmission targets for scanner characterization.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Raja Balasubramanian, Edul N. Dalal	Method for quantifying the color gamut of an output device.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Douglas N. Curry	Analytic clustered halftone dots.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	M. Armon Rahgozar, Tom Hastings, Daniel L. McCue	Internet printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	John C. Seymour	Why do color transforms work?	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Jae H. Kim, Eul-Hwan Lee, Yoon-Soo Kim	Model-based error-diffusion method for tone linearity correction in binary printers.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Joseph Shu, Jack D. Boyce	Adaptive color error diffusion to improve halftone smoothness.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Zixiang Xiong, Michael T. Orchard, Kannan Ramchandran	Wavelet-based approach to inverse halftoning.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Andrei Pascovici, Chia-Hsin Li, Joseph Shu, Dennis L. Chao	Ink duty reduction for cluster dot halftoning.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Thom Carney, Stanley A. Klein	Gray-scale adjacent pixel luminance nonlinearity compensation with three-color guns.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
28	Ralph-Johan Back, Martin Büchi, Emil Sekerinski	Action-Based Concurrency and Synchronization for Objects.	ARTS	1997	DBLP DOI BibTeX RDF
28	Sérgio Vale Aguiar Campos, Edmund M. Clarke	The Verus Language: Representing Time Efficiently with BDDs.	ARTS	1997	DBLP DOI BibTeX RDF
28	Kevin Lano, Arturo Sanchez	Transformational Formal Development of Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
28	Konrad Feyerabend, Bernhard Josko	A Visual Fomalism for Real-Time Requirement Specifications.	ARTS	1997	DBLP DOI BibTeX RDF
28	Ton Sales	Llull as Computer Scientist or Why Llull Was One of Us.	ARTS	1997	DBLP DOI BibTeX RDF
28	Irina M. Smarandache, Paul Le Guernic	Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
28	Antonio Cau, Hussein Zedan	Refining Interval Temporal Logic Specifications.	ARTS	1997	DBLP DOI BibTeX RDF
28	Anthony J. Bonner	What Was Llull Up To?	ARTS	1997	DBLP DOI BibTeX RDF
28	Stephen J. Goldsack, Kevin Lano, Eugène Dürr	Specification and Refinement of Continuous Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
28	Pedro R. D'Argenio	Regular Processes and Timed Automata.	ARTS	1997	DBLP DOI BibTeX RDF
28	Luis A. Galán, Ricardo Pena	Verification and Refinement of Distributed Programs in a Fair Framework.	ARTS	1997	DBLP DOI BibTeX RDF
28	Teodor Rus, Eric Van Wyk	Integrating Temporal Logics and Model Checking Algorithms.	ARTS	1997	DBLP DOI BibTeX RDF
28	Christian Hernalsteen, Arnaud Février	Introduction of a Suspend/Resume Operator in ET-LOTOS.	ARTS	1997	DBLP DOI BibTeX RDF
28	Howard Bowman, John Derrick	Extending LOTOS with Time: A True Concurrency Perspective.	ARTS	1997	DBLP DOI BibTeX RDF
28	Luis Fernando Llana Díaz, David de Frutos-Escrig	Denotational Semantics for Timed Testing.	ARTS	1997	DBLP DOI BibTeX RDF
28	Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz	A Sound and Complete Proof System for Probabilistic Processes.	ARTS	1997	DBLP DOI BibTeX RDF
28	Farn Wang	High-Level Execution Time Analysis.	ARTS	1997	DBLP DOI BibTeX RDF
28	Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran	Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.	ARTS	1997	DBLP DOI BibTeX RDF
28	Zhiming Liu 0001, Mathai Joseph	Formalizing Real-Time Scheduling as Program Refinement.	ARTS	1997	DBLP DOI BibTeX RDF
28	Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez 0001, Pedro Palao-Gostanza	Testing Semantics for a Probabilistic-Timed Process Algebra.	ARTS	1997	DBLP DOI BibTeX RDF
28	Miquel Bertran	A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.	ARTS	1997	DBLP DOI BibTeX RDF
28	Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe	Deductive Verification of Real-Time Systems Using STeP.	ARTS	1997	DBLP DOI BibTeX RDF
28	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Specification and Verification of Real-Time Field Bus with Formal Description Languages.	ARTS	1997	DBLP DOI BibTeX RDF
28	Henning Dierks	PLC-Automata: A New Class of Implementable Real-Time Automata.	ARTS	1997	DBLP DOI BibTeX RDF
28	Manfred Broy	Refinement of Time.	ARTS	1997	DBLP DOI BibTeX RDF
28	Peter Scholz, Dieter Nazareth	Communication Concepts for Statecharts: A Semantic Foundation.	ARTS	1997	DBLP DOI BibTeX RDF
28	Arnaud Février, Elie Najm, Jean-Bernard Stefani	Contracts for ODP.	ARTS	1997	DBLP DOI BibTeX RDF
28	Satoshi Yamane	Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata.	ARTS	1997	DBLP DOI BibTeX RDF
28	Jan Bares (eds.)	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts, San Jose, CA, USA, January 28, 1996	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP BibTeX RDF
28	Raja Balasubramanian, Martin S. Maltz	Refinement of printer transformations using weighted regression.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Michael C. Mongeon	Image transformation into device-dependent color printer description using 4th-order polynomial regression and object-oriented programming development of image processing modules.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Atsutomo Yoshizawa	Registration control of four-color images for high-speed color copier.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Gilles Biscos	Printing: here and now electronic full color.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Sergej G. Baev, Viktor P. Bessmel'tsev	Characteristics of the thermosensitive recording materials in the process of laser thermal recording.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Roland L. Connelly	Instrumental color control in textile printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Gerald M. Murch	Color management comes of age.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Larry Lavendel	Other side of color management.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Bruce Glasgow, Thomas McElwain, Lon Pringle	Color photographic paper dye density estimate using wavelength-dependent optical properties.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	David L. Spooner	New method for determining lateral diffusion error in color measurements.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Daniel T. L. Lee	Introduction to color facsimile: hardware, software, and standards.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Jeng-Nan Shiau, Zhigang Fan 0001	Set of easily implementable coefficients in error diffusion with reduced worm artifacts.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Gaurav Sharma 0001, H. Joel Trussell	Color scanner performance trade-offs.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Gabriel G. Marcu, Satoshi Abe	Gamut mapping for color simulation on CRT devices.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Vittorio Castelli, Jan deJong, Lloyd Williams	Strategy for tandem color registration.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Kimiyoshi Miyata, Masayuki Saito	Evaluation method in multilevel error diffusion.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	May F. Ho, Brian Keefe	Challenges in the development of high-speed true 600-dpi thermal ink-jet printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Christian Rembe, Joachim Patzer, Eberhard P. Hofer, Peter Krehl	Real-cinematographic visualization of droplet ejection in thermal ink jets.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Yoshiro Udagawa	Color image processing in Canon's digital camera.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Edward M. Granger	Press controls for extratrinary printing.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Ho J. Lee	Align and conquer: moving toward plug-and-play color imaging.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Ethan D. Montag, Mark D. Fairchild	Simulated color gamut mapping using simple rendered images.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Sam Maitra, P. Ramesh, S. Jeyadev	Impact of photoreceptor design on digital electrophotography.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Werner Praefcke, Frank Müller 0002, Klaus Illgner	Illuminant-independent compression of color images.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
28	Igor V. Ciapurin, Lev M. Panasiuk	Image recording on rastered surface of photothermoplastic media and its use in color imaging systems.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF