Sciweavers

3634 search results - page 342 / 727
» The Field Representation Language
Sort
View
ICDAR
2007
IEEE
16 years 1 months ago
Aspects of Mathematical Expression Analysis in Arabic Handwriting
We address the question of recognizing handwritten mathematics in Arabic and related languages. After presenting an overview of the major styles used to express mathematics in the...
Elena S. Smirnova, Stephen M. Watt
IUI
2006
ACM
16 years 21 days ago
Interactive learning of structural shape descriptions from automatically generated near-miss examples
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
Tracy Hammond, Randall Davis
CP
2005
Springer
16 years 8 days ago
Graph Invariants as Necessary Conditions for Global Constraints
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Ram...
CP
2005
Springer
16 years 8 days ago
Bounds of Graph Characteristics
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
Nicolas Beldiceanu, Thierry Petit, Guillaume Rocha...
DEON
2008
Springer
15 years 8 months ago
Pushing Anderson's Envelope: The Modal Logic of Ascription
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
Davide Grossi