3239 search results - page 438 / 648 » A Logical Process Calculus |
114
Voted
EACL
1989
ACL Anthology
15 years 4 months ago
1989
ACL Anthology
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...
128
Voted
CEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Given the great amount of data that are generated of the experiments to analyze information of extracted chemical fluids of the brain of a rodent, arises the necessity to design an...
181
Voted
ENTCS
2008
15 years 3 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
127
Voted
ENTCS
2008
15 years 3 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
120
Voted
DKE
2007
15 years 3 months ago
2007
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...