4620 search results - page 203 / 924 » Comparing Object Encodings |
141
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
We provide a general formulation for the code-based test compression problem with fixed-length input blocks and propose a solution approach based on Evolutionary Algorithms. In c...
162
click to vote
HAPTICS
2005
IEEE
16 years 4 days ago
2005
IEEE
We present an investigation into the use of Tactons to present progress information. Progress bars are common but must compete for screen space and visual attention with other vis...
163
click to vote
ACIVS
2005
Springer
16 years 2 days ago
2005
Springer
The purpose of the paper is to introduce a new method for flexible storage of still images. The complete design of the system is described with the scalable encoding, the distorti...
162
click to vote
CHARME
2005
Springer
16 years 2 days ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
152
click to vote
EPEW
2005
Springer
16 years 2 days ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...