7640 search results - page 317 / 1528 » Event Database Processing |
156
click to vote
ISBRA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
155
click to vote
IFITA
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper investigates on nine listed Companies in Shanghai and Shenzhen stock markets that have implemented the Open Market Repurchase (OMR) program. In this research, the event ...
123
Voted
SERP
2003
15 years 5 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
125
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
133
click to vote
DEDS
2007
15 years 4 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...