Sciweavers

294 search results - page 22 / 59
» Identifying Conditional Causal Effects
Sort
View
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
15 years 4 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah
101
Voted
EWC
2000
90views more  EWC 2000»
15 years 14 days ago
Function in Device Representation
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
B. Chandrasekaran, John R. Josephson
IJNM
2000
91views more  IJNM 2000»
15 years 14 days ago
Coding-based schemes for fault identification in communication networks
The complexity of communication networks and the amount of information transferred in these networks have made the management of such networks increasingly difficult. Since faults ...
Chi-Chun Lo, Shing Hong Chen, Bon-Yeh Lin
109
Voted
MOBISYS
2007
ACM
16 years 7 days ago
Surface street traffic estimation
In this paper, we propose a simple yet effective method of identifying traffic conditions on surface streets given location traces collected from on-road vehicles--this requires o...
Jungkeun Yoon, Brian Noble, Mingyan Liu
107
Voted
WCE
2007
15 years 1 months ago
The Dynamic Spatial Disaggregation Approach: A Spatio-Temporal Modelling of Crime
— The spatio-temporal modelling and forecasting of incidences of crimes have now become a routine part of crime prevention operations. However, obtaining reliable forecasts for c...
Christian Ivaha, Hasan Al-Madfai, Gary Higgs, J. A...