Sciweavers

628 search results - page 4 / 126
» Magic Counting Methods
Sort
View
TIT
2011
111views more  TIT 2011»
13 years 2 months ago
Counting Partial Spread Functions in Eight Variables
Abstract. In this note we report the following computational results on partial spread functions in 8 variables: (i) the numbers of equivalence classes of partial spread functions ...
Philippe Langevin, Xiang-dong Hou
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
14 years 1 months ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
BCSHCI
2008
13 years 8 months ago
In search of tangible magic
This paper describes a small study of children's drawings in the context of tangible interaction. The study was intended to discover what children could draw that would indic...
Diana Yifan Xu, Janet C. Read, Robert Sheehan
CIKM
2009
Springer
14 years 1 months ago
MagicCube: choosing the best snippet for each aspect of an entity
Wikis are currently used in business to provide knowledge management systems, especially for individual organizations. However, building wikis manually is a laborious and time-con...
Yexin Wang, Li Zhao, Yan Zhang
INFOCOM
2012
IEEE
11 years 9 months ago
A statistical approach for target counting in sensor-based surveillance systems
—Target counting in sensor-based surveillance systems is an interesting task that potentially could have many important applications in practice. In such a system, each sensor ou...
Dengyuan Wu, Dechang Chen, Kai Xing, Xiuzhen Cheng