2055 search results - page 86 / 411 » Generic Model Refactorings |
107
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
JSYML
2002
15 years 1 months ago
2002
Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof con...
121
click to vote
IJCV
2000
15 years 1 months ago
2000
We address the structure-from-motionproblem in the context of head modeling from video sequences for which calibration data is not available. This task is made challenging by the ...
149
click to vote
SI3D
2006
ACM
15 years 7 months ago
2006
ACM
The human hand is an important interface with complex shape and movement. In virtual reality and gaming applications the use of an individualized rather than generic hand represen...
113
click to vote
AI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...