1573 search results - page 186 / 315 » Signs and Formal Concepts |
104
Voted
AROBOTS
2010
15 years 2 months ago
2010
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
107
Voted
ARTMED
2006
15 years 1 months ago
2006
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...
104
Voted
IANDC
2008
15 years 1 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
108
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract--We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for...