1438 search results - page 129 / 288 » Relational aspects as tracematches |
161
click to vote
MOZ
2004
Springer
15 years 11 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
148
click to vote
PVM
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
193
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
120
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
156
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Document security is an increasingly important element in the multi-faceted discipline of document processing, and authentication of individual identity will play an increasingly ...