10715 search results - page 1842 / 2143 » From Tests to Proofs |
179
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...
212
click to vote
COR
2011
15 years 1 months ago
2011
In this paper we study the unrelated parallel machines problem where n independent jobs must be assigned to one out of m parallel machines and the processing time of each job diï¬...
210
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
154
click to vote
COLING
2010
15 years 1 months ago
2010
Many Semantic Role Labeling (SRL) combination strategies have been proposed and tested on English SRL task. But little is known about how much Chinese SRL can benefit from system ...
314
Voted
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
We describe the activities of the Empirical Software Engineering (ESE) group at Microsoft Research. We highlight our research themes and activities using examples from our researc...