Sciweavers

1604 search results - page 109 / 321
» Development Separation in Lambda-Calculus
Sort
View
TSMC
1998
93views more  TSMC 1998»
13 years 10 months ago
Toward a completely automatic neural-network-based human chromosome analysis
Abstract—The application of neural networks (NN’s) to automatic analysis of chromosome images is investigated in this paper. All aspects of the analysis, namely segmentation, f...
Boaz Lerner
ESOP
2010
Springer
14 years 7 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
MIDDLEWARE
2007
Springer
14 years 4 months ago
Life cycle support for sensor network applications
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
Urs Bischoff, Gerd Kortuem
IJCNN
2006
IEEE
14 years 4 months ago
In-Place Learning for Positional and Scale Invariance
— In-place learning is a biologically inspired concept, meaning that the computational network is responsible for its own learning. With in-place learning, there is no need for a...
Juyang Weng, Hong Lu, Tianyu Luwang, Xiangyang Xue
ECLIPSE
2006
ACM
14 years 4 months ago
Guidance through active concerns
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
Barthélémy Dagenais, Harold Ossher