Sciweavers

4897 search results - page 355 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
IICAI
2003
15 years 8 months ago
TANSEN: A System for Automatic Raga Identification
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...
Gaurav Pandey, Chaitanya Mishra, Paul Ipe
EVOW
2009
Springer
15 years 4 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
IMAGING
2003
15 years 8 months ago
Color and Color Constancy in a Translation Model for Object Recognition
Color is of interest to those working in computer vision largely because it is assumed to be helpful for recognition. This assumption has driven much work in color based image ind...
Kobus Barnard, Prasad Gabbur
CONCUR
1997
Springer
15 years 10 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
CGF
2006
132views more  CGF 2006»
15 years 6 months ago
Verification of Physically Based Rendering Algorithms
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
Christiane Ulbricht, Alexander Wilkie, Werner Purg...