1237 search results - page 188 / 248 » Strictness and Totality Analysis |
143
click to vote
ISVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Three-dimensional integration technologies have been proposed in order to mitigate design challenges posed by deep-submicron interconnect. By providing multiple layers of active d...
129
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There are conflicting reports over whether multiple independent runs of genetic algorithms (GAs) with small populations can reach solutions of higher quality or can fin...
157
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
167
click to vote
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract— Network calculus is known to apply in general only to feedforward routing networks, i.e., networks where routes do not create cycles of interdependent packet flows. In...
136
Voted
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....