Sciweavers

77016 search results - page 507 / 15404
» Modeling
Sort
View
OTM
2005
Springer
16 years 6 days ago
Hybrid Model for Semantic Similarity Measurement
Expressive knowledge representations with flexible semantic similarity measures are central for the functioning of semantic information retrieval, information integration, matchmak...
Angela Schwering
SCIA
2005
Springer
224views Image Analysis» more  SCIA 2005»
16 years 6 days ago
Interactive 3-D Modeling System Using a Hand-Held Video Camera
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
Kenji Fudono, Tomokazu Sato, Naokazu Yokoya
SPIN
2005
Springer
16 years 6 days ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
CSCW
2004
ACM
16 years 4 days ago
Collaborative modeling: hiding UML and promoting data examples in NEMo
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
Patricia K. Schank, Lawrence Hamel
ECLIPSE
2004
ACM
16 years 4 days ago
FeaturePlugin: feature modeling plug-in for Eclipse
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
Michal Antkiewicz, Krzysztof Czarnecki
« Prev « First page 507 / 15404 Last » Next »