5232 search results - page 391 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
163
click to vote
IICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
177
click to vote
DNA
2007
Springer
15 years 10 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
188
click to vote
PARLE
1987
15 years 10 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
172
click to vote
IJSM
2006
15 years 6 months ago
2006
In a previous work [1] we introduced a construction designed to produce biorthogonal multiresolutions from given subdivisions. This construction was formulated in matrix terms, wh...
167
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...