2344 search results - page 235 / 469 » Generating from a Deep Structure |
103
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Protein-protein docking for proteins with large conformational changes was analyzed by using interaction fingerprints, one of the scales for measuring similarities amo...
129
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
127
Voted
WSC
1998
15 years 4 months ago
1998
This paper discusses issues in modeling C4I and cognitive processes in next generation simulations and applications to Force XXI command and control. We propose a modification to ...
138
click to vote
DAC
1999
ACM
16 years 4 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
129
click to vote
PODS
2001
ACM
16 years 3 months ago
2001
ACM
Several commercial applications, such as online comparison shopping and process automation, require integrating information that is scattered across multiple websites or XML docum...