Sciweavers

773 search results - page 111 / 155
» Suffix Trees on Words
Sort
View
ECAI
2006
Springer
15 years 3 months ago
Last Conflict Based Reasoning
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 3 months ago
Timing optimization by bit-level arithmetic transformations
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
Luc Rijnders, Zohair Sahraoui, Paul Six, Hugo De M...
DGCI
2009
Springer
15 years 3 months ago
A Linear Time and Space Algorithm for Detecting Path Intersection
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
Srecko Brlek, Michel Koskas, Xavier Provenç...
ACL
2008
15 years 1 months ago
Applying a Grammar-Based Language Model to a Simplified Broadcast-News Transcription Task
We propose a language model based on a precise, linguistically motivated grammar (a hand-crafted Head-driven Phrase Structure Grammar) and a statistical model estimating the proba...
Tobias Kaufmann, Beat Pfister
IPCO
2007
140views Optimization» more  IPCO 2007»
15 years 1 months ago
Cuts for Conic Mixed-Integer Programming
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
Alper Atamtürk, Vishnu Narayanan