3335 search results - page 470 / 667 » A Unified Approach to Modeling and Programming |
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions...
186
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
139
click to vote
ICFEM
2007
Springer
16 years 17 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
182
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
148
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
GREAT-ER (Geography-referenced Regional Exposure Assessment Tool for European Rivers) is a model system for predicting chemical fate and exposure in surface waters. The GREAT-ER a...