Sciweavers

620 search results - page 48 / 124
» Learning with Temporary Memory
Sort
View
FMCAD
2004
Springer
14 years 5 days ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
ISI
2006
Springer
13 years 8 months ago
Entity Workspace: An Evidence File That Aids Memory, Inference, and Reading
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
Eric A. Bier, Edward W. Ishak, Ed Chi
JUCS
2002
120views more  JUCS 2002»
13 years 8 months ago
Instance Cooperative Memory to Improve Query Expansion in Information Retrieval Systems
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
Lobna Jeribi, Béatrice Rumpler
RAS
2007
138views more  RAS 2007»
13 years 8 months ago
Image-based robot navigation from an image memory
This paper addresses the problem of vision-based navigation and proposes an original control law to perform such navigation. The overall approach is based on an appearance-based r...
Anthony Remazeilles, François Chaumette
SG
2010
Springer
14 years 12 days ago
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...
Lutz Dickmann, Tobias Lensing, Robert Porzel, Rain...