6020 search results - page 125 / 1204 » A New Approach to Model Counting |
144
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
126
click to vote
APGV
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we consider the problem of determining feature saliency for 3D objects and describe a series of experiments that examined if salient features exist and can be predi...
137
Voted
CAD
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
112
Voted
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Twisted differential line structure can effectively reduce crosstalk noise on global bus, which foresees a wide applicability. However, measured performance based on fabricated ci...
117
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we present an analytical method to evaluate the bit error rate (BER) of the ultra-wideband (UWB) system in the IEEE 802.15.4a standardized channel model. The IEE...