Sciweavers

1328 search results - page 202 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
HICSS
2002
IEEE
143views Biometrics» more  HICSS 2002»
15 years 2 months ago
Business Intelligence in Healthcare Organizations
The management of healthcare organizations starts to recognize the relevance of the definition of care products in relation to management information. In the turmoil between costs...
Ton A. M. Spil, Robert A. Stegwee, Christian J. A....
APSEC
1999
IEEE
15 years 2 months ago
Enhancing the Object Constraint Language for More Expressive Specifications
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
Ali Hamie
KDD
2005
ACM
218views Data Mining» more  KDD 2005»
15 years 10 months ago
A maximum entropy web recommendation system: combining collaborative and content features
Web users display their preferences implicitly by navigating through a sequence of pages or by providing numeric ratings to some items. Web usage mining techniques are used to ext...
Xin Jin, Yanzan Zhou, Bamshad Mobasher
BMCBI
2008
91views more  BMCBI 2008»
14 years 10 months ago
t2prhd: a tool to study the patterns of repeat evolution
Background: The models developed to characterize the evolution of multigene families (such as the birth-and-death and the concerted models) have also been applied on the level of ...
Botond Sipos, Kálmán Somogyi, Istv&a...
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 1 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims