Sciweavers

3694 search results - page 637 / 739
» Stochastic complexity in learning
Sort
View
FATES
2003
Springer
14 years 4 months ago
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...
ICCS
2003
Springer
14 years 4 months ago
Export Behaviour Modeling Using EvoNF Approach
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...
Ron Edwards, Ajith Abraham, Sonja Petrovic-Lazarev...
STACS
2010
Springer
14 years 4 months ago
A Dichotomy Theorem for the General Minimum Cost Homomorphism Problem
Abstract. In the constraint satisfaction problem (CSP), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost hom...
Rustem Takhanov
IEEEICCI
2002
IEEE
14 years 4 months ago
An Interaction-Based Approach for Structuring Coordination Activities
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
Lars Taxén
EICS
2009
ACM
14 years 3 months ago
AUGUR: providing context-aware interaction support
As user interfaces become more and more complex and feature laden, usability tends to decrease. One possibility to counter this effect are intelligent support mechanisms. In this ...
Melanie Hartmann, Daniel Schreiber, Max Mühlh...