813 search results - page 91 / 163 » Pipeline-centric provenance model |
TSE
2008
13 years 9 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
JUCS
2008
13 years 8 months ago
2008
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...
JCP
2008
13 years 7 months ago
2008
Iterative search margin based algorithm(Simba) has been proven effective for feature selection. However, it still has the following disadvantages: (1) the previously proposed model...
MT
2010
13 years 7 months ago
2010
Phrase-based decoding is conceptually simple and straightforward to implement, at the cost of drastically oversimplified reordering models. Syntactically aware models make it pos...
TWC
2010
13 years 3 months ago
2010
Abstract--Impulse Radio Ultra WideBand (IR-UWB) communication has proven to be an important technique for supporting high-rate, short-range, and low-power communication. In this pa...