780 search results - page 110 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
BIBE
2006
IEEE
14 years 2 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
IFL
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
CIVR
2008
Springer
13 years 10 months ago
2008
Springer
Past research on automatic laughter detection has focused mainly on audio-based detection. Here we present an audiovisual approach to distinguishing laughter from speech and we sh...