7393 search results - page 1217 / 1479 » Synthesis-for-testability using transformations |
149
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
123
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Efficient partitioning of parallel loops plays a critical role in high performance and efficient use of multiprocessor systems. Although a significant amount of work has been don...
138
click to vote
SACMAT
2005
ACM
15 years 9 months ago
2005
ACM
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
133
click to vote
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
147
click to vote
WIDM
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes a framework for ontology-based flexible discovery of Semantic Web services. The proposed approach relies on user-supplied, context-specific mappings from an...