11151 search results - page 128 / 2231 » On the Complexity of Model Expansion |
221
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
130
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract Randomized rumor spreading is an efficient protocol to distribute information in networks. Recently, a quasirandom version has been proposed and proven to work equally we...
136
click to vote
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
114
click to vote
TCOM
2010
14 years 11 months ago
2010
Abstract--The optimization of the pilot overhead in singleuser wireless fading channels is investigated, and the dependence of this overhead on various system parameters of interes...
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Integration is important in politics, business, and technology. In all these fields, the definition of integration is vague. We build a formal measure of integration based on the ...