4150 search results - page 501 / 830 » A Practical Approach to Model Extension |
193
click to vote
FORTE
2009
15 years 2 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
183
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Most effective particular object and image retrieval approaches are based on the bag-of-words (BoW) model. All state-of-the-art retrieval results have been achieved by methods tha...
141
Voted
SI3D
2005
ACM
15 years 10 months ago
2005
ACM
Blendshapes (linear shape interpolation models) are perhaps the most commonly employed technique in facial animation practice. A major problem in creating blendshape animation is ...
148
Voted
EDBT
2004
ACM
16 years 5 months ago
2004
ACM
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
135
Voted
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...