6020 search results - page 727 / 1204 » A New Approach to Model Counting |
205
click to vote
ESAS
2007
Springer
16 years 1 months ago
2007
Springer
Traditional key pre-distribution schemes in sensor and ad hoc networks rely on the existence of a trusted third party to generate and distribute a key pool. The assumption of a sin...
171
click to vote
MLDM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
225
click to vote
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
170
click to vote
CVPR
2005
IEEE
16 years 14 days ago
2005
IEEE
Ultrasound images provide the clinician with noninvasive, low cost, and real-time images that can help them in diagnosis, plannnig and therapy. However, although the human eye is ...
203
Voted
ASPDAC
2005
ACM
16 years 12 days ago
2005
ACM
－ In today’s power/ground(P/G) network design, on-chip decoupling capacitors(decaps) are usually made of MOS transistors with source and drain connected together. The gate leak...