3495 search results - page 309 / 699 » On the random satisfiable process |
196
click to vote
COMPSAC
2003
IEEE
16 years 29 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
240
click to vote
IEEEAMS
2003
IEEE
16 years 29 days ago
2003
IEEE
The last three decades proved Moore’s Law. We witnessed an exponential increase in processing power, memory capacity and communication bandwidth and we expect this increase to c...
151
click to vote
ERCIMDL
2003
Springer
16 years 27 days ago
2003
Springer
Abstract. In contrast to electronic document collections we find in contemporary digital libraries, systems applied in a cultural domain have to satisfy specific requirements wit...
181
click to vote
IDA
2003
Springer
16 years 26 days ago
2003
Springer
This paper presents an alternative to distance-based neural networks. A distance measure is the underlying property on which many neural models rely, for example self-organizing ma...
171
click to vote
DATE
2010
IEEE
16 years 23 days ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...