177 search results - page 27 / 36 » Biomodel Engineering - From Structure to Behavior |
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
DAGSTUHL
2006
14 years 11 months ago
2006
Most of the research on transaction costs in the market microstructure literature focuses on implicit transaction costs. Research on the design of price schedules for explicit tra...
MASCOTS
2001
14 years 11 months ago
2001
Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in wh...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...