18429 search results - page 3289 / 3686 » Typing dynamic typing |
162
Voted
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
190
Voted
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this study, we analyze the sleep-mode operation for power management of a mobile station in the IEEE802.16e Wireless Metropolitan Access Network. For the analysis we use the M/...
176
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Although it is usually assumed in many pattern recognition problems that different patterns are distinguishable, some patterns may have inseparable overlap. For example, some faci...
162
Voted
AMR
2007
Springer
16 years 1 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
197
click to vote
ASIACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
We show that computing e-th roots modulo n is easier than factoring n with currently known methods, given subexponential access to an oracle outputting the roots of numbers of the ...