Sciweavers

2106 search results - page 259 / 422
» Specifying C concepts
Sort
View
80
Voted
ICIAR
2005
Springer
15 years 3 months ago
Ultrafast Technique of Impulsive Noise Removal with Application to Microarray Image Denoising
Abstract. In this paper a novel approach to the impulsive noise removal in color images is presented. The proposed technique employs the switching scheme based on the impulse detec...
Bogdan Smolka, Konstantinos N. Plataniotis
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 3 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
MIDDLEWARE
2005
Springer
15 years 3 months ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...
WRAC
2005
Springer
15 years 3 months ago
Autonomy Without Independence: Animal Training as a Model for Robot Design
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
David C. Wyland
ASPDAC
2004
ACM
98views Hardware» more  ASPDAC 2004»
15 years 3 months ago
Enabling on-chip diversity through architectural communication design
- In this paper, we explore a new concept, called on-chip diversity, and introduce a design methodology for such emerging systems. Simply speaking, on-chip diversity means mixing d...
Tudor Dumitras, Sam Kerner, Radu Marculescu