606 search results - page 69 / 122 » A computable approach to measure and integration theory |
112
click to vote
AAAI
2007
15 years 4 months ago
2007
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...
117
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
144
click to vote
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
176
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
120
click to vote
SWS
2004
ACM
15 years 7 months ago
2004
ACM
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...