Sciweavers

592 search results - page 80 / 119
» A computational approach to color adaptation effects
Sort
View
BIRTHDAY
2003
Springer
14 years 28 days ago
Systematic Development of Complex Web-Based User Interfaces
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
Henrik Behrens, Thorsten Ritter, Hans-Werner Six
CGF
2008
99views more  CGF 2008»
13 years 7 months ago
Polyhedral Finite Elements Using Harmonic Basis Functions
Finite element simulations in computer graphics are typically based on tetrahedral or hexahedral elements, which enables simple and efficient implementations, but in turn requires...
Sebastian Martin, Peter Kaufmann, Mario Botsch, Ma...
VLSID
2004
IEEE
91views VLSI» more  VLSID 2004»
14 years 8 months ago
Program Slicing for ATPG-Based Property Checking
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
Vivekananda M. Vedula, Whitney J. Townsend, Jacob ...
IAT
2007
IEEE
14 years 2 months ago
Design and Evaluation of a Multiagent Autonomic Information System
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
Walamitien H. Oyenan, Scott A. DeLoach
AIRS
2004
Springer
14 years 1 months ago
Applying CLIR Techniques to Event Tracking
Abstract. Cross-lingual event tracking from a very large number of information sources (thousands of Web sites, for example) is an open challenge. In this paper we investigate effe...
Nianli Ma, Yiming Yang, Monica Rogati