1835 search results - page 198 / 367 » Functional Programming of Behavior-Based Systems |
145
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
132
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
121
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
162
Voted
ENTCS
2008
15 years 5 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
137
Voted
MM
2005
ACM
15 years 10 months ago
2005
ACM
Identifying short repeated video clips, such as news program logo, station logo, TV commercials, etc., from broadcasting video databases or streams is important for video content ...