Sciweavers

2212 search results - page 300 / 443
» Approaches to Hospital Process Management
Sort
View
CAISE
2006
Springer
15 years 10 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
CIKM
2006
Springer
15 years 10 months ago
Multi-task text segmentation and alignment based on weighted mutual information
Text segmentation is important for text analysis, while text alignment is to determine shared sub-topics among similar documents. Multi-task text segmentation and alignment is the...
Bingjun Sun, Ding Zhou, Hongyuan Zha, John Yen
DAWAK
2006
Springer
15 years 10 months ago
Efficient Mining of Large Maximal Bicliques
Abstract. Many real world applications rely on the discovery of maximal biclique subgraphs (complete bipartite subgraphs). However, existing algorithms for enumerating maximal bicl...
Guimei Liu, Kelvin Sim, Jinyan Li
ERCIMDL
2006
Springer
131views Education» more  ERCIMDL 2006»
15 years 10 months ago
Repository Replication Using NNTP and SMTP
We present the results of a feasibility study using shared, existing, network-accessible infrastructure for repository replication. We utilize the SMTP and NNTP protocols to replic...
Joan A. Smith, Martin Klein, Michael L. Nelson
ASWEC
2001
IEEE
15 years 10 months ago
CORONET: An Australian Software Engineering Experience in Collaborative Research with the European Community
The purpose of this paper is two fold. Firstly, to inform the Australian software engineering community of the European Fifth Framework research structure and the involvement of a...
John D'Ambra, D. Ross Jeffery, Dietmar Pfahl