7080 search results - page 345 / 1416 » Designing High Integrity Systems Using Aspects |
127
Voted
JAR
2007
15 years 3 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
152
click to vote
IJCSA
2006
15 years 3 months ago
2006
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
119
Voted
JSAC
2006
15 years 3 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
142
click to vote
OPODIS
2003
15 years 5 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
135
Voted
FPL
2009
Springer
15 years 8 months ago
2009
Springer
Restricted Boltzmann Machines (RBMs) — the building block for newly popular Deep Belief Networks (DBNs) — are a promising new tool for machine learning practitioners. However,...