3388 search results - page 416 / 678 » Type-theoretic design patterns |
151
click to vote
IV
2006
IEEE
16 years 20 days ago
2006
IEEE
As researchers we are constantly working with our literature domains. Making sense and familiarizing ourselves with such domains is a cumbersome but necessary task that is part of...
162
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
175
click to vote
LCN
2006
IEEE
16 years 20 days ago
2006
IEEE
Structured Peer-to-Peer systems are designed for a highly scalable, self organizing, and efficient lookup for data. The key space of the so-called Distributed Hash Tables (DHTs) ...
152
click to vote
AIPR
2005
IEEE
16 years 8 days ago
2005
IEEE
Definition and design of a terahertz standoff imaging system has been theoretically investigated. Utilizing terahertz quantum cascade lasers for transmitter and local oscillator, ...
170
click to vote
ICDAR
2005
IEEE
16 years 7 days ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...