497 search results - page 8 / 100 » A Really Good Idea |
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
ISMDA
2004
Springer
14 years 3 months ago
2004
Springer
MR images usually present grey level inhomogeneities which are a problem of significant importance. Eliminating these inhomogeneities is not an easy problem and has been studied a...
MVA
1992
13 years 11 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
SIGUCCS
2009
ACM
14 years 4 months ago
2009
ACM
Conference Abstracts October 11-14, 2009 t provides the abstracts and the author(s)’ name(s) for the technical program. The actual presenter(s) may vary. Updated September 20, 20...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decis...