2765 search results - page 172 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
175
click to vote
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a linguistically-motivated sub-sentential alignment system that extends the intersected IBM Model 4 word alignments. The alignment system is chunk-driven and r...
170
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
164
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Two types of noise-free relay cascades are investigated. Networks where a source communicates with a distant receiver via a cascade of half-duplex constrained relays, and...
208
click to vote
SBP
2011
Springer
15 years 1 months ago
2011
Springer
The World Wide Web is a potentially valuable source of information about the cognitive characteristics of cultural groups. However, attempts to use the Web in the context of cultur...
187
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...