Sciweavers

531 search results - page 5 / 107
» Data structure repair using goal-directed reasoning
Sort
View
SIGGRAPH
2010
ACM
13 years 11 months ago
Synthesizing structured image hybrids
Example-based texture synthesis algorithms generate novel texture images from example data. A popular hierarchical pixel-based approach uses spatial jitter to introduce diversity,...
Eric Risser, Charles Han, Rozenn Dahyot, Eitan Gri...
FLOPS
2006
Springer
13 years 10 months ago
Lock Free Data Structures Using STM in Haskell
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
Anthony Discolo, Tim Harris, Simon Marlow, Simon L...
GIS
2008
ACM
14 years 7 months ago
An inconsistency tolerant approach to querying spatial databases
In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original insta...
Leopoldo E. Bertossi, Mónica Caniupá...
INFORMATICALT
2006
116views more  INFORMATICALT 2006»
13 years 6 months ago
Optimized on Demand Routing Protocol of Mobile Ad Hoc Network
In this paper optimization of DSR is achieved using New Link Cache structure and Source Transparent Route Maintenance Method. The new link cache effectively utilizes the memory by ...
Chinnappan Jayakumar, Chenniappan Chellappan
MAICS
2003
13 years 8 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz