4810 search results - page 252 / 962 » Modeling Value Speculation |
171
click to vote
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
174
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
189
click to vote
SOFSEM
2007
Springer
16 years 21 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
181
click to vote
WSC
2000
15 years 8 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
161
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
This paper describes the derivation of probability of correctness from scores assigned by most recognizers. Motivation for this research is three-fold: i probability values can be...