2702 search results - page 347 / 541 » Practically Applicable Formal Methods |
115
Voted
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
132
Voted
IWPC
2007
IEEE
15 years 8 months ago
2007
IEEE
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
122
click to vote
CAAN
2007
Springer
15 years 8 months ago
2007
Springer
Topological routing is basically table free, and allows for very fast restoration and thus a high level of reliability in communication. It has already been satisfactorily proposed...
128
Voted
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Conventional classification learning allows a classifier to make a one shot decision in order to identify the correct label. However, in many practical applications, the problem ...
102
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...