413 search results - page 34 / 83 » Algorithms for the automatic extension of an instruction-set |
121
click to vote
APN
2007
Springer
15 years 6 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
114
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
GD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
111
click to vote
ACL
2008
15 years 1 months ago
2008
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word alignment methods, alignment accuracy increases often ...