Sciweavers

680 search results - page 94 / 136
» Intrinsically Motivated Machines
Sort
View
TPHOL
2007
IEEE
14 years 2 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
CIKM
2007
Springer
14 years 2 months ago
Autonomously semantifying wikipedia
Berners-Lee’s compelling vision of a Semantic Web is hindered by a chicken-and-egg problem, which can be best solved by a bootstrapping method — creating enough structured dat...
Fei Wu, Daniel S. Weld
VOTEID
2007
Springer
14 years 2 months ago
Bingo Voting: Secure and Coercion-Free Voting Using a Trusted Random Number Generator
It is debatable if current direct-recording electronic voting machines can sufficiently be trusted for a use in elections. Reports about malfunctions and possible ways of manipulat...
Jens-Matthias Bohli, Jörn Müller-Quade, ...
ICMCS
2006
IEEE
123views Multimedia» more  ICMCS 2006»
14 years 2 months ago
A Multimedia System for Route Sharing and Video-Based Navigation
Trip planning and in-vehicle navigation are crucial tasks for easier and safer driving. The existing navigation systems are based on machine intelligence without allowing human kn...
Wen Wu, Jie Yang, Jing Zhang
IJCNN
2006
IEEE
14 years 2 months ago
Dynamic Hyperparameter Scaling Method for LVQ Algorithms
— We propose a new annealing method for the hyperparameters of several recent Learning Vector Quantization algorithms. We first analyze the relationship between values assigned ...
Sambu Seo, Klaus Obermayer