Sciweavers

1465 search results - page 59 / 293
» Making the Correct Mistakes
Sort
View
ECSQARU
1995
Springer
15 years 3 months ago
Model-Based Diagnostics Using Hints
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
Jürg Kohlas, Paul-André Monney, Rolf H...
POPL
2002
ACM
16 years 5 days ago
Adaptive functional programming
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
Umut A. Acar, Guy E. Blelloch, Robert Harper
BMCBI
2010
110views more  BMCBI 2010»
14 years 12 months ago
OLS Dialog: An open-source front end to the Ontology Lookup Service
Background: With the growing amount of biomedical data available in public databases it has become increasingly important to annotate data in a consistent way in order to allow ea...
Harald Barsnes, Richard G. Côté, Ingv...
AAAI
1992
15 years 1 months ago
Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. ...
SLIP
2003
ACM
15 years 5 months ago
Error-correction and crosstalk avoidance in DSM busses
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
Ketan N. Patel, Igor L. Markov