3931 search results - page 464 / 787 » Separation logic and abstraction |
189
click to vote
AC
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
219
click to vote
CAIP
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. The support vector machine is basically to deal with a two-class classification problem. To get M-class classifiers for face recognition, it is common to construct a set ...
147
click to vote
CAISE
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
182
click to vote
GCC
2003
Springer
16 years 9 days ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
170
click to vote
GECCO
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Using a well-known cooperative coevolutionary function optimization framework, a very simple cooperative coevolutionary (1+1) EA is defined. This algorithm is investigat...