Sciweavers

402 search results - page 78 / 81
» Practical Application of Existing Hypermedia Standards and T...
Sort
View
FORMATS
2006
Springer
15 years 2 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
AUSDM
2008
Springer
221views Data Mining» more  AUSDM 2008»
15 years 1 months ago
Mining Medical Specialist Billing Patterns for Health Service Management
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...
Yin Shan, David Jeacocke, D. Wayne Murray, Alison ...
BMCBI
2008
118views more  BMCBI 2008»
14 years 11 months ago
MetWAMer: eukaryotic translation initiation site prediction
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
Michael E. Sparks, Volker Brendel
CSCW
2007
ACM
14 years 11 months ago
Supporting Community Emergency Management Planning through a Geocollaboration Software Architecture
Emergency management is more than just events occurring within an emergency situation. It encompasses a variety of persistent activities such as planning, training, assessment, and...
Wendy A. Schafer, Craig H. Ganoe, John M. Carroll
TOSEM
1998
80views more  TOSEM 1998»
14 years 11 months ago
Discovering Models of Software Processes from Event-Based Data
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
Jonathan E. Cook, Alexander L. Wolf