18090 search results - page 3558 / 3618 » Computing by Only Observing |
149
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
142
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
114
click to vote
ECCC
2010
15 years 3 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
124
Voted
DSS
2008
15 years 3 months ago
2008
This study investigates the effect gender has on the use of computer-based feedback and the impact that this feedback has on mood. The decision making process of men and women are...
151
click to vote
ADHOC
2006
15 years 3 months ago
2006
We study the problem of data propagation in sensor networks, comprised of a large number of very small and low-cost nodes, capable of sensing, communicating and computing. The dis...