934 search results - page 123 / 187 » exact 2007 |
144
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...
130
Voted
DCC
2007
IEEE
16 years 3 months ago
2007
IEEE
Applications of signed digit representations of an integer include computer arithmetic, cryptography, and digital signal processing. An integer of length n bits can have several b...
130
Voted
ICCAD
2007
IEEE
16 years 21 days ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
123
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
117
Voted
ACSC
2007
IEEE
15 years 10 months ago
2007
IEEE
The standard layered drawing convention for trees in which the vertical placement of a node is given by its level in the tree and each node is centered between its children can le...