Sciweavers

892 search results - page 99 / 179
» Strategies in sentential reasoning
Sort
View
100
Voted
ISBI
2008
IEEE
16 years 1 months ago
Multiframe sure-let denoising of timelapse fluorescence microscopy images
Due to the random nature of photon emission and the various internal noise sources of the detectors, real timelapse fluorescence microscopy images are usually modeled as the sum o...
Saskia Delpretti, Florian Luisier, Sathish Ramani,...
ICFP
2009
ACM
16 years 1 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
172
Voted
ICLP
2009
Springer
16 years 1 months ago
Attributed Data for CHR Indexing
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
Beata Sarna-Starosta, Tom Schrijvers
82
Voted
CHI
2007
ACM
16 years 1 months ago
Soap: how to make a mouse work in mid-air
Computer mice do not work in mid air. The reason is that a mouse is really only half an input device--the other half being the surface the mouse is operated on, such as a mouse pa...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
CHI
2004
ACM
16 years 1 months ago
A constraint satisfaction approach to predicting skilled interactive cognition
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric...