9067 search results - page 842 / 1814 » Adaptive Model Checking |
247
click to vote
PR
2008
15 years 7 months ago
2008
This paper proposes a real-time 3D head tracking method that can handle large rotation and translation. To achieve this goal, we incorporate the following three approaches into th...
193
click to vote
MODELS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
238
click to vote
SIGECOM
2003
ACM
16 years 29 days ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...
222
click to vote
KDD
2004
ACM
16 years 8 months ago
2004
ACM
Transformation of both the response variable and the predictors is commonly used in fitting regression models. However, these transformation methods do not always provide the maxi...
206
click to vote
ACL
2006
15 years 9 months ago
2006
Short Messaging Service (SMS) texts behave quite differently from normal written texts and have some very special phenomena. To translate SMS texts, traditional approaches model s...