1738 search results - page 130 / 348 » Local Consistency and SAT-Solvers |
EMNLP
2007
13 years 11 months ago
2007
In this paper, we describe a two-stage multilingual dependency parser used for the multilingual track of the CoNLL 2007 shared task. The system consists of two components: an unla...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper proposes a guaranteed robust bounded-error distributed estimation algorithm. It may be employed to perform parameter estimation from data collected in a network of wire...
AUTOMATICA
2007
13 years 10 months ago
2007
Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmical...
ENTCS
2008
13 years 10 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
MMS
2006
13 years 10 months ago
2006
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...