324 search results - page 21 / 65 » What's in a Step |
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Knowledge management is a topic that has gained increasing attention since the mid-1990s. A knowledge management strategy involves consciously helping people share and put knowled...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
AO
2007
13 years 11 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
ARTMED
2005
13 years 10 months ago
2005
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
CANDC
2005
ACM
13 years 10 months ago
2005
ACM
We propose an algorithm of global multiple sequence alignment that is based on a measure of what we call information discrepancy. The algorithm follows a progressive alignment ite...