8179 search results - page 230 / 1636 » The PRACTIONIST Development Tool |
158
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
In this paper we propose computeraided summarisation (CAS) as an alternative approach to automatic summarisation, and present an ongoing project which aims to develop a CAS system...
214
click to vote
OMER
2001
15 years 8 months ago
2001
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
150
click to vote
NIPS
1994
15 years 7 months ago
1994
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...
175
click to vote
FORTE
1990
15 years 7 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
201
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...