1738 search results - page 130 / 348 » Local Consistency and SAT-Solvers |
143
click to vote
EMNLP
2007
15 years 7 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...
159
Voted
ICASSP
2010
IEEE
15 years 5 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...
135
Voted
AUTOMATICA
2007
15 years 5 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...
140
Voted
ENTCS
2008
15 years 5 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...
152
Voted
MMS
2006
15 years 5 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 ...