1855 search results - page 101 / 371 » Composing model programs for analysis |
124
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
127
click to vote
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
154
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
115
click to vote
ICDAR
2005
IEEE
2005
IEEE
A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming
15 years 8 months ago
In this paper, an online handwritten Chinese character segmentation method is proposed. It is based on a dynamic programming algorithm, which uses geometrical features extracted f...
123
click to vote
WSC
2004
15 years 4 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...