5718 search results - page 846 / 1144 » Modeling Rule Precision |
206
click to vote
AMDO
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
226
click to vote
ECWEB
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
199
click to vote
ESORICS
2004
Springer
16 years 19 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
249
click to vote
ISMAR
2003
IEEE
16 years 15 days ago
2003
IEEE
Mixed reality is different from the virtual reality in that users can feel immersed in a space which is composed of not only virtual but also real objects. Thus, it is essential t...
162
click to vote
KCAP
2003
ACM
16 years 15 days ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...