Sciweavers

2706 search results - page 198 / 542
» The case for a new business model
Sort
View
JUCS
2010
160views more  JUCS 2010»
15 years 5 months ago
LCP-Nets: A Linguistic Approach for Non-functional Preferences in a Semantic SOA Environment
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
Pierre Châtel, Isis Truck, Jacques Malenfant
EOR
2007
85views more  EOR 2007»
15 years 6 months ago
Reject inference, augmentation, and sample selection
Many researchers see the need for reject inference in credit scoring models to come from a sample selection problem whereby a missing variable results in omitted variable bias. Al...
John Banasik, Jonathan Crook
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
TSMC
2011
292views more  TSMC 2011»
15 years 1 months ago
Circular Blurred Shape Model for Multiclass Symbol Recognition
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...
Sergio Escalera, Alicia Fornés, Oriol Pujol...
PTS
2007
97views Hardware» more  PTS 2007»
15 years 8 months ago
Learning and Integration of Parameterized Components Through Testing
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz