1237 search results - page 100 / 248 » Strictness and Totality Analysis |
141
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
181
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
172
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
A global sensitivity analysis with regional properties is introduced. This method is demonstrated on two synthetic and one hydraulic example. It can be shown that an uncertainty a...
183
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The blogosphere--the totality of blog-related Web sites-has become a great source of trend analysis in areas such as product survey, customer relationship, and marketing. Existing...
159
click to vote
WABI
2009
Springer
16 years 24 days ago
2009
Springer
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...