8825 search results - page 204 / 1765 » All for one or one for all |
126
click to vote
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
Given a random set coming from the imprecise observation of a random variable, we study how to model the information about the distribution of this random variable. Specifically,...
105
click to vote
ISWC
2003
IEEE
15 years 6 months ago
2003
IEEE
Wearable computing devices are obviously made all the more powerful due to their ability to be innately mobile. With this in mind, spontaneous peer-to-peer networks may emerge amo...
106
click to vote
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
The interconnection network consumes the majority of die area in an FPGA. Presented is a scalable manufacturing test method for all SRAM-based FPGAs, able to detect multiple inter...
145
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based c...