1054 search results - page 150 / 211 » From a Verified Kernel towards Verified Systems |
166
click to vote
ICEIS
2009
IEEE
16 years 24 days ago
2009
IEEE
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
146
click to vote
IJCNN
2008
IEEE
16 years 17 days ago
2008
IEEE
— It is well known that edge filters in the visual system can be generated by the InfoMax principle. But, such models are nonlinear and employ fully-connected network structures...
162
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
—Most of the current 802.11b research activities are conducted under stationary environment. As the need for highspeed connectivity in mobile environments increases, it becomes n...
170
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— Content Delivery Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, wi...
184
click to vote
ICMCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Speaker verification is a technology of verifying the claimed identity of a speaker based on the speech signal from the speaker (voice print). To learn the score of similarity be...