78 search results - page 12 / 16 » ProB: an automated analysis toolset for the B method |
DAWAK
1999
Springer
13 years 11 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
AVSS
2003
IEEE
14 years 20 days ago
2003
IEEE
Automated processing and analysis of video recordings of neonatal seizures can generate novel methods for extracting quantitative information that is relevant only to the seizure [...