186 search results - page 20 / 38 » kais 2010 |
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
EAAI
2007
13 years 8 months ago
2007
A number of published techniques have emerged in the trading community for stock prediction tasks. Among them is neural network (NN). In this paper, the theoretical background of ...
DSS
2006
13 years 8 months ago
2006
In order to overcome some unavoidable factors, like shift of the part, that influence the crisp neural networks' recognition, the present study is dedicated in developing a n...
TOG
2010
13 years 3 months ago
2010
We perform co-analysis of a set of man-made 3D objects to allow the creation of novel instances derived from the set. We analyze the objects at the part level and treat the anisot...
CACM
2010
13 years 8 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...