2061 search results - page 122 / 413 » The continuous knapsack set |
130
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a machine learning methodology (models, algorithms, and experimental data) to discovering the agent dynamics that drive the evolution of the social groups in a communit...
118
click to vote
ICMI
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores using non-linguistic vocalization as an additional modality to augment digital pen input on a tablet computer. We investigated this through a set of novel inte...
117
click to vote
CCA
2005
Springer
15 years 9 months ago
2005
Springer
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...
152
click to vote
KI
2005
Springer
15 years 9 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
142
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...