Sciweavers

2620 search results - page 13 / 524
» Qualities in Possible Worlds
Sort
View
ICIP
2009
IEEE
14 years 4 months ago
Removing Shadows from a Single Real-World Color Image
In this paper, we propose a new algorithm to remove shadow from a single color image. We first project log-log chromaticity coordinates onto an angle of illumination-invariant dire...
Kang Yao, Junyu Dong
IC
2001
13 years 9 months ago
The SMART Project Exploiting the Heterogeneous Mobile World
The wide proliferation of wireless systems and the use of software radio technologies enables the employment of a heterogeneous network. In this concept services are delivered via...
Paul J. M. Havinga, Gerard J. M. Smit, Lars Kristi...
JUCS
2010
139views more  JUCS 2010»
13 years 2 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
SIGSOFT
2010
ACM
13 years 2 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
CAISE
2006
Springer
13 years 11 months ago
Managing Source Quality Changes in a Data Integration System
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
Adriana Marotta