Sciweavers

446 search results - page 46 / 90
» Multiple voting location problems
Sort
View
PERCOM
2010
ACM
15 years 11 days ago
Cloud-assisted mobile desktop search
—With the advent of the Internet, searching for information became a fundamental part of our daily computing. When large storage devices were integrated to our personal computers...
Eemil Lagerspetz, Sasu Tarkoma
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
15 years 11 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
AMEC
2003
Springer
15 years 7 months ago
Improving Learning Performance by Applying Economic Knowledge
Digital information economies require information goods producers to learn how to position themselves within a potentially vast product space. Further, the topography of this spac...
Christopher H. Brooks, Robert S. Gazzale, Jeffrey ...
GLOBECOM
2009
IEEE
15 years 5 months ago
A Mobicast Routing Protocol in Vehicular Ad-Hoc Networks
In this paper, we present a spatiotemporal multicast , called a mobicast, protocol for supporting applications which require spatiotemporal coordination in VANETs. The spatiotempor...
Yuh-Shyan Chen, Yun-Wei Lin, Sing-Ling Lee
CSDA
2008
121views more  CSDA 2008»
15 years 2 months ago
ANOVA extensions for mixed discrete and continuous data
This paper is concerned withANOVA-like tests in the context of mixed discrete and continuous data. The likelihood ratio approach is used to obtain a location test in the mixed dat...
A. R. de Leon, Y. Zhu