7452 search results - page 1235 / 1491 » A Semantics for Multiprocessor Systems |
183
click to vote
ISF
2006
15 years 6 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
174
click to vote
MT
2006
15 years 6 months ago
2006
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
185
click to vote
TVCG
2008
15 years 6 months ago
2008
Abstract-Wikipedia is an example of the collaborative, semi-structured data sets emerging on the Web. These data sets have large, nonuniform schema that require costly data integra...
187
click to vote
COMCOM
2004
15 years 6 months ago
2004
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...