6047 search results - page 1012 / 1210 » Modeling with Extend |
128
click to vote
BTW
2007
Springer
15 years 7 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
129
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
125
click to vote
CIDM
2009
IEEE
15 years 7 months ago
2009
IEEE
Most real-world classification problems involve continuous (real-valued) attributes, as well as, nominal (discrete) attributes. The majority of Ant Colony Optimisation (ACO) classi...
110
click to vote
ITP
2010
15 years 7 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
140
click to vote
ESA
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of pricing items so as to maximize the profit made from selling these items. An instance is given by a set E of n items and a set of m clients, where each c...