8196 search results - page 1440 / 1640 » Computational Modeling and Complexity Science |
138
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
154
click to vote
ACL
1992
15 years 5 months ago
1992
The three-tiered discourse representation defined in (Luperfoy, 1991) is applied to multimodal humancomputer interface (HCI) dialogues. In the applied system the three tiers are (...
130
click to vote
CGF
2010
15 years 4 months ago
2010
We present physically based algorithms for interactive deformable shape and motion modeling. We coarsely sample the objects with simulation nodes, and apply a meshless finite elem...
156
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Activated Protein C (ProC) is an anticoagulant plasma serine protease which also plays an important role in controlling inflammation and cell proliferation. Several mu...
132
Voted
JUCS
2007
15 years 3 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...