4870 search results - page 250 / 974 » Construction of Wavelets and Applications |
166
click to vote
IGPL
2008
15 years 6 months ago
2008
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
143
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
221
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
152
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
In this paper, we prove the existence of a cyclic (v, 4, 1)-BIBD for v = 12t + 4, 3 t 50 using computer programs, which are useful in recursive constructions for cyclic designs....
146
click to vote
EOR
2006
15 years 6 months ago
2006
: Aimed at detection of parallel assembly modes, a method for assembly graph construction is described that is based on the systematic generation and analysis of precedence relatio...