Sciweavers

5034 search results - page 626 / 1007
» A Content-Centric Development Process Model
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
16 years 1 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
CVPR
2005
IEEE
16 years 8 months ago
Shock Filters Based on Implicit Cluster Separation
One of the classic problems in low level vision is image restoration. An important contribution toward this effort has been the development of shock filters by Osher and Rudin [1]...
Vinay P. Namboodiri, Subhasis Chaudhuri
WWW
2008
ACM
16 years 7 months ago
Low-load server crawler: design and evaluation
This paper proposes a method of crawling Web servers connected to the Internet without imposing a high processing load. We are using the crawler for a field survey of the digital ...
Katsuko T. Nakahira, Tetsuya Hoshino, Yoshiki Mika...
ICASSP
2008
IEEE
16 years 1 months ago
Irrelevant variability normalization based HMM training using map estimation of feature transforms for robust speech recognition
In the past several years, we’ve been studying feature transformation (FT) approaches to robust automatic speech recognition (ASR) which can compensate for possible “distortio...
Donglai Zhu, Qiang Huo
WECWIS
2006
IEEE
97views ECommerce» more  WECWIS 2006»
16 years 22 days ago
On State Synchronization of Business Conversations
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
Carlos Molina-Jiménez, Santosh K. Shrivasta...