506 search results - page 60 / 102 » Where Is the Value in a Program Verifier |
105
click to vote
UAI
2004
15 years 1 months ago
2004
We introduce the study of sequential information elicitation in strategic multi-agent systems. In an information elicitation setup a center attempts to compute the value of a func...
97
Voted
RA
2003
15 years 1 months ago
2003
In this paper, we describe a parallel solution scheme of inverse dynamics, and its application to flexible manipulators where elastic deformation and vibration normally occur in c...
125
click to vote
JMLR
2008
15 years 1 days ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
JMS
2010
14 years 11 months ago
2010
This paper describes the development of a tree-based decision model to predict the severity of pediatric asthma exacerbations in the emergency department (ED) at two hours followi...
101
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
The architecture of two-tiered sensor networks, where storage nodes serve as an intermediate tier between sensors and a sink for storing data and processing queries, has been widel...