Sciweavers

1028 search results - page 136 / 206
» Reliability Analysis using Graphical Duration Models
Sort
View
ESWS
2009
Springer
15 years 9 months ago
ONTOCOM Revisited: Towards Accurate Cost Predictions for Ontology Development Projects
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...
Elena Paslaru Bontas Simperl, Igor O. Popov, Tobia...
104
Voted
TACAS
2005
Springer
121views Algorithms» more  TACAS 2005»
15 years 7 months ago
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...
EOR
2010
101views more  EOR 2010»
14 years 9 months ago
A linear implementation of PACMAN
PACMAN (Passive and Active Compensability Multicriteria ANalysis) is a multiple criteria methodology based on a decision maker oriented notion of compensation, called compensabili...
Silvia Angilella, Alfio Giarlotta, Fabio Lamantia
ICA3PP
2007
Springer
15 years 8 months ago
RSM-Based Gossip on P2P Network
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
Hai Zhuge, Xiang Li
ECIR
2011
Springer
14 years 5 months ago
Fractional Similarity: Cross-Lingual Feature Selection for Search
Abstract. Training data as well as supplementary data such as usagebased click behavior may abound in one search market (i.e., a particular region, domain, or language) and be much...
Jagadeesh Jagarlamudi, Paul N. Bennett