Sciweavers

2452 search results - page 115 / 491
» On Reduction of Lagrange Systems
Sort
View
CORR
2009
Springer
109views Education» more  CORR 2009»
15 years 3 months ago
Extensional and Intensional Strategies
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
Tony Bourdier, Horatiu Cirstea, Daniel J. Doughert...
166
Voted
ICML
2002
IEEE
16 years 6 months ago
A New Statistical Approach to Personal Name Extraction
We propose a new statistical approach to extracting personal names from a corpus. One of the key points of our approach is that it can both automatically learn the characteristics...
Zheng Chen, Liu Wenyin, Feng Zhang
EDBT
2004
ACM
132views Database» more  EDBT 2004»
16 years 6 months ago
Query-Customized Rewriting and Deployment of DB-to-XML Mappings
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
Oded Shmueli, George A. Mihaila, Sriram Padmanabha...
AFRICACRYPT
2010
Springer
16 years 21 days ago
Parallel Shortest Lattice Vector Enumeration on Graphics Cards
In this paper we present an algorithm for parallel exhaustive search for short vectors in lattices. This algorithm can be applied to a wide range of parallel computing systems. To ...
Jens Hermans, Michael Schneider 0002, Johannes Buc...
WEA
2007
Springer
116views Algorithms» more  WEA 2007»
15 years 12 months ago
Optimal Edge Deletions for Signed Graph Balancing
The Balanced Subgraph problem (edge deletion variant) asks for a 2-coloring of a graph that minimizes the inconsistencies with given edge labels. It has applications in social netw...
Falk Hüffner, Nadja Betzler, Rolf Niedermeier