Sciweavers

7623 search results - page 367 / 1525
» Constructive Volume Modeling
Sort
View
CODAS
1996
63views more  CODAS 1996»
15 years 8 months ago
Semantic Modeling of Successive Events Applied to Version Management
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
J. H. ter Bekke
178
Voted
CAINE
2009
15 years 7 months ago
In Silico White Blood Cell: A Synthetic Model of Leukocyte Rolling, Activation, and Adhesion During Inflammation
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
Jonathan Tang, C. Anthony Hunt
ANOR
2010
89views more  ANOR 2010»
15 years 6 months ago
Convex approximations for a class of mixed-integer recourse models
We consider mixed-integer recourse (MIR) models with a single recourse constraint. We relate the second-stage value function of such problems to the expected simple integer recour...
Maarten H. van der Vlerk
APAL
2008
112views more  APAL 2008»
15 years 6 months ago
A domain model characterising strong normalisation
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
Ulrich Berger
IJBRA
2008
97views more  IJBRA 2008»
15 years 6 months ago
Extracting Protein-Protein Interactions from MEDLINE using the Hidden Vector State model
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...
Deyu Zhou, Yulan He, Chee Keong Kwoh