Sciweavers

3381 search results - page 274 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
ITRUST
2004
Springer
16 years 1 days ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
155
Voted
CIKM
2007
Springer
16 years 26 days ago
Query expansion using probabilistic local feedback with application to multimedia retrieval
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
Rong Yan, Alexander G. Hauptmann
ICIP
2007
IEEE
16 years 1 months ago
Universal Camera Calibration with Automatic Distortion Model Selection
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...
Vitaly Orekhov, Besma R. Abidi, Christopher Broadd...
MODELS
2010
Springer
15 years 5 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
WWW
2009
ACM
16 years 7 months ago
Advertising keyword generation using active learning
This paper proposes an efficient relevance feedback based interactive model for keyword generation in sponsored search advertising. We formulate the ranking of relevant terms as a...
Hao Wu, Guang Qiu, Xiaofei He, Yuan Shi, Mingcheng...