6047 search results - page 104 / 1210 » Modeling with Extend |
JUCS
2010
14 years 8 months ago
2010
: Motivated by our experiences with spatial modelling for the sustainable land use initiative we present a geometrically enhanced ER model (GERM), which preserves the key principle...
102
Voted
UM
2007
Springer
15 years 7 months ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
122
click to vote
FGR
1996
IEEE
15 years 5 months ago
1996
IEEE
We extend the work of Black and Yacoob on the tracking and recognition of human facial expressions using parameterized models of optical flow to deal with the articulatedmotion of...
110
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...