3028 search results - page 135 / 606 » Integrating Temporal Logics |
113
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
153
click to vote
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
156
click to vote
3DIM
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider the problem of geometric integration and representation of multiple views of non-rigidly deforming 3D surface geometry captured at video rate. Instead of treating each...
148
Voted
GCB
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
131
Voted
ICMCS
1994
IEEE
15 years 8 months ago
1994
IEEE
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...