Sciweavers

8413 search results - page 1339 / 1683
» Ordering Problem Subgoals
Sort
View
ECTEL
2009
Springer
15 years 8 months ago
The Influence of Coalition Formation on Idea Selection in Dispersed Teams: A Game Theoretic Approach
In an open innovation environment, organizational learning takes place by means of dispersed teams which expand their knowledge through collaborative idea generation. Research is o...
Rory L. L. Sie, Marlies Bitter-Rijpkema, Peter B. ...
GI
2007
Springer
15 years 8 months ago
A Non-Sequential Unsplittable Privacy-Protecting Multi-Coupon Scheme
: A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for a benefit (some good or service). Recently, Chen et al. [CEL+ 07] prop...
Alberto N. Escalante, Hans Löhr, Ahmad-Reza S...
GI
2007
Springer
15 years 8 months ago
Creating Test-Cases Incrementally with Model-Checkers
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
Gordon Fraser, Franz Wotawa
EVOW
2009
Springer
15 years 8 months ago
A Hierarchical Classification Ant Colony Algorithm for Predicting Gene Ontology Terms
Abstract. This paper proposes a novel Ant Colony Optimisation algorithm for the hierarchical problem of predicting protein functions using the Gene Ontology (GO). The GO structure ...
Fernando E. B. Otero, Alex Alves Freitas, Colin G....
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 8 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
« Prev « First page 1339 / 1683 Last » Next »