Sciweavers

422 search results - page 7 / 85
» On Modal Refinement and Consistency
Sort
View
FMOODS
2008
14 years 11 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
ICCV
2005
IEEE
15 years 11 months ago
Ensuring Color Consistency across Multiple Cameras
Most multi-camera vision applications assume a single common color response for all cameras. However different cameras--even of the same type--can exhibit radically different colo...
Adrian Ilie, Greg Welch
IGPL
2010
142views more  IGPL 2010»
14 years 6 months ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov
AAAI
2008
14 years 12 months ago
Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency
The objective of this paper is to study the existing methods for unsupervised object recognition and image categorization and propose a model that can learn directly from the outp...
Pooyan Fazli, Ara Bedrosian
NAACL
2004
14 years 11 months ago
Comparison of two interactive search refinement techniques
The paper presents two approaches to interactively refining user search formulations and their evaluation in the new High Accuracy Retrieval from Documents (HARD) track of TREC-12...
Olga Vechtomova, Murat Karamuftuoglu