8179 search results - page 390 / 1636 » The PRACTIONIST Development Tool |
244
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Parallel T-Coffee (PTC) was the first parallel implementation of the T-Coffee multiple sequence alignment tool. It is based on MPI and RMA mechanisms. Its purpose is t...
161
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
187
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
Language engineering encompassing natural language processing and speech processing became very important for a development of every nation in multilingual Europe. After the Counci...
139
click to vote
SOSYM
2002
15 years 6 months ago
2002
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
170
click to vote
TJS
2002
15 years 6 months ago
2002
FLAME, the Flexible API for Module-based Environments, is a proposed standard interface for the integration of parameterized hardware generators into high-level design tools. This ...