10715 search results - page 301 / 2143 » Proofs from Tests |
196
click to vote
AAAI
2000
15 years 8 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
156
click to vote
AIPS
2000
15 years 8 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
136
click to vote
DM
2008
15 years 6 months ago
2008
Motivated from an application to DNA library screening, Balding and Torney [1] and Colbourn [4] studied the following group testing for consecutive positives. Suppose Vn = {v1 v2 ...
177
click to vote
TIT
2008
15 years 6 months ago
2008
The decentralized sequential hypothesis testing problem is studied in sensor networks, where a set of sensors receive independent observations and send summary messages to the fusi...
210
click to vote
JOT
2007
15 years 6 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...