Sciweavers

5832 search results - page 650 / 1167
» Software complexity and maintainability
Sort
View
CORR
2010
Springer
81views Education» more  CORR 2010»
15 years 7 months ago
Using machine learning to make constraint solver implementation decisions
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
Lars Kotthoff, Ian P. Gent, Ian Miguel
TCOS
2008
15 years 7 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang
MAGS
2007
100views more  MAGS 2007»
15 years 7 months ago
Engineering agent-mediated integration of bioinformatics analysis tools
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
Vassilis Koutkias, Andigoni Malousi, Nicos Maglave...
AAI
2000
122views more  AAI 2000»
15 years 7 months ago
High-Level Interpretation in Virtual Environments
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
Marc Cavazza, Ian Palmer
COMCOM
2000
82views more  COMCOM 2000»
15 years 7 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...