Sciweavers

1199 search results - page 114 / 240
» How to Compare the Power of Computational Models
Sort
View
ICALP
2010
Springer
15 years 11 months ago
Concurrent Knowledge Extraction in the Public-Key Model
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
Andrew C. Yao, Moti Yung, Yunlei Zhao
CGF
2010
161views more  CGF 2010»
15 years 6 months ago
HyperMoVal: Interactive Visual Validation of Regression Models for Real-Time Simulation
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
Harald Piringer, Wolfgang Berger, J. Krasser
ECBS
1996
IEEE
155views Hardware» more  ECBS 1996»
15 years 10 months ago
Model-Integrated Program Synthesis Environment
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
Janos Sztipanovits, Gabor Karsai, Hubertus Franke

Book
2982views
16 years 11 months ago
Navigating Mobile Robots: Sensors and Techniques
It's a complete robotic navigation cookbook! "This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
J. Borenstein, H. R. Everett, and L. Feng
PERCOM
2003
ACM
16 years 6 months ago
Pervasive Messaging
Pervasive messaging is the part of pervasive computing that enables users to communicate with each other. Many of today's electronic messaging systems have their own distinct...
Jan-Mark S. Wams, Maarten van Steen