Sciweavers

684 search results - page 111 / 137
» A characterization of b-perfect graphs
Sort
View
ICPPW
2006
IEEE
16 years 5 days ago
Model-Based OpenMP Implementation of a 3D Facial Pose Tracking System
Abstract— Most image processing applications are characterized by computation-intensive operations, and high memory and performance requirements. Parallelized implementation on s...
Sankalita Saha, Chung-Ching Shen, Chia-Jui Hsu, Ga...
167
Voted
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
15 years 11 months ago
Biological Pathway Prediction from Multiple Data Sources Using Iterative Bayesian Updating
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
Corey Powell, Joshua M. Stuart
171
Voted
LICS
2005
IEEE
15 years 11 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
180
Voted
ASP
2005
Springer
15 years 11 months ago
Intelligence Analysis Using Quantitative Preferences
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
FMCO
2004
Springer
15 years 11 months ago
Games with Secure Equilibria
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...