549 search results - page 45 / 110 » Verification condition generation for conditional informatio... |
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
109
click to vote
JMIV
2002
15 years 7 days ago
2002
Three-dimensional depth information of a surface can be encoded in a two-dimensional image called single-image random-dotstereograms or, more widely known, autostereograms. It is ...
ENTCS
2006
15 years 18 days ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
92
Voted
ACL
2009
14 years 10 months ago
2009
User generated content is characterized by short, noisy documents, with many spelling errors and unexpected language usage. To bridge the vocabulary gap between the user's in...
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
Brain-computer interfaces rely on accurate decoding of cortical activity to understand intended action. Algorithms for neural decoding can be broadly categorized into two groups: d...