1829 search results - page 251 / 366 » Towards Validation of Requirements Models |
193
Voted
IVC
2008
15 years 6 months ago
2008
In this work, we propose an original method of resolution of the shape from shading problem, which is accurate and converges with a few iterations. It relies on two simple ideas. ...
153
click to vote
JNS
2008
15 years 6 months ago
2008
The theory of monotone dynamical systems has been found very useful in the modeling of some gene, protein, and signaling networks. In monotone systems, every net feedback loop is p...
149
Voted
PE
2006
Springer
15 years 6 months ago
2006
Springer
We consider multi-class blocking systems in which jobs require a single processing step. There are groups of servers that can each serve a different subset of all job classes. The...
184
click to vote
TCAD
2008
15 years 6 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
162
click to vote
COLING
2002
15 years 6 months ago
2002
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...