Sciweavers

1086 search results - page 33 / 218
» Event Structures with Symmetry
Sort
View
DCG
2010
91views more  DCG 2010»
13 years 10 months ago
The Contact Polytope of the Leech Lattice
The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we reveal the face structure of the contact polytope of the Leech lattice. We classify i...
Mathieu Dutour Sikiric, Achill Schürmann, Fra...
ICMCS
2007
IEEE
167views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Semantic Event Extraction from Basketball Games using Multi-Modal Analysis
In this paper, we present a novel multi-modal framework for semantic event extraction from basketball games based on webcasting text and broadcast video. We propose novel approach...
Yifan Zhang, Changsheng Xu, Yong Rui, Jinqiao Wang...
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
14 years 3 months ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
FLAIRS
2007
14 years 9 days ago
Deriving Chronological Information from Texts through a Graph-Based Algorithm
We propose a method of deriving chronological order of events in natural language texts by constraining temporal boundaries associated to events and projecting them on a timeline....
Cosmin Adrian Bejan
COLING
2008
13 years 11 months ago
Integrating Motion Predicate Classes with Spatial and Temporal Annotations
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...
James Pustejovsky, Jessica L. Moszkowicz