Sciweavers

1306 search results - page 160 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
114
Voted
FCCM
2006
IEEE
106views VLSI» more  FCCM 2006»
15 years 6 months ago
Scalable Hardware Architecture for Real-Time Dynamic Programming Applications
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
Brad Matthews, Itamar Elhanany
KR
2004
Springer
15 years 6 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
COMPSAC
2004
IEEE
15 years 4 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
109
Voted
AAAI
2007
15 years 3 months ago
Mapping and Revising Markov Logic Networks for Transfer Learning
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Moon...
100
Voted
COMPGEOM
2008
ACM
15 years 2 months ago
Locally uniform anisotropic meshing
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...
Jean-Daniel Boissonnat, Camille Wormser, Mariette ...