1669 search results - page 36 / 334 » Structured Specification of Model Interpreters |
112
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
127
Voted
VLC
2008
15 years 2 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
123
click to vote
CDC
2009
IEEE
15 years 11 days ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
127
Voted
ECHT
1994
15 years 6 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
132
click to vote
ICIAR
2009
Springer
15 years 9 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...