9425 search results - page 390 / 1885 » Some Notes on Models and Modelling |
219
click to vote
COR
2011
14 years 11 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
184
click to vote
NFM
2011
14 years 11 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
128
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
The amount of available Thai broadcast news transcribed text for training a language model is still very limited, comparing to other major languages. Since the construction of a b...
144
Voted
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
240
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
The continuous sliding-window query model is used widely in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In ...