7623 search results - page 878 / 1525 » Constructive Volume Modeling |
166
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
180
click to vote
NAACL
2010
15 years 5 months ago
2010
The use of well-nested linear context-free rewriting systems has been empirically motivated for modeling of the syntax of languages with discontinuous constituents or relatively f...
187
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
195
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Randomness extraction is the process of constructing a source of randomness of high quality from one or several sources of randomness of lower quality. The problem can be modeled ...
180
click to vote
JCIT
2010
15 years 2 months ago
2010
As an effective way to share corporate social responsibility, corporate donation comes forth rapidly and has become a tendency. Based on the relative study, we construct the theor...