2664 search results - page 140 / 533 » Theory by Process |
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
IJCAI
1989
13 years 9 months ago
1989
This theory on semi-equivalence r e l a t i o n s is an important and useful tool for i n v e s t i g a t i n g c l a s s i f i c a t i o n , pattern r e c o g n i t i o n , p o l...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Until recently little research had been undertaken into the process of eCommerce implementation, especially in relation to the implementation of business-to-business (B2B) relatio...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...