2373 search results - page 188 / 475 » On the Theory of Structural Subtyping |
156
click to vote
ACRI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
165
click to vote
ICTAC
2004
Springer
16 years 18 hour ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
158
click to vote
SEFM
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
183
click to vote
ICMLA
2008
15 years 8 months ago
2008
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
167
click to vote
ISIWI
2004
15 years 8 months ago
2004
The paper deals with the effects of information technology in organizations with a particular emphasis on the role of motivation of the organizational members. Giddens' Theor...