4036 search results - page 567 / 808 » Formal Methods |
162
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we propose a novel distributed Interleaved Random Space-Time Code (IR-STC) designed for MultiSource Cooperation (MSC) employing various relaying techniqu...
138
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
165
click to vote
IV
2008
IEEE
16 years 29 days ago
2008
IEEE
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
193
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
133
click to vote
CEC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...