634 search results - page 104 / 127 » Completion Procedures as Semidecision Procedures |
GG
2010
Springer
13 years 9 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
BMCBI
2010
13 years 8 months ago
2010
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...
CPHYSICS
2008
13 years 8 months ago
2008
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
IJON
2008
13 years 8 months ago
2008
In many computer vision tasks like face recognition and image retrieval, one is often confronted with high-dimensional data. Procedures that are analytically or computationally ma...
JCP
2008
13 years 8 months ago
2008
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...