4966 search results - page 68 / 994 » its 2010 |
140
click to vote
ENTCS
2006
15 years 6 months ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
135
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
189
click to vote
IMCSIT
2010
15 years 29 days ago
2010
A key element for outsourcing critical parts of a business process in Service Oriented Architectures are Service Level Agreements (SLAs). They build the key element to move from so...
157
click to vote
EMNLP
2010
15 years 4 months ago
2010
In this article, an original view on how to improve phrase translation estimates is proposed. This proposal is grounded on two main ideas: first, that appropriate examples of a gi...
159
click to vote
COST
2010
Springer
15 years 1 months ago
2010
Springer
This study investigates the variability in the temporal alignment of turn initiations and its relationship to the entrainment and power structure between the interlocutors. The dat...