1670 search results - page 200 / 334 » On Skolemization in constructive theories |
179
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...
157
click to vote
IJAR
2010
15 years 5 months ago
2010
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
181
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
145
click to vote
ACL
2010
15 years 4 months ago
2010
We present a probabilistic model extension to the Tesni`ere Dependency Structure (TDS) framework formulated in (Sangati and Mazza, 2009). This representation incorporates aspects ...
228
click to vote
PTS
2010
15 years 4 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...