3273 search results - page 617 / 655 » types 2007 |
TASE
2007
IEEE
15 years 6 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...
VTC
2007
IEEE
15 years 6 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/...
CVPR
2007
IEEE
15 years 6 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...
117
click to vote
AIRWEB
2007
Springer
15 years 6 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
AMR
2007
Springer
15 years 6 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...