6047 search results - page 141 / 1210 » Modeling with Extend |
96
Voted
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper extends carrier assignment models used in bid analysis for transportation procurement to incorporate shipper business considerations. These include restricting carrier ...
100
Voted
GBRPR
2009
Springer
15 years 8 months ago
2009
Springer
A universal data model, named DG, is introduced to handle vectorized data uniformly during the whole recognition process. The model supports low level graph algorithms as well as h...
101
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
205
Voted
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
108
click to vote
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...