2335 search results - page 285 / 467 » Functional Differentiation of Computer Programs |
120
click to vote
EUROCOLT
1995
Springer
15 years 6 months ago
1995
Springer
Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (fr...
100
click to vote
PE
2002
Springer
15 years 2 months ago
2002
Springer
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
151
click to vote
GI
2009
Springer
15 years 7 days ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
189
click to vote
JMLR
2012
13 years 4 months ago
2012
We consider the task of estimating, from observed data, a probabilistic model that is parameterized by a finite number of parameters. In particular, we are considering the situat...
167
click to vote
CVPR
2011
IEEE
15 years 1 days ago
2011
IEEE
We analyze the computational problem of multi-object tracking in video sequences. We formulate the problem using a cost function that requires estimating the number of tracks, as ...