3440 search results - page 623 / 688 » Logics For Context-Free Languages |
204
click to vote
MTV
2006
IEEE
16 years 23 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
196
click to vote
IEEESCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
193
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
162
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
133
Voted
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...