2978 search results - page 276 / 596 » Operations Research |
145
Voted
INFORMATICALT
2007
15 years 4 months ago
2007
The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is t...
142
Voted
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
156
click to vote
CAD
1999
Springer
15 years 4 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
121
click to vote
TSMC
2002
15 years 4 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
150
click to vote
PUC
2007
15 years 4 months ago
2007
In this paper we propose an object-triggered human memory augmentation system named ‘‘Ubiquitous Memories’’ that enables a user to directly associate his/her experience dat...